C++ 虚析构

作用：

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

例如：

#include 
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 
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();
}