站在对象模型的尖端
1、Template
Template Instantiation
当编译器看到template class声明时,实际上什么反应也没有,template class中的数据成员,必须通过template class的某个实体来操作。比如,我们可以这样写:
Point < float >:: Status s;//Status是Point的一个枚举类型
但不能这样写:
Point ::Status s;
我们必须明确的指定类型,才能使用。
如果定义一个指针,指向特定的实体,如:Point< float > *ptr = 0; 程序中什么也没有发生,因为一个指向class object的指针,本身并不是一个对象(只是一个指针,4bytes而已),编译器不需要知道与该class有关的任何members的数据或object的布局数据,因此将一个Point实体实现没有必要。如果不是pointer而是reference,那么它真的会实现一个Point的float实体出来。
一个class object的定义,不论是编译器暗中进行,还是程序员明确定义,都会导致template class的实现,并且需要给nonstatic members非配足够的空间。然而,member functions不应该被实体化,只有在背使用的时候C++standard才要求他们被实体化出来,当前的编译器并不精确的遵循这项要求。主要是考虑到空间和时间效率,以及考虑到编译器错误的类型判断。
Template的错误报告
所有与类型有关的检验,如果牵涉到template参数,都必须延迟到真正实现操作发生时。
2、异常处理
3、运行时类型识别
Reference并不是一个pointerdynamic_cast对于指针会提供一组true/false,然而对于reference若成功则继续运行,若失败则丢出一个bad_cast exceptionRTTI只适用于多态类型,而type_inf object也适用与内建类型,以及非多态的使用者自定义类型。