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