typedef和typedef typename

原文地址： http://blog.chinaunix.net/uid-20437338-id-1946555.html

 

typedef:是用于定义类型用的  
1,为了简化，清晰。比如，
vector <list <int   *> *>   temp(10);
可以简化为
  typedef   list <int   *>   listnum;
  typedef   vector <listnum   *>   vectornum;
  vectornum   temp(10);
2，定义指向成员的指针。
class   A{
      virtual   sup()   =   0;
}
typedef   void   (A::*   pt)();
void   f(A   *a)
{
    pt   ptemp   =   &A::sup;
}
typename:
template的含义有两个：
1）typename   var_name;表示var_name的定义还没有给出，这个语句通常出现在模版的定义内,例如：
template   <class   T>
void   f()   {
    typedef   typename   T::A   TA;           //   声明   TA   的类型为   T::A
    TA   a5;                                             //   声明   a5   的类型为   TA
    typename   T::A   a6;                           //   声明   a6   的类型为   T::A
    TA   *   pta6;                                           //   声明   pta6   的类型为   TA   的指针
}

因为T是一个模版实例化时才知道的类型，所以编译器更对T::A不知所云，为了通知
编译器T::A是一个合法的类型，使用typename语句可以避免编译器报错， zzc：也可以看作为了区分A不是T的静态成员的，而是一个类型，因为T的静态成员也可写成T::A。
2）template   <   typename   var_name     >   class   class_name;   表示var_name是一个类型，
在模版实例化时可以替换任意类型，不仅包括内置类型（int等），也包括自定义类型class。
这就是问题中的形式，换句话说，在template <typename   Y> 和template <class   Y> 中，
typename和class的意义完全一样。