typename和typedef关键字

typename指示一个类型名，而非定义一个类型，以下声明了一个Seq::iterator类型的变量itr，其中Seq是一个模板实例化时才知道的类：

typename Seq::iterator itr;

如果没有typename指示，Seq::iterator会被认为是Seq的静态变量，而不是类型名。

typename关键字不会定义一个类型，如果你想定义一个新类型的话，你必须这样：

typedef typename Seq::iterator ITR;

1、类型说明typedef

类型说明的格式为:
typedef 类型 定义名;
类型说明只定义了一个数据类型的新名字而不是定义一种新的数据类型。定义名表示这个类型的新名字。
例如: 用下面语句定义整型数的新名字:
typedef int SIGNED_INT;
使用说明后, SIGNED_INT就成为int的同义词了, 此时可以用SIGNED_INT 定
义整型变量。
例如: SIGNED_INT i, j;(与int i, j等效)。
但 long SIGNED_INT i, j; 是非法的。
typedef同样可用来说明结构、联合以及枚举和类。
说明一个结构的格式为:
typedef struct{
数据类型 成员名;
数据类型 成员名;
...
} 结构名;
此时可直接用结构名定义结构变量了。例如:
typedef struct{
char name[8];
int class;
char subclass[6];
float math, phys, chem, engl, biol;
} student;
student Liuqi;
则Liuqi被定义为结构数组和结构指针。
2、类型解释Typename

Typename关键字告诉了编译器把一个特殊的名字解释成一个类型，在下列情况下必须对一个name使用typename关键字：

1． 一个唯一的name（可以作为类型理解），它嵌套在另一个类型中的。

2． 依赖于一个模板参数，就是说：模板参数在某种程度上包含这个name。当模板参数使编译器在指认一个类型时产生了误解。

保险期间，你应该在所有编译器可能错把一个type当成一个变量的地方使用typename。就像上面那个例子中的T::id，因为我们使用了typename，所以编译器就知道了它是一个类型，可以用来声明并创建实例。

给你一个简明的使用指南：如果你的类型在模板参数中是有限制的，那你就必须使用typename.

#include <iostream>
#include <typeinfo> // for typeid() operator

using namespace std;

template <typename TP>
struct COne { // default member is public
typedef TP one_value_type;
};

template <typename COne> // 用一个模板类作为模板参数, 这是很常见的
struct CTwo {
// 请注意以下两行
// typedef COne:one_value_type two_value_type; // *1
typedef typename COne:one_value_type two_value_type; // *2
};

// 以上两个模板类只是定义了两个内部的public类型, 但请注意第二个类CTwo的two_value_type类型
// 依赖COne的one_value_type, 而后者又取决于COne模板类实例化时传入的参数类型.

int main()
{
typedef COne<int> OneInt_type;
typedef CTwo< OneInt_type > TwoInt_type;
TwoInt_type::two_value_type i;
int j;
if ( typeid(i) == typeid(j) ) // 如果i是int型变量
cout << "Right!" << endl; // 打印Right
return;
}
以上例子在Linux下用G++ 2.93编译通过, 结果打印"Right". 但是如果把*1行的注释号去掉, 注释
*2行, 则编译时报错, 编译器不知道COne:one_value_type为何物. 通常在模板类参数中的类型到
实例化之后才会显露真身, 但这个CTwo类偏偏又要依赖一个已经存在的COne模板类, 希望能够预先
保证CTwo::two_value_type与COne:one_value属于同一类型, 这是就只好请typename出山, 告诉
编译器, 后面的COne:one_value_type是一个已经存在于某处的类型的名字(type name), 这样编译
器就可以顺利的工作了.