C++中侦测内嵌型别

请先阅读http://blog.csdn.net/pongba/archive/2004/08/24/82783.aspx

简介:如何判定一个类型内部是否已经定义了某个内置类型,然后据此进行专门或者默认的函数调用,这是很常见的一个问题.上文引用中提到的一个例子即是在Teacher类,Student类已经定义了身份类型(person_tag)的情况下,如何给没有定义person_tag的类的实例在Register操作中进行通用操作.

针对上文博客我给出了自己的答案,使之又精简,又能在vc6之类的不标准编译器中编译通过.

#include <stdio.h> //下面的代码可以在绝大多数编译器中编译通过（包括vc6），窃以为c++的困境在于很难写兼容于不同编译器的代码 //（为了兼容性放弃偏特化，成员模版，甚至某些局部特化吧,你会发现其实都可以用别的替代的。QT4里面有很多这样的例子，呵呵） //有意思的是代码如果使用std::cout进行结果打印会导致vc6编译器内部错误,这我实在没办法了，找比尔算账吧 //D:/VC/VC98/INCLUDE/ostream(316) : fatal error C1001: INTERNAL COMPILER ERROR // (compiler file 'F:/9782/vc98/p2/src/P2/ehexcept.c', line 577) struct student_tag{}; struct teacher_tag{}; struct Teacher{typedef teacher_tag person_tag;}; struct Student{typedef student_tag person_tag;}; struct Worker{}; //调用的层次请观察下划线的根数，很好理解的 //第0步（无下划线） 其实完全可以不用函数模版而用宏的....算了，照顾大多数人的情绪和作用域问题 template<typename T> inline void Register (T const &p){Register_(p, NULL);} //第1步（一根下划线）注册没有tag的 template<typename T> inline void Register_ (T const &p, ...){printf("Others,registered!/n");} //第1步（一根下划线）注册有tag的，正向推解NULL的类型。 //有意思的是函数体中的Register__改为Register_（我一开始出现的笔误），vc6居然不会栈溢出（inline起了效果,但是模版递归展开层次受限？） template<typename T> inline void Register_ (T const &p, typename T::person_tag *){Register__(p,(T::person_tag *)(NULL));} //第2步（二根下划线）注册特定tag的 template<typename T> inline void Register__(T const &p, teacher_tag *){printf("Teachers,registered!/n");} // 注册教师 //第2步（二根下划线）注册特定tag的 template<typename T> inline void Register__(T const &p, student_tag *){printf/*std::cout<<*/("Students,registered!/n");} // 注册学生

 

上文是产生重载决议的例子,很简捷.

下面是产生内嵌型别的判定:

 

 template <bool N> struct bool_struct { enum{value=N}; private: char* sizer[((size_t)N)+10]; //防止0长度数组 }; template <typename T> bool_struct <false> get_tag (T*,...); template <typename T> bool_struct <true> get_tag (T*,typename T::person_tag* p=NULL); template <typename T> struct has_person_tag { public: enum {value=sizeof( get_tag ( (T*)NULL, NULL) ) == sizeof( bool_struct<true> ) };//value typedef bool_struct< value > has_person_tag_trait; //trait };

trait可以提供给函数重载使用

 

测试代码:

int main() { Register(Worker()); Register(Teacher()); Register(Student()); printf("has_person_tag<Worker>::value:%d/n", has_person_tag<Worker>::value); printf("has_person_tag<Teacher>::value:%d/n",has_person_tag<Teacher>::value); printf("has_person_tag<Student>::value:%d/n",has_person_tag<Student>::value); return 0; }

欢迎大家给出评价