了解 C++ 之 typename

时间:2014-05-04 00:19:35   收藏:0   阅读:330

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则用在嵌套从属类型定义时,除了在成员初值列以及基类列表中。



了解 C++ 之 typename,布布扣,bubuko.com

评论(0
© 2014 mamicode.com 版权所有 京ICP备13008772号-2  联系我们:gaon5@hotmail.com
迷上了代码!