Chinaunix首页 | 论坛 | 博客
  • 博客访问: 2118982
  • 博文数量: 249
  • 博客积分: 1305
  • 博客等级: 军士长
  • 技术积分: 4733
  • 用 户 组: 普通用户
  • 注册时间: 2011-12-17 10:37
个人简介

不懂的东西还有很多,随着不断的学习,不懂的东西更多,无法消灭更多不懂的东西,那就不断的充实自己吧。 欢迎关注微信公众号:菜鸟的机器学习

文章分类

全部博文(249)

文章存档

2015年(1)

2014年(4)

2013年(208)

2012年(35)

2011年(1)

分类: C/C++

2013-08-29 10:11:45


    提一个问题:以下template声明中,class和typename有什么不同?

  1. template<class T> class Widget;    //使用"class"
  2. template<typename T> class Widget; //使用"typename"

    答案:没有不同。当我们声明template类型参数,class和typename的意义完全相同。在C++的角度来看,声明template参数时,不论使用关键字class或typename,意义完全相同。
    然而,C++并不总是把class和typename视为等价。有时候你一定得使用typename。为了解其时机,我们必须先谈谈你可以在template内指涉(refer to)的两种名称。
    
    假设我们有两个template function,接受一个STL兼容器为参数,容器内持有的对象可被赋予ints。进一步假设这个函数仅仅只是打印其第二个元素值。这是一个无聊的函数,它甚至都不能编译通过。下面是一种实现方式:

  1. //打印容器的第二个元素
  2. //注意这不是有效的C++代码
  3. template<typename C> void print2nd(const C &container)
  4. {
  5.     if(container.size() >= 2)
  6.     {
  7.         //取得第一个元素的迭代器
  8.         C::const_iterator iter(container.begin());
  9.         //
  10.         ++iter;
  11.         int value = *iter;
  12.         cout << value;
  13.     }
  14. }

    iter的类型C::const_iterator,实际是什么必须取决于template参数C。
    template内出现的名称如果相依于某个template参数,称之为从属名称
    如果从属名称在class内呈嵌套状,我们称它为嵌套从属名称
    C::const_interator就是这样一个名称。实际上它还是个嵌套从属类型名称,也就是个嵌套从属名称并且指涉某类型。
    对于上述函数内的另一个变量value,其类型是int。int并不依赖任何template参数的名称。这样的名称是非从属名称

    嵌套从属名称有可能导致解析困难。举个例子,假设我们令print2nd更愚蠢些,这样起头:

  1. template<typename C> void print2nd(const C &container)
  2. {
  3.     C::const_iterator *x;
  4.     ...
  5. }

    看起来好像我们声明x为一个local变量,它是个指针,指向一个C::const_iterator。但它之所以被那么认为,只因为我们”已经“知道C::const_iterator是个类型。
    如果C::const_iterator不是个类型呢?如果C有个static变量而碰巧被命名为const_iterator,或如果x碰巧是个global编码名称呢?这样的话,上述代码就不再是声明一个local变量,而是一个相乘动作:C::const_iterator乘以x。这是完全有可能的。
    
    在我们知道C是什么类型之前,没有任何办法可知道C::const_iterator是否为一个类型。而当编译器开始解析template print2nd时,尚未确知C是什么东西。
    C++有个规则可以解析此歧义状态:如果解析器在template中遭遇了一个嵌套从属名称,它便假设这名称不是个类型,除非是你告诉它。 所以缺省状态下,嵌套从属名称不是类型。
    
    我们再来看看print2nd起始处:
  1. //打印容器的第二个元素
  2. //注意这不是有效的C++代码
  3. template<typename C> void print2nd(const C &container)
  4. {
  5.     if(container.size() >= 2)
  6.     {
  7.         //取得第一个元素的迭代器
  8.         C::const_iterator iter(container.begin());  //这个名称被假设为非类型
  9.         ....
  10.     }
  11. }
    现在应该清楚为什么这不是有效代码了吧。
    我们必须告诉C++说:C::const_iterator是个类型。只要紧临它之前放置关键字typename即可。

  1. //注意这是有效的C++代码
  2. template<typename C> void print2nd(const C &container)
  3. {
  4.     if(container.size() >= 2)
  5.     {
  6.         //
  7.         typename C::const_iterator iter(container.begin());
  8.         ....
  9.     }
  10. }

    一般性规则很简单:任何时候你想要在template中指涉一个嵌套从属类型名称,就必须在紧临它的前一个位置放上关键字typename。
    typename只被用来验明嵌套从属类型名称;其他名称不该有它存在。

    “typename必须作为嵌套从属类型名称的前缀词”,这个规则的例外是,template不可以出现在base class list内的嵌套从属类型名称之前,也不可在member initialization(初始化列表)中作为base class修饰符。例如:

  1. template <typename T> class Derived: public Base<T>::Nested //base class list中不允许"typename"
  2. {
  3.     public:
  4.         explicit Derived(int x):Base<T>::Nested(x)              //成员初始化列表中,不允许"typename"
  5.         {
  6.             typename Base<T>::Nested temp;                     //嵌套从属类型名称
  7.                                                                //它不在base class list也不在成员初始化列表中
  8.         }
  9. };

    
    作为结语,应该提到:typename相关规则在不同的编译器上有不同的实践。某些编译器接受的代码原本该有typename却遗漏了;原本不该有typename却出现了;还有少数编译器(较旧版本)根本就拒绝typename。这造成了移植性的头疼。
    记住:
    (1)声明template参数时,前缀关键字class和typename可互换;
    (2)请使用关键字typename标识嵌套从属类型名称;但不得在base class list(基类表)或member initialization list(成员初始化列表)内以它作为base class修饰符;



    引自:《Effective C++》


阅读(1957) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~