为什么中间有个typename?
为了分析模板定义,编译器必须能够区分出是类型以及不是类型的表达式.
对于编译器
来说它并不总是能够区分出模板定义中的哪些表达式是类型.
例如:
如果编译器在模板定
义中遇到表达式
Parm::name
且
Parm
这个模板类型参数代表了一个类那么
name
引用的是
Parm 的一个类型成员吗?
template <class Parm, class U>
Parm minus( Parm* array, U value )
{
Parm::name * p; // 这是一个指针声明还是乘法乘法
}
编译器不知道 name 是否为一个类型,因为它只有在模板被实例化之后才能找到 Parm 表
示的类的定义.
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 也可以被用在模板参数表中以指示一个模板参数是一个类型
指针声明我们应如下修改
template <class Parm, class U>
Parm minus( Parm* array, U value )
{
typename Parm::name * p; // ok: 指针声明
}
关键字 typename 也可以被用在模板参数表中以指示一个模板参数是一个类型