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

原创 2001年01月12日 22:22:00

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

版权声明:本文为博主原创文章,未经博主允许不得转载。

STL知识准备: C++关键字typename(转)

问题:在下面的 template declarations(模板声明)中 class 和 typename 有什么不同? template class Widget; // u...
  • bruce_kang
  • bruce_kang
  • 2011年07月20日 17:37
  • 154

C++中的typename关键字

在C++中typename除了用于在定义模板函数和模板类中来替代关键字class,例如template换成template意外,typename还可以用来做型别的定义。 注意:下面的代码是有问题的 ...
  • u010585135
  • u010585135
  • 2015年01月21日 10:56
  • 773

C++中typename关键字的使用方法和注意事项

1, 什么地方使用?用在模板定义里,标明其后的模板参数是类型参数。例如 templateT foo(const T& t, const Y& y){//....};templaceclass CTes...
  • pizzq
  • pizzq
  • 2007年01月18日 19:42
  • 20754

c++模板中的 typename 和 template 关键字用法

    最近在看C++的模板,虽然学了、用了C++也有一段时间,对于模板编程这一特性一直没有接触。边学习, 一边写些心得吧。1. typename关键字   不用说,接触过模板的人都知道,typena...
  • hycoldrain
  • hycoldrain
  • 2009年01月05日 20:43
  • 8915

C++ typedef typename 作用

C++的一些语法让人看着费解,其中就有: typedef typename std::vector::size_type size_type;...
  • zhangxiao93
  • zhangxiao93
  • 2016年01月23日 15:26
  • 5878

1. C++关键字typename(转)

问题:在下面的 template declarations(模板声明)中 class 和 typename 有什么不同? template class Widget; // uses "class"t...
  • zhuizhuziwo
  • zhuizhuziwo
  • 2009年04月29日 22:18
  • 440

C++ typename关键字的作用

参考:http://blog.163.com/cp7618@yeah/blog/static/70234777201122111034365/原文详细讲解typedef和typename的作用与区别 ...
  • qq2399431200
  • qq2399431200
  • 2013年05月29日 09:45
  • 774

C++ typeid关键字详解

typeid关键字 注意:typeid是操作符,不是函数。这点与sizeof类似) 运行时获知变量类型名称,可以使用 typeid(变量).name()需要注意不是所有编译器都输出”int”、”f...
  • gatieme
  • gatieme
  • 2016年03月21日 17:16
  • 2767

C++模板元编程(一)

C++模板元编程(一)  Traits和类型操纵
  • corfox_liu
  • corfox_liu
  • 2015年12月28日 23:34
  • 736

STL容器知识总结

本文主要讨论C++标准库中的顺序容器及相应的容器适配器,这些内容主要涉及顺序容器类型:vector、list、deque,顺序容器适配器类型:stack、queue、priority_queue。 ...
  • qq_35535992
  • qq_35535992
  • 2016年12月02日 19:48
  • 75
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:STL知识准备: 1. C++关键字typename
举报原因:
原因补充:

(最多只允许输入30个字)