了解typename的双重意义
作为类模板而言class和typename是一样的。
template <class T> class A { }; template <typename T> class A { };
template <typename C> class A { ... private: C::const_iterator* x; };
这段代码看起来没啥问题。因为我们已经知道它是个类型,但是实际编译器不知道,如果C有个static成员变量而碰巧被命名为const_iterator、或者x碰巧是个全局变量名称呢?
如何解决?
C++针对这种嵌套从属名称,为了表示它是个类型,只需要在它前面加上typename即可。
但是对于非嵌套从属名称,不需要加上。
typename C::const_iterator* x; // 合理 typename C x; // 不合理
但是有个例外:
typename不可以出现在base classes list内的嵌套从属类型名称之前,也不可以在初始化列表中作为base class修饰符。