模版中使用typename的作用

模版中使用typename的作用

 

通过将关键字typename 加入到C++中使得我们可以对模板定义进行分析这个话题有
些过于高深我们只简要地解释为什么需要关键字typename 对于想了解更多内容的读者
建议阅读Stroustrup 的书Design and Evolution of C++
为了分析模板定义编译器必须能够区分出是类型以及不是类型的表达式对于编译器
来说它并不总是能够区分出模板定义中的哪些表达式是类型例如如果编译器在模板定
义中遇到表达式Parm::name 且Parm 这个模板类型参数代表了一个类那么name 引用的是
Parm 的一个类型成员吗
template
Parm minus( Parm* array, U value )
{
Parm::name * p; // 这是一个指针声明还是乘法乘法
}
编译器不知道name 是否为一个类型因为它只有在模板被实例化之后才能找到Parm 表
示的类的定义为了让编译器能够分析模板定义用户必须指示编译器哪些表达式是类型表
达式告诉编译器一个表达式是类型表达式的机制是在表达式前加上关键字typename 例如
如果我们想让函数模板minus()的表达式Parm::name 是个类型名因而使整个表达式是一个
指针声明我们应如下修改
template
Parm minus( Parm* array, U value )
{
typename Parm::name * p; // ok: 指针声明
}
关键字typename 也可以被用在模板参数表中以指示一个模板参数是一个类型
如同非模板函数一样函数模板也可以被声明为inline 或extern 应该把指示符放在模
板参数表后面而不是在关键字template 前面
// ok: 关键字跟在模板参数表之后
template
inline
Type min( Type, Type );
// 错误: inline 指示符放置的位置错误
inline
template
Type min( Array, int );