分享
 
 
 

STL知识准备: 1. C++关键字typename

王朝vc·作者佚名  2006-01-08
窄屏简体版  字體: |||超大  

/*******************************************************************************

* SGI*STL是STL之父Alexander Stepanov和STL巨匠Matt Austern等人的作品, 是当今 *

* 最富盛名、最出色的STL实现版本,全部源代码和说明文档可从www.sgi.com/STL/下 *

* 载, 是我们学习STL的最佳范本. 但是众所周知, STL使用了大量复杂艰深的C++特性, *

* 加上STL本身的复杂和庞大, 使得阅读代码本身就成为一件非常困难的工作. 以下文 *

* 字是我在学习STL过程中得到的一些经验和猜测, 希望能对大家有所帮助, 更希望能 *

* 得到大家的批评和指正, 以利于我们的共同提高. *

* myan *

*******************************************************************************/

在SGI*STL源代码里, typename这个新的C++关键字得使用可以说是随处可见. 很多以前学习过

C++的人可能还不认识typename, 其实它的常规用法很简单: 在声明模板函数或者模板类时,

传统的写法:

template <class T>

generic_function() {

//........

}

亦可以写成

template <typename T>

------------

generic_func() {

//...............

}

引入这个关键字主要是为了避免class可能给人带来的混淆.

本来typename的用法就是这么简单, 但是STL源代码中还有typename的一种不常见的用法, 如果

不了解, 阅读源代码时就会遇到困难. 因为目前我找不到有关这个问题的说明, 所以自己试验了

一下, 得到一个猜测, 现简介如下, 请有识之士斧正.

首先看一段SGI*STL源代码, 摘自stl_iterator.h

1: template <class _Container, class _Iterator>

2: inline insert_iterator<_Container> inserter(_Container& __x, _Iterator __i)

3: {

4: typedef typename _Container::iterator __iter;

5: return insert_iterator<_Container>(__x, __iter(__i));

6: }

令人费解的部分在第四行. 请大家在看我的解释之前先想一想, 我不敢保证下面解释的正确性和

全面性.

解释:

我认为typename的语义是: 通知编译器, 在typename后面被声明的东西是一个类型, 而不是别的

什么东西.

例子:

// tpname.cpp

#include <iostream>

#include <typeinfo> // for typeid() operator

using namespace std;

template <typename TP>

struct COne { // default member is public

typedef TP one_value_type;

};

template <typename COne> // 用一个模板类作为模板参数, 这是很常见的

struct CTwo {

// 请注意以下两行

// typedef COne::one_value_type two_value_type; // *1

typedef typename COne::one_value_type two_value_type; // *2

};

// 以上两个模板类只是定义了两个内部的public类型, 但请注意第二个类CTwo的two_value_type类型

// 依赖COne的one_value_type, 而后者又取决于COne模板类实例化时传入的参数类型.

int main()

{

typedef COne<int> OneInt_type;

typedef CTwo< OneInt_type > TwoInt_type;

TwoInt_type::two_value_type i;

int j;

if ( typeid(i) == typeid(j) ) // 如果i是int型变量

cout << "Right!" << endl; // 打印Right

return;

}

// ~tpname.cpp

以上例子在Linux下用G++ 2.91编译通过, 结果打印"Right". 但是如果把*1行的注释号去掉, 注释

*2行, 则编译时报错, 编译器不知道COne::one_value_type为何物. 通常在模板类参数中的类型到

实例化之后才会显露真身, 但这个CTwo类偏偏又要依赖一个已经存在的COne模板类, 希望能够预先

保证CTwo::two_value_type与COne::one_value属于同一类型, 这是就只好请typename出山, 告诉

编译器, 后面的COne::one_value_type是一个已经存在于某处的类型的名字(type name), 这样编译

器就可以顺利的工作了.

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
2023年上半年GDP全球前十五强
 百态   2023-10-24
美众议院议长启动对拜登的弹劾调查
 百态   2023-09-13
上海、济南、武汉等多地出现不明坠落物
 探索   2023-09-06
印度或要将国名改为“巴拉特”
 百态   2023-09-06
男子为女友送行,买票不登机被捕
 百态   2023-08-20
手机地震预警功能怎么开?
 干货   2023-08-06
女子4年卖2套房花700多万做美容:不但没变美脸,面部还出现变形
 百态   2023-08-04
住户一楼被水淹 还冲来8头猪
 百态   2023-07-31
女子体内爬出大量瓜子状活虫
 百态   2023-07-25
地球连续35年收到神秘规律性信号,网友:不要回答!
 探索   2023-07-21
全球镓价格本周大涨27%
 探索   2023-07-09
钱都流向了那些不缺钱的人,苦都留给了能吃苦的人
 探索   2023-07-02
倩女手游刀客魅者强控制(强混乱强眩晕强睡眠)和对应控制抗性的关系
 百态   2020-08-20
美国5月9日最新疫情:美国确诊人数突破131万
 百态   2020-05-09
荷兰政府宣布将集体辞职
 干货   2020-04-30
倩女幽魂手游师徒任务情义春秋猜成语答案逍遥观:鹏程万里
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案神机营:射石饮羽
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案昆仑山:拔刀相助
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案天工阁:鬼斧神工
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案丝路古道:单枪匹马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:与虎谋皮
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:李代桃僵
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案镇郊荒野:指鹿为马
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:小鸟依人
 干货   2019-11-12
倩女幽魂手游师徒任务情义春秋猜成语答案金陵:千金买邻
 干货   2019-11-12
 
推荐阅读
 
 
 
>>返回首頁<<
 
靜靜地坐在廢墟上,四周的荒凉一望無際,忽然覺得,淒涼也很美
© 2005- 王朝網路 版權所有