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

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

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

template

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
yes_type is_same_tester(T*, T*);

:no_type is_same_tester(...);

sizeof(yes_type) == sizeof( is_same_tester(&a,&b) ) 就变成编译时就能算出结果的布尔常量

 

看一个boost里面的应用，enable_if和disable_if，则两个东西用在函数的参数中，让函数编译不过。使用举例

void f (A a, B b, typename enable_if >::type * = 0) { }

当类型A和B相同时，enable_if::type定义成void；当A和B类型不同时，enable_if::type没有定义，导致编译报错。

具体实现如下

template
struct enable_if_c {
  typedef T type;     // 条件B为true时，定义type为T，默认为void
};

template
struct enable_if_c {};  // 特化，条件为假时，没有定义type

// 下面两个模板，将is_same关联到一起

template
struct enable_if : public enable_if_c {};

template
struct disable_if : public enable_if_c {};

 

如果编译器支持部分特化，实现起来更简单