Programming 版 (精华区)

发信人: zhangyan (我跟模电拼了……), 信区: Programming
标  题: STL知识准备：1 typename关键字
发信站: 哈工大紫丁香 (2001年06月01日21:46:33 星期五), 站内信件

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

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

  

人气值: 
1022 文档分类:
Visual C++ 贴文时间
2001-1-12 22:22:22 得票数: 
94 给贴子投票 
投票 

  作者:myan
 出处:  

  



/***********************************************************************
********
 *  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), 这样编译
器就可以顺利的工作了.




对该文的评论 

     huoxingang (2001-1-17 14:03:38)  


to myan:
我有标准C++的说明文档，不过是e文的，如果要可以发给你一份，html格式，不大
，未压缩的3兆左右，忘了从哪里当的了，呵呵.

     myan (2001-1-15 18:33:20)  


呜呼呀， 感谢fengye!!!

     eric000 (2001-1-15 17:21:21)  


建议楼上诸位看看ISO14882

     Dev (2001-1-15 14:58:10)  


有学则明之功，余诚待 myan 诸兄的最新研究成果。

     fengye (2001-1-15 11:51:37)  


http://www.psyon.org/archive/e-books/programming/cpp/index.shtml

     myan (2001-1-14 18:55:37)  


谢谢bugn兄!
写了这篇文章之后， 我在Thinking in C++ 2E中读到了有关typename的
介绍， 基本上与我猜测的一致. 你指出的那个问题我没有在VC下试过.
之所以使用COne作为模板参数是因为在STL源代码中大量的模板参数
都是用使用过的名字， 我就模仿之. 至于VC中的问题， 我倒认为是MS
的编译器不符合标准导致的. 不过你的建议对于编写可移植的代码还是
十分重要的， 我欣然接受.

另: 那里有标准C++的说明?

     bugn (2001-1-14 2:05:47)  


另外要说明的是在做模板参数时class和typename没有区别的(参见C++标准里的说
明)。这里可见在微软的编译器里template标识符有全局的作用域。

template <class X>   // 用一个模板类作为模板参数， 这是很常见的
struct ctwo {
    typedef typename X::one_value_type  two_value_type; // *2  
};
与
template <typename X>   // 用一个模板类作为模板参数， 这是很常见的
struct ctwo {
    typedef typename X::one_value_type  two_value_type; // *2  
};
语法上完全等效

     bugn (2001-1-14 1:58:12)  


有问题:
template <typename cone>   // 用一个模板类作为模板参数， 这是很常见的
struct ctwo {
    // 请注意以下两行
    // typedef cone::one_value_type  two_value_type;   // *1
    typedef typename cone::one_value_type  two_value_type; // *2  
};

为了说明typename的用法，这里要改成
template <typename X>   // 用一个模板类作为模板参数， 这是很常见的
struct ctwo {
    // 请注意以下两行
    // typedef cone::one_value_type  two_value_type;   // *1
    typedef typename X::one_value_type  two_value_type; // *2  
};

因为cone已经是用过的id了，所以你的代码在MS的编译器下要报错的；而且你为了
说明typename的用法，也应该改过来。

在gcc中正常可能是因为编译器把在struct ctwo里面做模版参数的cone有了新的标
识符定义。


 


--
※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 天外飞仙]