条款42:了解typename的双重含义

typename在很多种情况下与class是完全相同的,例如下面的使用:

1 templame<typename T>
2 ......
3 template<class T>
4 ......

条款42:了解typename的双重含义

 1 template<typename C>
 2 void print2nd(const C containter)
 3 {
 4     if(containter.size() >= 2){
 5         C::const_iterator iter(containter.begin());
 6         ++iter;
 7         int value = *iter;
 8         cot << value;
 9     }
10 }

上面这个式子是无法通过编译的:这里的const_iterator实际上是个嵌套从属名称,编译器实际上并不知道这是个类型名称的。所以除非我们主动的告诉编译器这是个类型名,否则其就会报错:

1 typename C::const_iterator iter(container.begin());

那么也就是说:任何时候想要在template中指涉一个嵌套从属类型名称的话,那么就需要在起前面放上typename关键字。当然他typename仅仅可以用在这个方面,其他的非嵌套从属类型名称上用typename实际上是不允许的:

1 template<typename C>
2 void f(const C & container, //注意,这里的C前面即不允许加上typename
3     typename C::iterator iter);
还有两种其他的不允许使用typename的特殊情况是:typename不可以出现在base class list内的嵌套从属类型名称之前,也不能在成员初始化列表中修饰base class
 
 
STL中经常也会用到了typename:
1 template<typename T>
2 void workWithIterator(Iter iter)
3 {
4     typename std::iterrator_traits<Iter>::value_type tmp(*iter);
5 }

这里用iterator_traits机制将iterator的value_type强制的萃取出来了,中间很长的变量声明实际上可以作为一个typedef:

1 typedef typename std::iterrator_traits<Iter>::value_type value_type;

之后就可以肆无忌惮的使用value_type了,避免过长的声明式。

posted @ 2015-10-18 17:03  eversliver  阅读(318)  评论(0编辑  收藏  举报