C++虚函数表和虚析构介绍-C/C++开发

这篇文章主要介绍了C++虚函数表和虚析构，虚函数表是C++实现多态的基础，多态是面向对象的三大特性之一，下面文章我们一起来看看详细内容,需要的朋友可以参考一下

1、虚函数表

虚函数表是C++实现多态的基础，多态是面向对象的三大特性之一，多态有利于提高代码的可读性，便于后期代码的扩展和维护。我们都知道多态的实现是基于虚函数表，那么虚函数表是什么时候创建的呢？虚函数表是怎么实现多态的功能的呢？

首先应该明确多态也称为动态多态，他是在程序运行时候确定函数地址的，也就是程序在运行时，如果类成员函数加了virtual关键字，就会建立一个虚函数指针（vfptr）指针指向一个虚函数表，这个虚函数表就保存了虚函数的地址，子类继承父类也自然继承了虚函数指针，当子类重写父类的虚函数时，虚函数指针所指向的虚函数表中的虚函数地址就会被覆盖，替换成子类的虚函数地址。也就是通过父类的虚函数指针找到了子类的虚函数地址，进而执行这个函数。

下面我们通过代码进行详细说明：


#include <iostream>
using namespace std;

class Base{
public:
    void func(){
        cout << "Base func" << endl;
    }
};

class Son: public Base{
    void func(){
        cout << "Son func" << endl;
    }
};

void test(Base& base) {
    base.func();
}
int main () {
    Son son;

    cout << "sizeof(Base) = " << sizeof(Base) << endl;
    cout << "sizeof(Son)  = " << sizeof(Son) << endl;   
    test(son);
    system("pause");
    return 0;

}

代码运行结果为：


#include <iostream>
using namespace std;

class Base{
public:
    virtual void func(){
        cout << "Base func" << endl;
    }
};

class Son: public Base{
    void func(){
        cout << "Son func" << endl;
    }
};


void test(Base& base) {
    base.func();
}
int main () {
    Son son;

    cout << "sizeof(Base) = " << sizeof(Base) << endl;
    cout << "sizeof(Son)  = " << sizeof(Son) << endl;   
    test(son);
    system("pause");
    return 0;

}

代码运行结果为：

2、虚析构

虚析构主要是为了解决子类中有属性开辟到堆区，父类指针调用函数时，无法调用到子类的析构代码，导致子类堆区内存无法释放。

首先我们看一下子类堆区内存开辟，通过父类指针来调用函数，捕捉他们的构造函数和析构函数看下运行结果：


#include <iostream>
using namespace std;

class Base{
public:
    Base(){
        cout << "Base 的构造函数调用" << endl;
    }

    ~Base(){
        cout << "Base 的析构函数调用" << endl;
    }
    virtual void func(){
        cout << "Base func" << endl;
    }
};

class Son: public Base{
public:
    Son(int val):m_val(new int (val)) {
        cout << "Son 的构造函数调用" << endl;
    }

    ~Son(){
        cout << "Son 的析构函数调用" << endl;
        if (m_val != NULL) {
            
            delete m_val;
            cout << "Son 析构函数的堆内存释放" << endl;
            m_val = NULL;
        }
    }
    void func(){
        cout << "Son func" << endl;
    }

    void funcTest(){
        cout << "funcTest 函数调用" << endl;
    }

    int* m_val = NULL;
};


void test() {
   
    Base *base = new Son(10);
    base->func();
    //base->funcTest(); //无法调用，因为虚函数表中不能找到这个函数的地址
    delete base;
    base = NULL;
}


int main () {
    test();    
    system("pause");
    return 0;

}

代码运行结果为：


#include <iostream>
using namespace std;

class Base{
public:
    Base(){
        cout << "Base 的构造函数调用" << endl;
    }
    virtual ~Base() = 0;

    virtual void func(){
        cout << "Base func" << endl;
    }
};
    Base :: ~Base(){
        cout << "Base 的析构函数调用" << endl;
    }

class Son: public Base{
public:
    Son(int val):m_val(new int (val)) {
        cout << "Son 的构造函数调用" << endl;
    }

    ~Son(){
        cout << "Son 的析构函数调用" << endl;
        if (m_val != NULL) {
            
            delete m_val;
            cout << "Son 析构函数的堆内存释放" << endl;
            m_val = NULL;
        }
    }
    void func(){
        cout << "Son func" << endl;
    }

    void funcTest(){
        cout << "funcTest 函数调用" << endl;
    }

    int* m_val = NULL;
};


void test() {
   
    Base *base = new Son(10);
    base->func();
    //base->funcTest(); //无法调用，因为虚函数表中不能找到这个函数的地址
    delete base;
    base = NULL;
}


int main () {
    test();    
    system("pause");
    return 0;

}

代码运行结果为：