使用多态的时,不能对 对象本身进行强制转换

先讲一句忠告:在使用多态的时候不能直接使用对象的强制转换,而应该使用指针或者引用

首先,介绍一下小知识点:

class FBase {
public:
	virtual void Set() {
		info = _T("FBase");
	}
	void PrintInfo() {
		_tprintf(_T("%s\n"), info);
	}
protected:
	TCHAR *info;
};

class FChild : public FBase {
public:
	void Set() {
		info = _T("FChild");
	}
};

FChild	child;
child.Set();
child.PrintInfo();
((FBase)child).Set();
child.PrintInfo();

问:两次输出分别是什么?

如果你要回答两次一次是FChild,一次是FBase,那么你就错了。

事实上 ((FBase)child).Set() 确实调用的是基类的Set函数,但是是由一个临时对象调用的,结果也设置到了临时对象的身上,临时对象此时info指针指向的是"FBase"。

但是,child对象的值仍未变,所以两次输出均为 FChild。


如果你明白了上面这道题,那么下面这道题你也可以答对。

#include <iostream>

using std::cout;
using std::endl;

class base{
public:
	virtual void setNum(int iNum) {
		cout << "set base iNum to " << iNum << endl;
		this->iNum = iNum;
	}
	void showNum() { cout << "iNum in base: " << iNum << endl; }
private:
	int iNum;
};
class derived : public base {
public:
	virtual void setNum(int idNum) {
		static_cast<base>(*this).setNum(idNum);
		cout << "set derived idNum to " << idNum << endl;
		this->idNum = idNum;
	}
	void showNum() {
		base::showNum();
		cout << "idNum in derived: " << idNum << endl;
	}
private:
	int idNum;
};

int main() {
	derived d;
	d.setNum(100);
	d.showNum();

	return 0;
}
输出结果为:

set base iNum to 100
set derived idNum to 100
iNum in base: -2
idNum in derived: 100

可以看到,这里的iNum的值是不定的。原因也是给基类部分赋值的时候,把值赋给了临时对象的缘故。


有人可能对 (FBase)child 这种强制转换为什么会生成临时对象,表示不解。其实这很好解释的。

对于C风格的强制转换,以下两种方式的效果是一样的。
(T)expression    //将expression转型为T类型
T(expression)     //将expression转型为T类型

对于 (FBase)child这样的强制转换,可以完全等同于
FBase(child)
这样再看的话,是不是就很清楚了。
匿名临时对象生成了,发生了切片slicing!
再补充一句,使用static_cast<T>(child)将产生同样的效果,即也会生成临时基类对象。


这也就是EC++ 条款27中的下面这个例子想要表达的。

class Window {
public:
	virtual void onResize() { //... }
	//...
};
class SpecialWindow : public Window {
public:
	virtual void onResize() {
		static_cast<Window>(*this).onResize();	//Error!!!
		//...这里进行SpecialWindow专属行为
	}
	//...
};
解析:

static_cast<Window>(*this).onResize(); //Error!!!

这里static_cast<Window>(*this) 等价于 (Window)(*this),也等价于Window(*this),即为建立一个匿名基类对象,并通过切片由派生类对象构造出来。

之后,调用onResize()方法,确实,调用的是基类的方法,但是却是临时基类对象的!而不是派生类对象的。

如果Window::onResize()修改了对象内容,那么当前派生类对象并没有被改动,改动的是一个基类对象副本。这时,如果SpecialWindow::onResize()内如果也修改了对象,当前派生类对象真的会被修改。这使得当前的派生类对象进入了一种“伤残”状态:其基类部分的成分的更改没有落实,而派生类部分的成分的更改倒落实了。

解决的方法就是拿掉强转动作,代之以真正的静态调用。

class SpecialWindow : public Window {
public:
	virtual void onResize() {
		Window::onResize();	//OK!!!
		//...这里进行SpecialWindow专属行为
	}
	//...
};

最后,让我再重复一句: 在使用多态的时候不能直接使用对象的强制转换,而应该使用指针或者引用



  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值