在模板参数中,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(第二章)