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

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

 templame<typename T>
 ......
 template<class T>
 ......

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

 template<typename C>
 void print2nd(const C containter)
 {
     if(containter.size() >= ){
         C::const_iterator iter(containter.begin());
         ++iter;
         int value = *iter;
         cot << value;
     }
 }

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

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

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

 template<typename C>
 void f(const C & container, //注意，这里的C前面即不允许加上typename
     typename C::iterator iter);

还有两种其他的不允许使用typename的特殊情况是：typename不可以出现在base class list内的嵌套从属类型名称之前，也不能在成员初始化列表中修饰base class

 

 

STL中经常也会用到了typename：

 template<typename T>
 void workWithIterator(Iter iter)
 {
     typename std::iterrator_traits<Iter>::value_type tmp(*iter);
 }

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

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

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