关于模板中typename的用法

 

为什么中间有个typename?

 

为了分析模板定义,编译器必须能够区分出是类型以及不是类型的表达式.

对于编译器来说它并不总是能够区分出模板定义中的哪些表达式是类型.

例如:

如果编译器在模板定义中遇到表达式Parm::name 且Parm 这个模板类型参数代表了一个类那么name 引用的是
Parm 的一个类型成员吗?
template <class Parm, class U>
Parm minus( Parm* array, U value )
{
Parm::name * p; // 这是一个指针声明还是乘法乘法
}
编译器不知道name 是否为一个类型,因为它只有在模板被实例化之后才能找到Parm 表
示的类的定义.

为了让编译器能够分析模板定义,用户必须指示编译器哪些表达式是类型.

表达式告诉编译器一个表达式是类型表达式的机制是在表达式前加上关键字typename.

 例如:

如果我们想让函数模板minus()的表达式Parm::name 是个类型名因而使整个表达式是一个
指针声明我们应如下修改
template <class Parm, class U>
Parm minus( Parm* array, U value )
{
typename Parm::name * p; // ok: 指针声明
}
关键字typename 也可以被用在模板参数表中以指示一个模板参数是一个类型