本文为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 } };