首页 > 代码库 > 了解 C++ 之 typename
了解 C++ 之 typename
typename与class都可以用作模板形参定义的关键字,两者无异~~
可是,typename的用途并非仅限于此,如下面的代码:
在上述代码中,iter的类型是C::const_iterator,实际的类型取决于C的类型。const_iterator 同时也是C内部的typedef 类型名。 但是,在此处,编译器的行为不会是你预期的。
为了说明这个问题,定义两个概念,一个是从属名称,一个是非从属名称。
在上述代码中,iter 是依赖于模板参数C的,因此被称为从属名称;
同理,value是内置类型,不依赖于任何模板参数,因此被称为 非从属名称。
C++编译器在面对从属名称时,如果此时该从属名称又嵌套了其他类型,如此处的 iter就是C::const_iterator类型,
这里的C::const_iterator 称为嵌套从属类型(嵌套于C类型,从属于模板参数C)。编译器在看到这样的代码
时,难免会晕头转向,因为它不知道const_iterator 是C内部定义的类型,还是C内部的成员变量。因此,编译器一致
约定说,对于这样的不负责任的输入,编译器一致将其认为 “这不是个类型”!!显然这就需要在代码中明确地告诉
它,这是个类型,就这样只需要 在 C::const_iterator 前面加上关键字 typename 即可。
这就是必须用到typename的地方。告诉编译器,明确代码的含义,如果觉得很难记住,记住下面这一个例子就可以了:
template <class T> //可以是class或者是typename,定义模板
void f( const C & container , typename C::iterator iter); // 第一个参数不需要typename,因为它并没有设计嵌套从属类型,它只是个从属类型(因为与C相关), 后面的typename是必须的。
但是,这里似乎有一些恼人的情况,前面提到说,在嵌套从属类型之前,你需要明确的告诉编译器,你需要的是个类型,可是有些
时候,又不能这么做。
比如下面的情况:
1 在类定义的基类列表中出现的嵌套从属类型之前,不能写typename。
2 在成员初值列表中,不能使用typename。
例如下面的例子:
总之:
在template声明时,class与typename是等价的。
typename则用在嵌套从属类型定义时,除了在成员初值列以及基类列表中。