《Effective C++》条款42

了解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修饰符。