《深度探索C++对象模型》--7 站在对象模型的尖端



C++语言的扩充性质

1、template

（1）memberfunctions只有在被使用时，才会被实例化。

（2）注意使用template时，注意针对特定参数时可能有些操作没有定义。

template在被实例化之前只能实施有限的错误检查，有些很简单的错误编译器照样通过。

（3）template之中对于一个nonmembername的决议结果，都是由“scope ofthe template instantiation”来决定，而不是由“scope ofthe template declaration”决定的。前者用以专注于特定的实例；后者用于专注于一般的templateclass。

2、exceptionhandling (EH)

EH中类型描述符是必须的，因为真正的exception是在执行期被处理的，其object必须有自己的类型信息。RTTI正是因为支持EH而获得的副产品。

3、runtimetype identification (RTTI)

dynamic_cast运算符对某个class类型实施时，如果传回真正的地址，表示动态类型被确认；如果传回0，则表示没有指向任何object，意味着应该以另外一种逻辑试行于这个动态类型未确定的object身上。

那为什么一个reference不可以像指针一样将自己设置为0便代表了no object呢？

若将一个reference设置为0，会引起一个临时对象（拥有被参考到的类型）被产生出来，该临时对象的初值为0.这个reference然后被设置为该临时对象的一个别名。因此，当dynamic_cast运算符施行于一个reference身上时，不能够提供对等于指针情况下的true/false。