C++基础复习提升-vptr与vtable那些事

参考C++那些事-光城大佬的网站
上一篇C++基础复习提升-纯虚函数和抽象类那些事
下一篇C++基础复习提升-virtual那些事
参考C++虚函数表剖析

1.1多态底层原理概述

为了实现C++的多态，内部使用了一种动态绑定的技术。这个技术的核心就是虚函数表。

1.2类的虚函数表（简称虚表）-vtable

每个包含了虚函数的类都包含一个虚表，该类所有对象都共享一个虚表。如果一个类包含了虚函数，那么它派生的类也都可以调用这些虚函数，也就是说这些派生类都拥有自己的虚函数表。

//inline.h
#ifndef TEST

class A {
public:
    // 虚函数，函数地址存放与虚函数表内
    virtual void v_func1();
    virtual void v_func2();
    // 非虚函数，不经过虚表调用
    void func1();
    void func2();
private:
	int m_data1;
	int m_data2;
};

#endif

虚函数表如图所示(本博文中所有图都借用虚函数表剖析作者leo的原图，如有侵权，请联系删除)

计算机在编译阶段会设置一个静态数组，这个静态数组就是虚函数表。虚函数表中的每个元素都对应一个虚函数的函数指针，该指针存放的是虚函数的地址，方便运行时查找调用。

1.3虚函数表指针-vptr

为了指定对象的虚表，对象内部包含一个指向虚表的指针，来指向自己所使用的虚表。为了让每个包含虚表的对象都拥有一个虚表指针，编译器在类中添加了一个指针vptr用来指向虚表，这样当类的对象在创建时便拥有了这个指针，且这个指针的值会自动被设置为指向类的虚表。

1.4动态绑定

//inline.h
#ifndef TEST

class A {
public:
    // 虚函数，函数地址存放与虚函数表内
    virtual void v_func1();

    virtual void v_func2();

    // 非虚函数，不经过虚表调用
    void func1();

    void func2();
};

class B : public A {
public:
    // 重写基类的虚函数
    virtual void v_func1();

    //非虚函数
    void func1();

private:
    int m_data3;
};

class C : public B {
public:
    // 重写基类继承的虚函数
    virtual void v_func2();

    // 非虚函数
    void func2();

private:
    int m_data1, m_data4;
};


#endif

由于三个类都有虚函数，也都是含有虚函数的基类派生来的，所以编译器为每个类都创建了一个虚表，类A，B，C的对象都拥有一个虚表指针vptr用来指向自己所属的虚表。
运行时多态对象指针A *ptr = new B();访问虚函数时，首先通过基类对象的vptr指向派生类所属的vtable，查找vtable中虚函数的地址，使用指向该虚函数地址的函数指针来调用对应的虚函数。