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

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

* 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后面被声明的东西是一个类型, 而不是别的