C++虚函数表的验证

要了解C++对象的虚函数的内存布局,推荐的是如下的三篇由浅入深的文章:


C++虚函数表解析

http://blog.youkuaiyun.com/haoel/article/details/1948051

C++对象的内存布局(上)

http://blog.youkuaiyun.com/haoel/article/details/3081328

C++对象的内存布局(下)

http://blog.youkuaiyun.com/haoel/article/details/3081385


作为“课后作业”,在64位linux上写了一个验证代码 (g++ (GCC) 4.4.6):

#include <iostream>
using namespace std;

class Base
{
	virtual void foo1(){cout<<"Base::foo1"<<endl;}
	virtual void foo2(){cout<<"Base::foo2"<<endl;}
	virtual void foo3(){cout<<"Base::foo3"<<endl;}
};

class Derive1: public Base
{
	virtual void foo1(){cout<<"Derive1::foo1"<<endl;}
	virtual void fooDerive1(){cout<<"Derive1::fooDerive"<<endl;}
};

class Derive2: public Base
{
	virtual void foo1(){cout<<"Derive2::foo1"<<endl;}
	virtual void fooDerive2(){cout<<"Derive2::fooDerive"<<endl;}
};

class Derive3 : public Derive1, public Derive2
{
	virtual void foo1(){cout<<"Derive3::foo1"<<endl;}
	virtual void fooDerive3(){cout<<"Derive3::fooDerive3"<<endl;}
};

typedef void(*Fun)(void);

main()
{	
	Derive3 d3;
	
	long long** pVtab = (long long**)&d3;
	Fun pFun = NULL;

	for(int i=0; i<5; i++)
	{
		pFun = (Fun)pVtab[0][i];
		cout<<"["<<i<<"]";
		pFun();
	}
	
	cout<<"--------------"<<endl;
	
	for(int i=0; (Fun)pVtab[1][i]!=NULL; i++)
	{
		pFun = (Fun)pVtab[1][i];
		cout<<"["<<i<<"]";
		pFun();
	}
}


执行结果:

[0]Derive3::foo1
[1]Base::foo2
[2]Base::foo3
[3]Derive1::fooDerive
[4]Derive3::fooDerive3
--------------
[0]Derive3::foo1
[1]Base::foo2
[2]Base::foo3
[3]Derive2::fooDerive


如果是单线的继承,内存的排布跟文章中介绍都一样。

如果是菱形继承、虚拟继承、多重集成, 还是有些区别,第一个虚表最后有一个未知节点,不是直接为0结束,不知道要怎么分析下去这块内存的指向了 :(


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值