【C++】虚函数在不同继承方式中的对象模型

古城微笑少年丶 2022-06-06 06:14 170阅读 0赞

虚函数的调用是通过查找虚表调用的，通过虚表找到函数的地址，从而调用对应的函数，而虚表则是放在对象的前四个字节里的。

通过基类的引用（或指针）调用虚函数时，调用基类还是派生类的函数，是根据运行时引用（或指针）的实际引用（指向）的类型确定，而调用非虚函数时，无论基类指向的是何种类型，调用的都是基类的函数。下面看看在不同继承方式下的对象模型有什么不同：

1.单继承，派生类中没有对基类函数进行重写

class Base
    {
    public:
    	virtual void Test1() { cout << "Base::Test1()";}	
    	virtual void Test2() { cout << "Base::Test2()";}
    	int _b;
    };
    class Derived :public Base
    {
    public:
    	virtual void Test3() { cout << "Derived::Test3()";}
    	virtual void Test4() { cout << "Derived::Test4()";}
    	int _d;
    };
    typedef void(*FuncPtr)();
    void FunTest()
    {
    	Base b;
    	b._b = 1;
    	cout << "Base vfptr" << endl;
    	FuncPtr* pFunc;
    	for (int i = 0; i < 2; i++)
    	{
    		pFunc = (FuncPtr*)((int*)*(int*)&b + i);
    		(*pFunc)();
    		cout << ":" << (int*)*pFunc << endl;
    	}
    
    	Derived d;
    	Base& base = d;
    	d._b = 1;
    	d._d = 2;
    	cout << "Derived vfptr" << endl;
    	for (int i = 0; i < 4; i++)
    	{
    		pFunc = (FuncPtr*)((int*)*(int*)&base + i);
    		(*pFunc)();
    		cout << ":" << (int*)*pFunc << endl;
    	}
    }

基类对象b

![SouthEast][]

派生类对象d

![SouthEast 1][]

2.单继承，派生类中对基类函数进行重写

class Base
    {
    public:
    	virtual void Test1() { cout << "Base::Test1()";}	
    	virtual void Test2() { cout << "Base::Test2()";}
    	virtual void Test3() { cout << "Base::Test3()";}
    	int _b;
    };
    class Derived :public Base
    {
    public:
    	virtual void Test1() { cout << "Derived::Test1()";}
    	virtual void Test2() { cout << "Derived::Test2()";}
    	virtual void Test4() { cout << "Derived::Test4()";}
    	int _d;
    };

派生类对象d

![SouthEast 2][]  
由图我们可以得到对象b,d的对象模型，如下图：

![SouthEast 3][]

可以看到：

**基类中的虚表：虚函数在类中的声明次序**

**派生类中的虚表：1.基类中的虚表拷贝一份**

**2.检测派生类中是否对基类中的函数进行重写，用派生类中重写的函数替换相同偏移量位置的基类虚函数。**

**3.在虚表之后，添加派生类自己的虚函数**

3.多继承  
**先继承的基类的虚表在前面，将派生类自己新增加的虚函数增加到第一张虚表中。**

class Base1
    {
    public:
    	virtual void Test1() { cout << "Base1::Test1()" << endl; }
    	int _b1;
    };
    class Base2
    {
    public:
    	virtual void Test2() { cout << "Base2::Test2()" << endl; }
    	int _b2;
    };
    class Derived :public Base1,public Base2
    {
    public:
    	virtual void Test3() { cout << "Derived::Test3()" << endl; }
    	int _d;
    };

![SouthEast 4][]

4.菱形继承

class B
    {
    public:
    	virtual void Test1() { cout << "B::Test1()" << endl; }
    	virtual void Test2() { cout << "B::Test2()" << endl; }
    	int _b;
    };
    class C1:public B
    {
    public:
    	virtual void Test1() { cout << "C1::Test1()" << endl; }
    	virtual void Test3() { cout << "C1::Test3()" << endl; }
    	int _c1;
    };
    class C2: public B
    {
    public:
    	virtual void Test1() { cout << "C2::Test1()" << endl; }
    	virtual void Test4() { cout << "C2::Test4()" << endl; }
    	int _c2;
    };
    class D :public C1,public C2
    {
    public:
    	virtual void Test1() { cout << "D::Test1()" << endl; }
    	virtual void Test3() { cout << "D::Test3()" << endl; }
    	virtual void Test4() { cout << "D::Test4()" << endl; }
    	virtual void Test5() { cout << "D::Test5()" << endl; }
    	int _d;
    };

