虚函数表理解与验证

记录一次对虚函数表的验证

概述

为了实现C++的多态，C++使用了一种动态绑定的技术。这个技术的核心是虚函数表，可以说虚函数存在的一种目的就是对多态的实现。即通过父类型指针指向子类型实例，通过父类指针调用子类的成员。
别的不多说，上代码实例

代码实例

#include <iostream>
using namespace std;

class Base
{
public:
    virtual void A() { cout << "Base::A()" << endl; }
    virtual void B() { cout << "Base::B()" << endl; }
    void C() { cout << "Base::C()" << endl; }
};

class Base2
{
public:
    virtual void A() { cout << "Base2::A()" << endl; }
    virtual void B() { cout << "Base2::B()" << endl; }
    void C() { cout << "Base2::C()" << endl; }
};

class Derive :public Base2, public Base
{
public:
    //void A() { cout << "Derive::A()" << endl; }
    virtual void D() { cout << "Derive::D()" << endl; }
    virtual void E() { cout << "Derive::E()" << endl; }
};

int main()
{
    Base b1;
    Derive d1;
    Derive d2;

    return 0;
}

运行结果:

为什么b1中没有成员函数 C 的信息？

因为成员函数在编译期间确定，对象在调用时直接call函数名去调用，所以不需要在对象中存储成员函数信息。

虚指针（vptr）

只要我们在类中定义了virtual函数，那么我们在定义对象的时候，C++编译器会在对象中存储一个vptr指针，类中创建的虚函数的地址会存放在虚函数表中，vptr指针就是指向这个表的首地址。当类的对象在创建时就有了这个指针，且这个指针的值会自动被设置为指向类的虚表。

虚函数表（虚表）

1.虚表是属于类的，而不是属于某个具体的对象，一个类只需要一个虚表即可。同一个类的所有实例对象都共享一个虚表。
2.一个继承类的基类如果包含虚函数，那个这个继承类也有拥有自己的虚表，故这个继承类的对象也包含一个虚表指针，用来指向它的虚表。