1,在模板形参表中
在函数模板形参表中,typename与class可以互换,有相同的含义。甚至同一个模板中,可以既用class,又用typename。
2,模板定义内部指定类型时
一个类型,有事会定义从属类型,比如string类的size_type。
假设一个模板,其形参类型为Parm,模板的定义中要用到Parm的从属类型size_type,如果直接写:
Parm::size_type *p;
编译器如何知道size_type是从属类型还是更常见的数据成员呢?尤其是,这是在模板中,Parm的真正类型其实是未知的时候。
解决的方法就是在前面加上typename:
typename Parm::size_type *p;
此处的typename不能替换成class。
完整例子是:
template <class Parm, class U>
Parm fcn(Parm* array, U value)
{
Parm::size_type *p;
}