《Effective C++》42: 了解 typename 的双重意义

在 t下面 template 声明式中，class 和 typename 意义完全相同。

template <class T> class Widget;

template <typename T> class WIdget;

一般来说，在缺省状态下，C++解析器认为在 template 中的嵌套从属名称是个变量，而不是个类型。

如果要告诉解析器，T::const_iterator 是一个类型，只需要在它之前加一个关键字： typename即可。

如：

template <typename T>
void Func(const T& container)
{
	typename T::const_iterator iter;
        // ... ...
}

typename 不可以出现在 base classes list内的嵌套从属类型名称之前，

也不可以出现在member initialization list中作为base class修饰符。

例如：

template <typename T>
class Derived : public Base<T>::Nested // base classes list 不允许 “typename”.
{
public:
	explicit Derived(int x)
	: Base<T>::Nested(x) //不可以出现在member initialization list中作为base class修饰符
	{
		typename Base<T>::Nested temp;

		//... ...
	}

	//... ...
};