Effective C++ Item 42 了解 typename 的双重意义

本文为senlie原创，转载请保留此地址：http://blog.csdn.net/zhengsenlie

经验：声明 template 参数时，前缀关键字 class 和 typename 可互换。请使用关键字 typename 标识嵌套从属类型名称；

示例1：
template<typename C>
void print2nd(const C &container){
C::const_iterator *x;//歧义。如果const_iterator是个static成员变量，x是个global 变量，这里的 *就是乘
//...
}

示例2：

template<typename C>
void print2nd(const C &container){
if(container.size() >= 2){
C::const_iterator iter(container.begin());//这个名称被假设为非类型
}
}

解析：如果解析器在template中遭遇一个嵌套从属名称，它便假设这名称不是个类型。所以上面的示例不是有效C++代码

纠正：使用关键字 typename 标识嵌套从属类型名称

template<typename C>
void print2nd(const C &container){
if(container.size() >= 2){
typename C::const_iterator iter(container.begin());
}
}

经验：不得在 base class list 或 member initialization list(成员初值列)内以 typename 作为 base class 修饰符

示例：

template<typename T>
class Derived: public Base<T>::Nested{ //其实我觉得，用 typename 是为了让编译器知道嵌套从属类型名称是类型，而这里能用来继承的当然只能是类型了，所以就不用 typename 了
public:
explicit Derived(int x): Base<T>::Nested(x) // mem.init.list中不允许"typename"
{
typename Base<T>::Nested temp; //这里需要 typename
}
};