C++模板中的typename的两种用法

在模板参数中，typename与class的使用是一样，如：

template<typename T>
class A{};

template<class T>
class A{};

上面两段代码含义是一样的。

typename的第二个作用是用来指定相应名称为类型。

当模板中出现typedef，而typedef的内容还依赖于模板参数时，必须要指定——T::bs是一个类型（而不是一个变量）——如下代码编译器会报错：

template<typename T>
class Temp
{
public:
/*此处将报错，因为编译器不确定T：：bs是一个类型还是一个成员变量，
而typedef只能作用于类型。*/
typedef T::bs _bs;
};

于是要在T::bs前面加上typename关键字：

template<typename T>
class Temp
{
public:
typedef typename T::bs _bs;
};

题外：

上述的所谓“依赖于模板参数”，是由于C++模板标准规定了“Two-Phase Name Lookup”，即模板中有两种类型的名称（Name），一种是 “非依赖性名称（Non-dependent names）”，即在模板定义时就能确定的名称；另一种是“依赖性名称（Dependent names）”，即要等到模板实例化时才能确定的名称。如下例：

class A
{
class B
{
};
};

template<typename T>
class Temp
{
public:
/*A：：B是已经确定的名称，不依赖于模板参数T*/
typedef A::B A_B;

/*由于模板定义时不知道T：：bs是T的成员类型还是成员变量，
其依赖于模板Temp实例化时传入的参数T，所以是依赖性名称，
编译器会强制要求在前面加上typename。*/
typedef typename T::bs T_bs;
};

题外参考：wuye9036/CppTemplateTutorial（第二章）