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。