学习boost模板编程：判断两个类型是否相同

boost/type_traits/is_same.hpp中的is_same模板，用于判断两个类型是否完全相同。

首先，试一下下面函数的作用

template<typename T>

bool is_same_tester(T*, T*) { return true; }

bool is_same_tester(...) { return false; }

int a; char b;

bool c = is_same_tester(&a,&b); 返回false，即使是继承关系的类也被认为不同

bool c = is_same_tester(&a,&a); 返回true，只要是同类型都会返回true，即使用typedef改名称了也被认为是同一类型

 

但是，上面的方法只能在运行时生效，不能在编译是生效。在编译时生效的话，可以生成不同的代码。boost用得最多的是在编译时判断两个类型是否相同，不同的话提前报编译错误，避免用错误的参数实例化模板，浪费编译时间，也浪费找编译错误的时间。

在不支持部分特化的编译器上，可以用此方法实现部分特化。

 

为了在编译时生效，只能用编译时起作用的方法，编译时起作用的有常量的基本运算，sizeof等。

boost让函数is_same_tester返回不同的yes_type和no_type，这两个类型的sizeof结果不相等，不用关心它们的具体定义，再判断返回类型的大小。注意两个函数没有实现体，即编译后不会生成任何代码。

template <typename T>
yes_type is_same_tester(T*, T*);

:no_