"typename
"是一个C++程序设计语言中的关键字。当用于泛型编程(模板编程)时是另一术语"class
"的同义词。[这个关键字用于指出模板声明(或定义)中的非独立名称(dependent names)是类型名,而非变量名。以下是对于泛型编程中typename
两种迥然不同的用法的解释。
1:class
关键字的同义词,用在模板定义里,标明其后的模板参数是类型参数。
这是一项C++的泛型编程的功能,typename
关键字用于引入一个模板参数,例如:
// 定义一个返回参数中较大者的通用函数
template <typename T>
const T& max(const T& x, const T& y)
{
if (y < x) {
return x;
}
return y;
}
这种情况下,typename
可用另一个等效的关键字class
代替,并且两者功能完全相同。
注意:这里的class和定义类时的class完全是两回事。
2:类型名指示符
下面的代码有问题吗?
template <typename T>
void foo(const T& t)
{
// 声明一个指向某个类型为T::bar的对象的指针
T::bar * p;
}
struct StructWithBarAsType {
typedef int bar;
};
int main() {
StructWithBarAsType x;
foo(x);
}
这段代码看似成功,其实编译无法通过。
因为编译器并不知道T::bar
究竟是一个类型的名字还是一个某个变量的名字。究其根本,造成这种歧义的原因在于,编译器不明白T::bar
到底是不是依赖于模板参数的类型名还是一个变量。注意,任何含有名为“bar
”的项的类T,都可以被当作模板参数传入foo()
函数,包括typedef
类型、枚举类型或者变量等。
为了消除歧义,C++语言标准规定:
A name used in a template declaration or definition and that is dependent on a template-parameter is assumed not to name a type unless the applicable name lookup finds a type name or the name is qualified by the keyword typename.
如果还有另一个名为StructWithBarAsValue
类型,如下:
struct StructWithBarAsValue {
int bar;
};
那么编译器将以不同的方式来解释 T::bar * p
解决问题的最终办法,就是显式地告诉编译器,T::bar
是一个类型名。为了和变量区分开来,必须使用typename关键字告诉编译器,例如:
template <typename T>
void foo(const T& t)
{
// 声明一个指向某个类型为T::bar的对象的指针
typename T::bar * p;
}
这样,编译器就确定了T::bar
是一个类型名,p也就自然地被解释为指向T::bar
类型的对象的指针了。