c++模板编程-typename与class关键字的区别

最近一直在研究c++模板编程,虽然有些困难,但希望能够坚持下去.今天,在书上看见一个讨论模板编程typename与class两个关键字的区别,觉得挺有意义的，就把它们给总结一下.

先看一个例子:

template<typename C>
typename C::value_type sum(C &c){
         typedef typename C::value_type value_type;
         typedef typename C::iterator iterator;

         value_type sum();
         for(iterator i=c.begin();i!=c.end();i++){
                     sum+=*i;
         }
        return sum;
}

可以观察到C::value_type之前用关键字typename修饰.这是必须的,因为N是一个模板参数,编译器仅知其为一个类型,对于嵌套其内的标识符,编译器无从判断其意义.C::value_type可能是类型N的一个静态成员变量名、一个成员函数名,或者是一个嵌套定义的枚举值名.在无从推断嵌套标识符的意义时,编译器首先假定该标识符不是类型名,再根据上下文判断.所以当嵌套标识符确为类型名时,须在其前加typename修饰以免编译器出错。这也就是typename除在声明模板参数时等价于class外的独特之处.