typename的作用

一、与class的区别

template声明式中，class和typename这两个关键字意义完全相同

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

二、什么时候要用typename？比如下面的代码

template <typename C> 
void print2nd(const C& container) 
{ 
    if (container.size() >= 2) 
    { 
        C::const_iterator iter(container.begin()); 
        ++iter; 
        int value = *iter; 
        std::cout << value; 
    } 
}

关键的地方在于C::const_iterator这个到底是什么？是类中的一个静态成员变量还是类中的嵌套从属名称？这取决于模板的参数C

这里的iterator就是嵌套从属名称
template <class T> 
 class test 
 { 
 vector <T> xx; 
 typename vector <T> ::iterator Iterator ; <=====这里必须加typename 
 }; 
在这里因为在编译期无法知道T是什么，也就无法确定iterator是否为某种类型，为了告诉编译器它是一种类型，必须在前面添加typename 

三、嵌套从属名称可能导致解析的困难

template <typename C> 
void print2nd(const C& container) 
{ 
    C::const_iterator* x; 
}

这里有可能让编译误导是参数C中的某个静态成员变量与变量x作相乘，所以这里必须在前面添加typename

 

四、不该使用typename的地方

1、typename只用来验明嵌套从属类型名称；其他名称不该有它存在。

template <typename C> 
void f(const C& container, //不允许使用typename 
       typename C::iterator iter);//一定要使用typename
 

2、“typename必须作为嵌套从属类型名称的前缀词”这一规则的例外是，typename不可以出现在base classes list内的嵌套从属类型名称之前，也不可在member initialization list（成员初始化列表）中作为base class修饰符。

template <typename T> 
class Derived: public Base<T>::Nested{//base class list中不允许“typename” 
public: 
    explicit Derived(int x) 
        :Base<T>::Nested(x)//mem.init.list中不允许“typename” 
    { 
       typename Base<T>::Nested temp;//嵌套从属类型既不在base class list中也不在mem.init.list中， 
    }                                                         //作为一个base class修饰符需加上typename 
};

 

五、typename的使用例子

让我们看一个typename例子：一个function template，他接受一个迭代器，而我们打算为该迭代器指涉的对象做一份复件temp：

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

也可以这么写，可以少打几个typedef typename std::iterator_traits<IterT>::value_type

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