在C++中侦测内嵌型别的存在(rev#2)

在中侦测内嵌类型的存在http://blog.youkuaiyun.com/pongba)

动机假设一所大学的注册系统提供了一个注册函数：

class T>

typename T::person_tag());

而对于注册者有以下几种标识：

还有

class T> void Register(T p, student_tag){...} //

注册学生class T> void Register(T p, teacher_tag){...} // 注册教师并规定学生类一定要在内部person_tag()

其实就构造了一个student_tag) 版本。其他情况亦均有对应。这是泛型编程里的常用手法（静态多态），问题是，现在学校里假如不止学生教师，还有工人，警卫等其它人员。如果他们不会在类内部是否了某个标识符（例如实现这个问题可能有两个实现途径。一是利用函数重载，具体如下：

yes_type

)[1]; // sizeof(yes_type)==1

no_type)[2]; // sizeof(no_type)==2

以上的两个

class T>

class U>

   // 声明sizeof(check(t))==sizeof(yes_type);

注意，在我的

int key_type;

 // 0

  // 1

下面我为你讲解它的原理。当进行重载解析时，编译器会首先尝试实例化可以匹配的模板函数并将它们纳入到有待进行重载解析的函数的候选单之列，在本例中，当一个值得注意的地方是：然而，如果它不是模板函数，则随着还有一个值得注意的地方是：声明，并不占用内存空间，更妙的是，因为是个声明，所以编译器根本不会对它初始化，所以它的默认构造函数就根本不会被执行，事实上，编译器在这种情况下甚至不会去看一看它是否有可用的默认构造函数，它只需要类型信息就足够了，不是么？因此，即使由于某些原因（例如，想让在的世界里，根本不会发生求值行为，编译器只需要有关类型的信息。在编译器内部蕴涵有一个巨大的类型推导系统。无论但这里有一个十分怪异的问题（在我的

class T>

  // 请注意这是个模板类按理说，这种情况下C>::value应该为

class U>

(typename U::key_type*)0);

我仅仅加了一个转换，编译器就开始抱怨说使用模板类（它指的是第二种实现是利用模板偏特化及默认模板参数的规则：

class T,class>

class T,class =T>

const bool value=false;

class T>

typename check_helper typename T::key_type>::type

true;

这看起来很小巧，仅仅使用了模板偏特化。但是请耐心听我解释。如果

typename check_helper typename X::key_type>::type 而typename check_helper typename X::key_type>::type 根据

所以，如果你这样测试：而根据上面的推导，如果

于是编译器选择匹配偏特化版本，其中的而如果typename check_helper typename X::key_type>::type 也就随之不存在，则测试现在对我们的两个实现版本测试一下吧，假设有一下几个类：

typedef int key_type;};

void key_type(void){}};static const bool key_type=false;};

class>

class T>

does_sometypedef_exists

impl_type;

在我的如果使用第一种实现，这将输出：如果使用第二种实现，这将输出：很显然，两种实现对于改进第一种实现还可以做一点改进，像这样：

class T>

class U>

sizeof(check (0))==sizeof(yes_type);

这样，去掉封装现在我们的

class T> /

class U> /

typename U::id*); /

class U> /

const bool value=sizeof(check (0))== sizeof(yes_type); /

经过这重封装，当你要侦测某个名称的内嵌类型如这将会扩展成一个名为::

value;

这将侦测类对内嵌的侦测方法

  // 缺省声明，因为不会被匹配所以不用定义