派生类的指针绑定到基类的对象(编译通过,但结果不可预知)

本文深入分析了在C++中,当派生类的指针绑定到基类对象上时,多态逆操作的运行结果及原理。通过实例展示了编译器处理方式和内存访问行为,揭示了这一特殊场景下多态的微妙之处。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

多态是面向对象中最重要的特性。在C++中多态的实现是通过带有虚函数的基类的指针或引用绑定到派生类的对象上来体现的。

如果反过来,派生类的指针或引用绑定到积累的对象上有会有什么结果呢?首先这种做法很可能是没有实际意义的,但是编译却能通过(至少在VS2012下能过)。下面通过一个例子来看看运行结果:

class base {
public:
	base(int x) : a(x) {}
	virtual void fcn() {
		cout << "base" << endl;
	}
	int a;
};

class derived : public base {
public:
	derived(int x) : base(x), a(x), b(x) {}
	virtual void fcn() {
		cout << "derived" << endl;
	}
	int a;
	int b;
};
int main() {
	base *pb = new base(100);
	pb->fcn();
	derived *pd = (derived *)pb;  //派生类的指针绑定到基类的对象上
	pd->fcn();

	cout << pb->a << endl;
	cout << pd->a << endl;
	cout << pd->b << endl;

	system("pause");
};
运行结果:



派生类指针pd指向的对象本质上还是基类的对象,内存空间中只包含基类的成员变量。两次调用虚函数都是基类的。

pd->a;pd->b;对于这两句,编译器会按照派生类中的a,b变量的偏移地址去访问,但实际上基类对象内存中并没有在此偏移位置上构造a,b,所以打印的结果是随机的。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值