首页 > 代码库 > Effective C++ Item 42 了解 typename 的双重意义

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
	}
};