被问及C++中将子类对象转型为父类对象时,会发生什么?大部分人可能会回答说:子类成份会被"阉割",也就是说它不再具有子类特性。确实是这样,不过我想知道编译器是怎么处理“阉割”的。请看如下代码,
Child chd;
Base b0(chd);
Base b1 = chd;
Base b2;
b2 = chd;
很明显,b0和b1都是通过调用Base的拷贝构造函数来完成构建的。对于b2,编译器首先调用Base的默认构造函数进行构造,然后调用Base的赋值运算符来把子类中的父类成份赋值给b2。
再来看看下面的代码:
class Base
{
public:
Base()
{
i = 0;
printf("Base()\n");
}
Base(const Base & base) : i(base.i)
{
printf("Base copy.\n");
}
Base& operator=(const Base &base)
{
printf("Assignment.\n");
return *this;
}
void Inc() {++i;}
void print() {printf("%d\n",i);}
int i;
};
class Child : public Base
{
};
int main()
{
Child chd;
chd.Inc(); // add 1
Base base(chd); // copy
base.print();
static_cast<Base>(chd).Inc();
chd.print(); // 打印出1
((Base)chd).Inc();
chd.print(); // 打印出1
return 0;
}
很明显,main()函数中的第一个打印语句会输出1,为什么第二,三个也输出1,不是对i作加1操作了吗。原来上面的static_cast<Base>(chd).Inc()或者 ((Base)chd).Inc()会被编译器转化为如下代码:
Base temp(chd);
temp.Inc();
是的,编译器通过拷贝构造函数构造出一个临时的Base对象,然后对那个临时对象进行加1操作,所以并没有改变chd对象的状态。
总结:编译器“阉割”子类对象是通过拷贝构造函数或赋值运算符来完成的。注意转型中临时对象可能产生。