Item 42: 了解typename的双重意义

在C++中，声明template参数时，不论使用关键字class或typename，意义完全相同。

但是在某些情况下，你必须使用typename:template内出现的名称如果相依于某个template参数，称之为从属名称（dependent names），如果从属名称在class内呈嵌套关，则称之为嵌套从属名称（nested dependent name）。如果解析器在template中遭遇一个嵌套从属名称，它便假设这名称不是个类型，除非你明确告诉它是，做法是在它之前放置关键字typename。typename只能被用来验明嵌套从属类型名称，其他名称不该有它存在。同时，typename不可以出现在base class list内的鞋套从属类型名称之前，也不可在member initialization list中作为base class修饰符。下面是一个例子:

template<typename C>
void print2nd( const C& container ){
if( container.size() >= 2 ){
//C::const_iterator即为一个嵌套从属名称，
//编译器默认假设它不是个类型
//因此这段代码不合法
C::const_iterator iter(container.begin());
++iter;
int value = *iter;
std::cout<<value;
}
}
//修改一下：
template<typename C>
void print2nd( const C& container ){
if( container.size() >= 2 ){
//在C::const_iterator前放置关键字typename
//明确说明该嵌套从属名称是一种类型。
typename C::const_iterator iter(container.begin());
...
}
}
//typename不能出现在base class list或member initialization list中
template<typename T>
class Derived: public Base<T>::Nested{
public:
explicit Derived( int x ):
Base<T>::Nested(x){
typename Base<T>:Nested temp;
...
}
};
//如果编译器不知道Base<T>::nested是什么，可以在前面先用typedef
typedef typename Base<T>::Nested Nested;

//然后凡需要Base<T>::Nested的地方则使用Nested。