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