C++ 虚析构和虚函数的原理

C++中的虚函数的作用主要是实现了多态的机制。关于多态，简而言之就是用父类型别的指针指向其子类的实例，然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类的指针有“多种形态”，这是一种泛型技术。所谓泛型技术，说白了就是试图使用不变的代码来实现可变的算法。比如：模板技术，RTTI技术，虚函数技术，要么是试图做到在编译时决议，要么试图做到运行时决议

同名函数下，有virtual修饰=覆盖，无virtual=隐藏

1、类内没有数据成员的情况下，实例化对象所占字节为1字节，有数据成员为数据成员的大小之和；
2、类内有虚成员函数，那么在实例化的时候会产生一个虚函数表指针，对象的大小为4字节。
3、虚析构函数可以使类实例对象的时候一样为产生一个虚函数表指针，大小为4字节；

如果父类成员函数被virtual修饰，子类继承，会继承父类的虚函数表，如果子类同名的函数也被virtual修饰。

也可以把父类的虚函数表的同名函数指针地址覆盖掉，变为自己的指针地址。

例如：

#include <iostream>
/**
 * C++虚构函数和虚函数指针的原理
 */

using namespace std;

class Shape {
public:
    Shape();

    ~Shape();

    double calcArea();
};

class Circle : Shape {
public:
    Circle(int r);

    ~Circle();

protected:
    int m_r;
};

Circle::Circle(int r) {
    m_r = r;
}

Circle::~Circle() {

}

Shape::Shape() {

}

Shape::~Shape() {

}

double Shape::calcArea() {

}

int main() {
    Shape shape;
    cout << sizeof(shape) << endl;
    Circle circle(100);
    cout << sizeof(circle) << endl; //一个int占4位
    //计算机位数不同，位数显示的不一样
    //64位计算机显示指针占8位
    return 0;
}

输出结果：

1  //如果对象 没有任何数据，1代表一个占位符，代表是一个对象
4  //对象有成员数据的话，就显示成员数据占据的大小。

被virtual修饰后

#include <iostream>
/**
 * C++虚构函数和虚函数指针的原理
 */

using namespace std;

class Shape {
public:
    Shape();

    ~Shape();

    virtual double calcArea(); //被virtual修饰后 包含一个虚函数表 虚函数表也是一个指针类型 4位
};

int main() {
     
    Shape shape;
    cout << sizeof(shape) << endl;
    Circle circle(100);
    cout << sizeof(circle) << endl;
    return 0;
}

输出结果：

//电脑是64位的，显示的结果不太一样
8
16  //int 4为位，虚函数表8位， 显示16 可能是自动补齐

验证是否有虚函数表存在：

Shape shape;
    cout << sizeof(shape) << endl;
    //&shape 取得地址符是 Shape类型的指针，要它强转为int指针
    int *p = (int *) &shape;
    cout << (unsigned int) (*p) << endl;
    Circle circle(100);
    cout << sizeof(circle) << endl;
    int *q=(int*)&circle;
    cout << (unsigned int) (*q) << endl;
    q++;//64位系统 每一次++只前进4位 所以要加两次
    q++;
    cout << (unsigned int) (*q) << endl;
    return 0;

输出结果：

8
4206848 //地址值
16
4206880 //地址值
100 //int的值

C++ 虚析构和虚函数的原理

原文：https://www.cnblogs.com/wuyanzu/p/11874232.html