P5: Line -1: 每一个non-inline member function 只会诞生一个函数实体. 至于每一个"拥有零个或一个定义"的 inline function 则会在其每一个使用者(模块)身上产生一个函数实体.
这句话不太理解, 难道inline function 会放在对象所存储的内存空间中?我已经测试过了,带不带inline function的对象大小都是一样的. 需要弄清楚这句话到底表达什么样的意思.
P32: Line 8:
现在, 请看这种情况:
Bear b;
ZooAnimal za = b;//译注:这会引起切割(sliced)
//调用ZooAnimal::rotate()
za.rotate();
为什么rotate() 所调用的是ZooAnimal 实体而不是Bear实体?此外,如果初始化函数将一个object内容完整拷贝到另一个object中去,为什么za的vptr不指向Bear的virtual table?
第二个问题的答案是,编译器在初始化及指定操作(将一个class object指定给另一个class object)之间做出了仲裁. 编译器必须确保如果某个object含有一个或一个以上的vptrs,那些vptrs的内容不会被base class object 初始化或改变.
对于上面这段内容,第二个问题的解答还是不太明白. 做出仲裁,是什么样的仲裁, 确保内容不变是怎么确保不变的?