ITPub博客

首页 > 应用开发 > IT综合 > STL程序设计实践五:巢状式的型别宣告 (转)

STL程序设计实践五:巢状式的型别宣告 (转)

原创 IT综合 作者:worldblog 时间:2007-12-09 12:03:55 0 删除 编辑
STL程序设计实践五:巢状式的型别宣告 (转)[@more@]

 

 

STL程序设计实践五:巢状式的型别宣告XML:namespace prefix = o ns = "urn:schemas-microsoft-com:Office:office" />

EMailccplusplus@21cn.com

前言

  STL是泛型程式设计的一个研究成果。在泛型程式设计中巢状式的型别宣告是其的惯用手法,它利用了typedef关健字。”STL程序设计实践四”中我们对该关健字的用途做了些简单介绍。这里说一下利用typedef关健字在泛型程式设计中进行巢状式的型别宣告。也算是对”STL程序设计实践四”的补充,请别见笑。欢迎批评指正。

正文

  巢状式的型别宣告听起来好像很复杂,其实很简单,举个例子:

  template

  struct Ctype

{

  typedef T value_type;   //这就是巢状式的型别宣告

};

  简单吧!但它在泛型程式设计中占有很重要的地位,主要是用来获取Template引数的原始型别,下面就说个不太恰当的例子(注:不恰当不是说语法不对,只是指这个例子有没有用,或有没有必要这样写等)。

  template

  struct Ctype

{

  typedef T value_type;  //巢状式的型别宣告

};

  template

  struct Ctype    //偏特化

{

  typedef T value_type;  //巢状式的型别宣告

};

  ……

  template

  typename Ctype::value_type

  func(T t)

{

  ……

}

  ……

  int *pi = new int(10);

  int iresult = func(pi);

  这段简单的程式中就使用了巢状式的型别宣告,函式func希望返回T引数的原始型别(在这里是int),当func的模板引数为int*时T型别是int*,所以函式func不能直接返回型别T。通过返回Ctype::value_type在这就可以得到你想要的效果,这里利用了traits技术。当引数为int*时Ctype::value_type在这里的型别就是int。

  大家能看明白吗?希望对大家有帮助,不明白或有错误请来信,谢谢你们先!

 

            2001-11-28晚

 

 

 

 

 

 

 


来自 “ ITPUB博客 ” ,链接:http://blog.itpub.net/10752043/viewspace-990551/,如需转载,请注明出处,否则将追究法律责任。

请登录后发表评论 登录
全部评论
  • 博文量
    6241
  • 访问量
    2449883