class ZooAnimal
{
public:
ZooAnimal();
virtual ~ZooAnimal();
virtual void rotate();
protected:
int loc;
String name;
};
class Bear:public ZooAnimal
{
public:
Bear();
~Bear();
void rotate();
virtual void dance();
protected:
enum dances {...};
Dances dances_known;
int cell_block;
};
Bear b;
ZooAnimal za = b;
za.rotate();
在《深入探索C++对象模型》第一章的1.3节,的最后部分,作者提了这样一个问题:如果初始化函数将一个object内容完整拷贝到另一个object去,为什么za的vptr不指向Bear的virtual table?
侯捷翻译的中文版,翻译后的结果是“编译器必须确保如果某个object含有一个或一个以上的vptrs,那些vptrs的内容不会被base class object初始化或改变”。
看到这我很困惑,按侯捷的话来说就是继承类的对象不会被基类对象所改变,可实际上作者的问题是:对一个子类对象的基类指针,使用拷贝构造。也就是说我要改变的是基类对象,而不是子类对象。所以就产生了一个很矛盾的问题,到底谁改变谁?
后来翻了英文原版,原版是这样说的:“The compiler must ensure that if an object contains one or more vptrs, those vptr values are not initialized or changed by the source object ”。翻译成中文就是,编译器必须要确保如果一个对象有一个或多个vptr,这些vptr不是由原对象来初始化或改变的。也就是说:当使用赋值的方式或拷贝构造的方式创建一个对象时,这个对象的vptr与源对象无关。
对应到上面的代码za = b;即使重写了ZooAnimal对象的赋值操作符,将b完整的拷贝到za中,他的vptr也不会就此改变,他的vptr与b这个对象完全无关。这也就是为什么实现多态一定要用指针或引用的原因之一了。