当前位置：首页 » 服务器技术

开发技术指南» 文章正文

    引言： 动机(Motivation)

 

 

在C++中侦测内嵌型别的存在(原创)
动机(motivation)

  template<class t> 【相关文章:Hibernate:利用配置文件生成数据】

假设一所大学的注册系统提供了一个注册函数： 【扩展阅读:软件可重用性的一点思考】

  { 【扩展信息:把Oracle数据库移植到Microso】

  void register(t person)

     register(person,typename t::person_tag());

  };

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

 struct student_tag{};

 struct teacher_tag{};

还有register的几个供内部使用的重载版本：

  template<class t> void register(t p,student_tag){...} //注册学生

  template<class t> void register(t p,teacher_tag){...} //注册教师

并规定学生类一定要在内部typedef student_tag person_tag ;教师类typedef teacher_tag person_tag ;这样，当传给起初的那个register的对象为学生类对象时,typename t::person_tag()其实构造了一个student_tag对象，从而激发函数重载，调用register内部版本的template<class t> void register(t p,student_tag);版本。其他情况亦均有对应。这是泛型编程里的常用手法，stl里屡见不鲜。

问题是，现在学校里假如不止学生教师，还有工人，警卫等其它人员。如果他们不会在类内部typedef任何东西，则register需要一种机制以确定t内部是否typedef了某个标识符(例如person_tag)。如果没有，就默认处理。如果有，则再进行更详细的分类。

实现(implementation)

这个问题可能有两个实现途径。

第一，利用函数重载，具体如下：

typedef char (&yes_type)[1]; //sizeof(yes_type)==1

typedef char (&no_type)[2];  //sizeof(no_type)==2

以上的两个typedef用于识别不同的重载函数。char (&)[1]表示对char[1]数组的引用，所以sizeof(char(&)[1])==sizeof(char[1])==1;注意围绕&符号的一对圆括号，它们是必要的，如果没有将会导致编译错误，正如char* [1]将被解析为char*的数组，char& [1]将被解析为引用的数组，而后者是非法的。将&用圆括号包围则改变了运算符的结合优先序，这将被解析为对char[1]数组的引用。

template<class t>

struct does_sometypedef_exists

{

    template<class u>

    static yes_type check(u,typename u::key_type*  =0); //请注意* 与=之间的空格，那是必要的,否则

                                                //编译器会将它解析为operator*=操作符

    static no_type check(...);

    static t t;   //声明

    static const bool value=sizeof(check(t))==sizeof(yes_type);

...   下一页

» 本期热门文章：

· 热门栏目：

» 相关精选文章

» 其它相关：