C++ 虚析构

作用：

        虚析构的存在目的是为了实现父类指针指向子类，因为子类中可能会有父类没有的堆栈空间，而父类指针指向子类的过程本就是一个向下兼容的，所有子类的堆栈空间会被遮盖，父类指针无法访问，同理子类的普通析构函数父类也是没有的。如果没有虚析构，那么释放父类指针的时候就可能造成内存泄漏。而虚机制便可解决这一问题，因为虚机制中的虚表指针会存储在每个对象的起始地址，所以虚析构可以被父类指针直接找到；一般也是为了更好的实现多态；

例如：

#include <iostream>
using namespace std;

class base
{
public:
    base() { cout << "base的构造函数" << endl; }
    virtual ~base() { cout << "~base的析构函数" << endl; }

    int base_value;
};

class xbase : public base
{
public:
    xbase()
    {
        cout << "xbase的构造函数" << endl;

        this->q = new int(100);

        cout << "分配堆空间:" << q << endl;
    }
    virtual ~xbase() // 放入虚表，让基类指针，能够访问得到
    {
        cout << "~xbase的析构函数" << endl;

        cout << "释放堆空间:" << q << endl;

        delete this->q;
    }

    int xbase_value;

private:
    int *q;
};

int main()
{
    // 利用基类指针，指向派生类对象 ,为什么要这样做？ 多态都是要用 基类指针或引用指向派生类
    base *p = new xbase; // 堆空间

    // xbase *p = new xbase;

    p->base_value = 100;
    // p->xbase_value = 200;  //只是指向大类中的小类

    delete p; // 释放堆空间
}

 这里也有一段代码能够证明虚函数位于对象的起始地址：

#include <iostream>
using namespace std;

class base
{
private:
    // 所有的虚函数都放在虚表上
    virtual void f()
    {
        cout << "show f" << endl;
    }
    virtual void j()
    {
        cout << "show j" << endl;
    }
    virtual void k()
    {
        cout << "show k" << endl;
    }
};

int main()
{
    base tmp;

    // 获取类的首地址 与 虚表指针的地址一样
    cout << "&tmp=" << &tmp << endl;

    // 虚表指针的地址 p  保存了虚表指针的地址
    long long *p = (long long *)&tmp;

    // 取该地址上内容
    long long *v_table = (long long *)*p;

    cout << "虚表地址v_table=" << v_table << endl;

    // 定义一个函数指针
    typedef void (*func)();

    // 得到第一个虚函数的地址
    func f = (func)v_table[0];
    // 调用函数
    f();

    f = (func)v_table[1];
    // 调用函数
    f();

    f = (func)v_table[2];
    // 调用函数
    f();
}