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的意义完全一样。