Item 42 typename的使用

template<class T> class Widget;
template<typename T> class Widget;

这两种声明区别不大。但在一些场合，必须使用typename。

template<typename C>                   // typename/class都行
void f(const C& container,             // 直接用C就好
       typename C::iterator iter);     // 必须加typename在C前面

iterator是定义在C内部的类型。这样的类型有个名字：nested dependent name。
int和float不依赖任何类型而存在，它们的名字：non-dependent name。

C++在涉及模板中的nested dependent name时，有这么三条规定：

template<typename T>
class Derived: public Base<T>::Nested { // 基类列表不能用typename修饰
public:
	explicit Derived(int x)
	: Base<T>::Nested(x)                // 成员初始化列表不能用typename修饰
	{
		typename Base<T>::Nested temp;  // 除了上面两种情况，都要用typename修饰
		...
	}
};

还有一种typename的常见用法：

template<typename IterT>
void workWithIterator(IterT iter)
{
	typedef typename std::iterator_traits<IterT>::value_type value_type;
	value_type temp(*iter);
	...
}