类的大小——sizeof 的研究(3.虚继承)

本文通过一个C++多继承示例,详细解析了虚继承下类对象的内存布局方式,包括基类和派生类的大小计算,并解释了虚继承引入的额外开销。

看这段代码

 

class   Top   
{   
protected:   
	int   x;   
public:   
	Top(int   n):x(n){cout<<"Top"<<endl;}   
	virtual   ~Top(){}   
	
};   
class   Left:virtual   public   Top   
{   
protected:   
	int   y;   
public:   
	Left(int   m,int   n):Top(m){y=n;cout<<"Left"<<endl;}   
};   
class   Right:public   virtual   Top   
{   
protected:   
	int   z;   
public:   
	Right(int   m,int   n):Top(m){z=n;cout<<"Right"<<endl;}       
};   
class   Bottom:public   Left,public   Right   
{   
	int   w;   
public:   
	Bottom(int   i,int   j,int   k,int   m):Top(i),Left(i,j),Right(i,k),w(m)           
	{   
		cout<<"Bottom"<<endl;   
	}           
};   
int   main()   
{   
	Bottom   b(1,2,3,4);   
	cout<<"sizeof(b)   "<<sizeof(b)<<","<<sizeof(Bottom)<<endl;   
	cout<<sizeof(Left)<<","<<sizeof(Right)<<","<<sizeof(Top)<<endl;   
	for(int   i=0;i<sizeof(b);i+=4)   
		cout<<*(reinterpret_cast<int*>((&b)+i))<<"________"<<endl;   
	system("PAUSE");           
}   

 

结果如下:

Top
Left
Right
Bottom
sizeof(b)   28,28
16,16,8
4657244________
2367460________
0________
746________
44________
5701724________
4________
请按任意键继续. . .

 

也就是说Top为占8字节,这好理解。

 int   x;            //4字节
 virtual   ~Top(){}      //基类的虚表入口,4字节

 

接着看Left跟Right都是16字节。

本来除了Top的8字节,Left里只有int   y; 占4字节,还有4字节占在那里?

 

由于是虚继承,虚继承的子类都要包含一个指向基类的指针,从而实现动态联编。

一次,要额外加4字节的空间。所以一共是8+4+4=16字节。

Right同理。

 

再看Bottom的大小为28字节,这个是怎么算的呢?

 

 

虚继承是棱形继承,基类大小为8字节.

而Bottom为普通多继承,因此,Bottom的大小应该是Bottom部分+Left部分+Right部分+各自指向基类的指针+基类大小(虚继承导致只有一个基类实例)。

                                        Top

                                     /      /

                                    /        /

                                Left       Right

                                 /         /

                                   /      /

                                     Bottom

现在算算,基类8字节+Left4字节+Right4字节+4字节指向基类的指针*2+Bottom4字节=28字节。

 

关于函数以及变量是否统计入sizeof实例,请参考我前两篇。

 

纯粹自己根据资料推导,欢迎指正。

### C++ 中虚函数与继承的关系 在 C++ 中,虚函数用于支持运行时多态性。当一个声明了一个成员函数为 `virtual` 后,在派生中可以重写该函数,并通过基指针调用实际对象的方法。 #### 基本概念 - **虚函数**:允许子重新定义成员函数而不改变函数签名。 - **虚表 (vtable)**:编译器自动生成的一个表格,存储了的所有虚函数地址。 - **虚表指针 (_vptr_)**:每个含有虚函数的对象都会有一个隐藏的指针指向其对应的 vtable[^1]。 #### 普通继承下的虚函数机制 对于普通单继承结构: ```cpp class Base { protected: int data; public: virtual void show() const { std::cout << "Base"; } }; class Derived : public Base { public: void show() const override { std::cout << "Derived"; } }; ``` 在此情况下,`Derived` 不会创建新的 vtable 实例,而是扩展并覆盖来自 `Base` 的现有条目。因此,即使是从 `Base*` 或者 `Base&` 访问 `show()` 方法也会执行最合适的版本——即实现了所谓的“动态绑定”。 #### 虚继承的影响 然而,在涉及虚继承的情况下,情况有所不同。考虑下面的例子: ```cpp class A { private: int k; public: virtual void funcA() {} }; // B 和 C 都虚拟地继承于 A class B : public virtual A { private: int j; public: virtual void funcB() {} }; class C : public virtual B, public virtual A { private: int i; public: virtual void funcC() {} }; ``` 这里值得注意的是,由于 `B` 和 `C` 对 `A` 进行了虚继承,所以它们共享同一份 `A` 的实例而不是各自拥有一份副本。这不仅减少了内存占用还解决了菱形继承问题带来的二义性。但是这也导致了额外的空间开销来保存多个 `_vptr_` 来分别指向不同层次上的 vtables。 #### 关键点总结 - 当存在虚继承关系时,子会拥有独立于父之外的新建的 vtable; - 子可能需要维护两个以上的 _vptrs_, 分别对应各个间接祖先以及自身的 vtable; - 正确处理好这些细节有助于编写高效且无歧义的面向对象程序设计代码。 ```cpp #include <iostream> using namespace std; class A { private: int k; public: virtual void funcA() { cout << "funcA from A\n"; } }; class B : public virtual A { private: int j; public: virtual void funcB() { cout << "funcB from B\n"; } }; class C : public virtual B { private: int i; public: virtual void funcC() { cout << "funcC from C\n"; } }; int main(){ A aObj; B bObj; C cObj; // 输出各对象大小以观察内部布局差异 cout << "Size of A: " << sizeof(aObj) << "\n"; cout << "Size of B: " << sizeof(bObj) << "\n"; cout << "Size of C: " << sizeof(cObj) << "\n"; return 0; } ``` 此段代码展示了如何利用虚继承构建复杂的体系的同时保持良好的封装性和灵活性。注意到了解底层实现原理可以帮助开发者更好地理解为什么某些操作会有特定的表现形式。
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值