C++多态之——虚表地址所在内存空间的位置

众所周知,虚拟地址空间划分成了好几个部分,有堆区、栈区、常量区、静态区......

(500条消息) C/C++代码内存分布图_程序分布图_橙予清的zzz~的博客-CSDN博客icon-default.png?t=N6B9https://blog.csdn.net/weixin_69283129/article/details/126122989大家可以看这篇文章深入了解我们日常所写的C++代码都分布到了内存的哪些地方。

        我们可以模拟创建指向堆区空间、指向栈区空间的地址、创建存在于静态区和常量区的变量或常量,通过获取它们的地址就可以判断出虚表地址的大致位置到底处在内存的那一部分了。

试验案例: 

class A {
	virtual void Func1() {
		cout << "A:Func1()" << endl;
	}
	virtual void Func2() {
		cout << "A:Func2()" << endl;
	}
};

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

	
	virtual void Func3() {
		cout << "A:Func()" << endl;
	}
};

int main() {
	int i = 10;
	cout << "栈区:" << &i << endl;

	int* p = new int;
	cout << "堆区:" << &p << endl;

	const char* str = "hello bit!";
	cout << "代码区/常量区:" << &str << endl;

	static double d = 3.14;
	cout << "静态区:" << &d << endl;


	A a;
	cout << "父类对象a1虚表地址:" << (void*)(*(int*)&a) << endl;
}

代码解析:

        倒数第三行中,a是父类A的对象,&a就表示对象a的地址,因为对象a中有虚函数Func1()和Func2(),那么就有相应的虚表指针vfptr,而且虚表指针默认是类对象的第一个成员,且指针大小一般是4字节,使用int*(4字节)就可以提取出对象a的vfptr地址(4字节),之后解引用就是vfptr,因为目前vfptr是int*,需要转换为16进制的地址,需要转换为void* ,这样就可以计算出虚表指针指向的虚表的地址了!

运行结果: 

       

        从结果可知:虚表地址和常量区的地址最为接近,可以表面虚表地址是存在于常量区的位置中的。

  • 2
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 4
    评论
C++中的多态性是通过虚函数实现的。在含有虚函数的类中,编译器会自动添加一个指向虚函数表的指针,这个指针通常称为虚函数表指针。虚函数表是一个存储类的虚函数地址的数组,每个类有一个对应的虚函数表。当一个类对象被创建时,会自动分配一个指向它的虚函数表的指针。 虚函数表指针的大小和虚函数表的大小都与具体实现相关。在一般情况下,虚函数表指针的大小为4或者8个字节,虚函数表的大小取决于类中虚函数的个数。 以下是一个模拟实现: ```c++ #include <iostream> using namespace std; class A { public: virtual void func1() { cout << "A::func1" << endl; } virtual void func2() { cout << "A::func2" << endl; } }; class B : public A { public: virtual void func1() { cout << "B::func1" << endl; } }; int main() { A* a = new A(); B* b = new B(); cout << "size of A: " << sizeof(A) << endl; cout << "size of B: " << sizeof(B) << endl; cout << "size of a: " << sizeof(a) << endl; cout << "size of b: " << sizeof(b) << endl; a->func1(); a->func2(); b->func1(); b->func2(); delete a; delete b; return 0; } ``` 输出结果: ``` size of A: 8 size of B: 8 size of a: 8 size of b: 8 A::func1 A::func2 B::func1 A::func2 ``` 在上面的代码中,我们定义了两个类A和B,其中B继承自A。类A和B都含有虚函数,因此编译器会为它们添加虚函数表指针。在main函数中,我们创建了一个A类对象和一个B类对象,并输出了它们的大小以及指针的大小。接着我们调用了每个对象的虚函数,可以看到B对象的func1()覆盖了A对象的func1(),而A对象的func2()没有被覆盖。最后我们删除了这两个对象,避免内存泄漏。 需要注意的是,虚函数表指针的大小和虚函数表的大小是不确定的,取决于具体实现。此外,虚函数表指针通常被放在对象的开头,因此虚函数表通常被放在内存中较靠前的位置

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 4
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

橙予清的zzz~

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值