c++中关于模板的typename和class的区别

       模板最初的目的只是为了对类类型进行泛型操作的定义，因此用class关键字声明泛型类型。在之后的进化过程中发现了模板相互调用时产生的::操作符有二义性，即编译器不能判定::后的标示符是类的类型成员，还是类的数据成员，默认情况下，编译器假定这样的标示符指定的是数据成员，而不是类型。因此引入typename关键字用于告诉编译器将::符号后的标示符看作是类型，而且必须显式告诉。

template<class T, int N>class Test{public:typedef T ElemType;enum{ LEN = N };ElemType array[LEN];};/************************************如果要在函数模板内部使用在类中定义的类型成员(ElemType)，必须在该成员名前加上typename关键字，以告知编译器将该成员当做类型************************************/template<class T>void test_copy( T& test,  typename T::ElemType a[], int len ){int l = (len <  T::LEN) ? len :  T::LEN;for(int i=0; i<l; i++){test.array[i] = a[i];}}int main( ){Test<int, 5> t1;Test<float, 3>t2;int ai[] = {5, 4, 3, 2, 1, 0};float af[] = {0.1, 0.2, 0.3};test_copy(t1, ai, 6);test_copy(t2, af, 3);for(int i=0; i<t1.LEN; i++){cout<<t1.array[i]<<endl;}for(int i=0; i<t2.LEN; i++){cout<<t2.array[i]<<endl;}cout<<"Press the enter key to continue........";cin.get();return 0;}

 

       因此如果拿不准是否需要以typename指明一个名字是一个类型，那么显式指定它是个好主意。在类型之前指定typename没有害处，因此，即使typename是不必要的，也没有关系。