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); ... }