typedef是用于定义类型用的:
-
为了简化,清晰。比如,
vector<list<int *>*> temp(10);
可以简化成:
typedef list<int *> listnum; typedef vector<listnum *> vectornum; vectornum temp(10);
-
定义指向成员的指针:
class A { public: virtual void sup() = 0; }; typedef void (A::* pt)(); void f(A *a) { pt ptemp = &A::sup; }
typedef typename
-
template < typename var_name > class class_name; 表示var_name是一个类型,在模版实例化时可以替换任意类型,不仅包括内置类型(int等),也包括自定义类型class。这就是问题中的形式,换句话说,在template和template中,typename和class的意义完全一样。
-
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语句可以避免编译器报错。