深度探索C++对象模型笔记（七）

站在对象模型的尖端

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并不是一个pointer

dynamic_cast对于指针会提供一组true/false,然而对于reference若成功则继续运行，若失败则丢出一个bad_cast exception

RTTI只适用于多态类型，而type_inf object也适用与内建类型，以及非多态的使用者自定义类型。