先讲一句忠告:在使用多态的时候不能直接使用对象的强制转换,而应该使用指针或者引用。
首先,介绍一下小知识点:
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专属行为
}
//...
};
最后,让我再重复一句: 在使用多态的时候不能直接使用对象的强制转换,而应该使用指针或者引用。