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

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

经验：声明 template 參数时，前缀keyword class 和 typename 可互换。

请使用keyword 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++代码



纠正：使用keyword 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
	}
};