![SouthEast 5][]

5.虚拟单继承

我们知道，虚拟继承是为了解决菱形继承二义性问题而出现的，通过偏移量表格区分相同的成员。

首先看一下简单的虚拟单继承中如果类中有虚函数，是什么样的对象模型。

class Base
    {
    public:
    	virtual void Test1() { cout << "Base::Test1()" << endl; }
    	int _b;
    };
    class Derived :virtual public Base
    {
    public:
    	virtual void Test1() { cout << "Derived::Test1()" << endl; }
    	virtual void Test2() { cout << "Derived::Test2()" << endl; }
    	int _d;
    };

![SouthEast 6][]

**同虚拟继承类似，基类的数据成员在最下面，其次是基类的虚表指针，偏移量表格中的值是相对于虚表的值。需要注意的是：当派生类中没有新增的函数，即只有对基类函数的重写时，对象模型中没有第一行中的虚表指针（即派生类的虚表指针），此时，偏移量表格中的内容则是0和8。**

6.菱形虚拟继承

class B
    {
    public:
    	virtual void Test1() { cout << "B::Test1()" << endl; }
    	virtual void Test2() { cout << "B::Test2()" << endl; }
    	int _b;
    };
    class C1 :virtual public B
    {
    public:
    	virtual void Test1() { cout << "C1::Test1()" << endl; }
    	virtual void Test3() { cout << "C1::Test3()" << endl; }
    	int _c1;
    };
    class C2 :virtual public B
    {
    public:
    	virtual void Test1() { cout << "C2::Test1()" << endl; }
    	virtual void Test4() { cout << "C2::Test4()" << endl; }
    	int _c2;
    };
    class D :public C1, public C2
    {
    public:
    	virtual void Test1() { cout << "D::Test1()" << endl; }
    	virtual void Test3() { cout << "D::Test3()" << endl; }
    	virtual void Test4() { cout << "D::Test4()" << endl; }
    	virtual void Test5() { cout << "D::Test5()" << endl; }
    	int _d;
    };

![SouthEast 7][]  
  
![SouthEast 8][]

在菱形虚拟继承的基础上，添加了虚函数。通过测试得到对象模型，由图我们可以看到，同没有虚函数的菱形虚拟继承类似，基类在对象最下方；第一个偏移量表格中的第一个值是相对于自己虚表指针的偏移量，第二个值是相对于基类虚表指针的偏移量。第二个偏移量表格是类似的；同多继承类似，派生类D中新增加的函数位于第一张虚表中。

**需要注意的是：  
1.虚表是所有类对象实例共用的，所以在一个类中，只有一个虚表。  
2.注意区分虚函数和虚拟继承，虚函数时为了实现动态多态，虚拟继承是为了解决菱形继承二义性问题。**

[SouthEast]: /images/20220606/23b797a6be0e4628a2a355dd1276f9e5.png
[SouthEast 1]: /images/20220606/c12ac9a9137d4e64b5995dc311cbd7e5.png
[SouthEast 2]: /images/20220606/5fdfa560574b43f2bffcadef057a3a17.png
[SouthEast 3]: /images/20220606/9a252e4a06c1490aa8c16ea19b76dc34.png
[SouthEast 4]: /images/20220606/acadefc9138046d79c1630542c03eb4f.png
[SouthEast 5]: /images/20220606/dd5da19afe4a4e04bcc7359531757a39.png
[SouthEast 6]: /images/20220606/3272150b0bf14d4ba5d5eebc97fd3ab3.png
[SouthEast 7]: /images/20220606/93f30561da9e4a56abdc926f4733b494.png
[SouthEast 8]: /images/20220606/9767fcb461324f60a8285b72bae4ae8c.png