编译期确定类型关系

假设两个类型T和U，怎样能够在编译器知道他们是否能够转换？这样可以避免使用dynamic_cast之类的运行期函数，提高运行效率。

sizeof是解决问题的关键，不管表达式有多复杂，sizeof会直接传回大小，不需托到执行期才评估。

通过定义两个重载函数，参数分别是U类型和任意类型，用T对象来调用这个函数，如果调用的是U类型参数的版本，则说明T类型可以自动转换成U类型。

为了在编译期就能发现这个关系，给这两个重载的函数定义返回两个大小不同的类型，一个为small，一个为big（假定sizeof(big)!=sizeof(small)），如下所示

templage<class T,clas U>
small test(U);
templage<class T,clas U>
big test(...);

如果sizeof(test<T,U>( T()) )==sizeof(small) 为true，则说明调用的第一个返回small版本的test函数，说明T类型的对象可以自动转换成U类型。

通过上面的分析，即可在编译期得到两个类型的转换关系，通过进一步改变也可以得到两个类型是否可以互相转换，还可以通过模板的偏特化来判断两个类型是否一样，详细的设计可以参考《c++设计新思维》一书。