条款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了，避免过长的声明式。

转载于:https://www.cnblogs.com/-wang-cheng/p/4889810.html