转载:C++ typename的起源与用法
转载:http://feihu.me/blog/2014/the-origin-and-usage-of-typename/#typename
侯捷在Effective C++的中文版译序中提到:
C++的难学,还在于它提供了四种不同(但相辅相成)的程序设计思维模式:procedural-based, object-based, object-oriented, generics
对于较少使用最后一种泛型编程的我来说,程序设计基本上停留在前三种思维模式当中。虽说不得窥见高深又现代的泛型技术,但前三种思维模式已几乎满足我所遇到的所有需求,因此一直未曾深入去了解泛型编程。
目录
起因
近日,看到这样一行代码:
typedef typename __type_traits<T>::has_trivial_destructor trivial_destructor;
虽说已经有多年C++经验,但上面这短短一行代码却看得我头皮发麻。看起来它应该是定义一个类型别名,但是typedef
不应该是像这样使用么,typedef
+原类型名+新类型名:
typedef char* PCHAR;
可为何此处多了一个typename
?另外__type_traits
又是什么?看起来有些眼熟,想起之前在Effective C++上曾经看过traits
这一技术的介绍,和这里的__type_traits
有点像。只是一直未曾遇到需要traits
的时候,所以当时并未仔细研究。然而STL中大量的充斥着各种各样的traits
,一查才发现原来它是一种非常高级的技术,在更现的高级语言中已经很普遍。因此这次花了些时间去学习它,接下来还有会有另一篇文章来详细介绍C++的traits
技术。在这里,我们暂时忘记它,仅将它当成一个普通的类,先来探讨一下这个多出来的typename
是怎么回事?
typename的常见用法
对于typename
这个关键字,如果你熟悉C++的模板,一定会知道它有这样一种最常见的用法(代码摘自C++ Primer):
// implement strcmp-like generic compare function
// returns 0 if the values are equal, 1 if v1 is larger, -1 if v1 is smaller
template <typename T>
int compare(const T &v1, const T &v2)
{
if (v1 < v2) return -1;
if (v2 < v1) return 1;
return 0;
}
也许你会想到上面这段代码中的typename
换成class
也一样可以,不错!那么这里便有了疑问,这两种方式有区别么?查看C++ Primer之后,发现两者完全一样。那么为什么C++要同时支持这两种方式呢?既然class
很早就已经有了,为什么还要引入typename
这一关键字呢?问的好,这里面有一段鲜为人知的历史(也许只是我不知道:-))。带着这些疑问,我们开始探寻之旅。
typename的来源
对于一些更早接触C++的朋友,你可能知道,在C++标准还未统一时,很多旧的编译器只支持class
,因为那时C++并没有typename
关键字。记得我在学习C++时就曾在某本C++书籍上看过类似的注意事项,告诉我们如果使用typename
时编译器报错的话,那么换成class
即可。
一切归结于历史。
Stroustrup在最初起草模板规范时,他曾考虑到为模板的类型参数引入一个新的关键字,但是这样做很可能会破坏已经写好的很多程序(因为class
已经使用了很长一段时间)。但是更重要的原因是,在当时看来,class
已完全足够胜任模板的这一需求,因此,为了避免引起不必要的麻烦,他选择了妥协,重用已有的class
关键字。所以只到ISO C++标准出来之前,想要指定模板的类型参数只有一种方法,那便是使用class
。这也解释了为什么很多旧的编译器只支持class
。
但是对很多人来说,总是不习惯class
,因为从其本来存在的目的来说,是为了区别于语言的内置类型,用于声明一个用户自定义类型。那么对于下面这个模板函数的定义(相对于上例,仅将typename
换成了class
):
template <class T>
int compare(const T &v1, const T &v2)
{
if (v1 < v2) return -1;
if (v2 < v1) return 1;
return 0;
}
从表面上看起来就好像这个模板的参数应该只支持用户自定义类型,所以使用语言内置类型或者指针来调用该模板函数时总会觉得有一丝奇怪(虽然并没有错误):
int v1 = 1, v2 = 2;
int ret = compare(v1, v2);
int *pv1 = NULL, *pv2 = NULL;
ret = compare(pv1, pv2);
令人感到奇怪的原因是,class
在类和模板中表现的意义看起来存在一些不一致,前者针对用户自定义类型,而后者包含了语言内置类型和指针。也正因为如此,人们似乎觉得当时没有引入一个新的关键字可能是一个错误。
这是促使标准委员会引入新关键字的一个因素,但其实还有另外一个更加重要的原因,和文章最开始那行代码相关。
一些关键概念
在我们揭开真实原因的面纱之前,先保持一点神秘感,因为为了更好的理解C++标准,有几个重要的概念需要先行介绍一下。
限定名和非限定名
限定名(qualified name),故名思义,是限定了命名空间的名称。看下面这段代码,cout
和endl
就是限定名:
#include <iostream>
int main() {
std::cout << "Hello world!" << std::endl;
}
cout
和endl
前面都有std::
,它限定了std
这个命名空间,因此称其为限定名。
如果在上面这段代码中,前面用using std::cout;
或者using namespace std;
,然后使用时只用cout
和endl
,它们的前面不再有空间限定std::
,所以此时的cout
和endl
就叫做非限定名(unqualified name)。
依赖名和非依赖名
依赖名(dependent name)是指依赖于模板参数的名称,而非依赖名(non-dependent name)则相反,指不依赖于模板参数的名称。看下面这段代码:
template <class T>
class MyClass {
int i;
vector<int> vi;
vector<int>::iterator vitr;
T t;
vector<T> vt;
vector<T>::iterator viter;
};
因为是内置类型,所以类中前三个定义的类型在声明这个模板类时就已知。然而对于接下来的三行定义,只有在模板实例化时才能知道它们的类型,因为它们都依赖于模板参数T
。因此,T
, vector<T>
和vector<T>::iterator
称为依赖名。前三个定义叫做非依赖名。
更为复杂一点,如果用了typedef T U; U u;
,虽然T
没再出现,但是U
仍然是依赖名。由此可见,不管是直接还是间接,只要依赖于模板参数,该名称就是依赖名。
类作用域
在类外部访问类中的名称时,可以使用类作用域操作符,形如MyClass::name
的调用通常存在三种:静态数据成员、静态成员函数和嵌套类型:
struct MyClass {
static int A;
static int B();
typedef int C;
}
MyClass::A
, MyClass::B
, MyClass::C
分别对应着上面三种。
引入typename的真实原因
结束以上三个概念的讨论,让我们接着揭开typename
的神秘面纱。
一个例子
在Stroustrup起草了最初的模板规范之后,人们更加无忧无虑的使用了class
很长一段时间。可是,随着标准化C++工作的到来,人们发现了模板这样一种定义:
template <class T>
void foo() {
T::iterator * iter;
// ...
}
这段代码的目的是什么?多数人第一反应可能是:作者想定义一个指针iter
,它指向的类型是包含在类作用域T
中的iterator
。可能存在这样一个包含iterator
类型的结构:
struct ContainsAType {
struct iterator { /*...*/ };
// ...
};
然后像这样实例化foo
:
foo<ContainsAType>();
这样一来,iter
那行代码就很明显了,它是一个ContainsAType::iterator
类型的指针。到目前为止,咱们猜测的一点不错,一切都看起来很美好。
问题浮现
在类作用域一节中,我们介绍了三种名称,由于MyClass
已经是一个完整的定义,因此编译期它的类型就可以确定下来,也就是说MyClass::A
这些名称对于编译器来说也是已知的。
可是,如果是像T::iterator
这样呢?T
是模板中的类型参数,它只有等到模板实例化时才会知道是哪种类型,更不用说内部的iterator
。通过前面类作用域一节的介绍,我们可以知道,T::iterator
实际上可以是以下三种中的任何一种类型:
- 静态数据成员
- 静态成员函数
- 嵌套类型
前面例子中的ContainsAType::iterator
是嵌套类型,完全没有问题。可如果是静态数据成员呢?如果实例化foo
模板函数的类型是像这样的:
struct ContainsAnotherType {
static int iterator;
// ...
};
然后如此实例化foo
的类型参数:
foo<ContainsAnotherType>();
那么,T::iterator * iter;
被编译器实例化为ContainsAnotherType::iterator * iter;
,这是什么?前面是一个静态成员变量而不是类型,那么这便成了一个乘法表达式,只不过iter
在这里没有定义,编译器会报错:
error C2065: ‘iter’ : undeclared identifier
但如果iter
是一个全局变量,那么这行代码将完全正确,它是表示计算两数相乘的表达式,返回值被抛弃。
同一行代码能以两种完全不同的方式解释,而且在模板实例化之前,完全没有办法来区分它们,这绝对是滋生各种bug的温床。这时C++标准委员会再也忍不住了,与其到实例化时才能知道到底选择哪种方式来解释以上代码,委员会决定引入一个新的关键字,这就是typename
。
千呼万唤始出来
我们来看看C++标准:
A name used in a template declaration or definition and that is dependent on a template-parameter is assumed not to name a type unless the applicable name lookup finds a type name or the name is qualified by the keyword typename.
对于用于模板定义的依赖于模板参数的名称,只有在实例化的参数中存在这个类型名,或者这个名称前使用了typename
关键字来修饰,编译器才会将该名称当成是类型。除了以上这两种情况,绝不会被当成是类型。
因此,如果你想直接告诉编译器T::iterator
是类型而不是变量,只需用typename
修饰:
template <class T>
void foo() {
typename T::iterator * iter;
// ...
}
这样编译器就可以确定T::iterator
是一个类型,而不再需要等到实例化时期才能确定,因此消除了前面提到的歧义。
不同编译器对错误情况的处理
但是如果仍然用ContainsAnotherType
来实例化foo
,前者只有一个叫iterator
的静态成员变量,而后者需要的是一个类型,结果会怎样?我在Visual C++ 2010和g++ 4.3.4上分别做了实验,结果如下:
Visual C++ 2010仍然报告了和前面一样的错误:
error C2065: ‘iter’ : undeclared identifier
虽然我们已经用关键字typename
告诉了编译器iterator
应该是一个类型,但是用一个定义了iterator
变量的结构来实例化模板时,编译器却选择忽略了此关键字。出现错误只是由于iter
没有定义。
再来看看g++如何处理这种情况,它的错误信息如下:
In function ‘void foo() [with T = ContainsAnotherType]’: instantiated from here error: no type named ‘iterator’ in ‘struct ContainsAnotherType’
g++在ContainsAnotherType
中没有找到iterator
类型,所以直接报错。它并没有尝试以另外一种方式来解释,由此可见,在这点上,g++更加严格,更遵循C++标准。
使用typename的规则
最后这个规则看起来有些复杂,可以参考MSDN:
- typename在下面情况下禁止使用:
- 模板定义之外,即typename只能用于模板的定义中
- 非限定类型,比如前面介绍过的
int
,vector<int>
之类 - 基类列表中,比如
template <class T> class C1 : T::InnerType
不能在T::InnerType
前面加typename - 构造函数的初始化列表中
- 如果类型是依赖于模板参数的限定名,那么在它之前必须加typename(除非是基类列表,或者在类的初始化成员列表中)
- 其它情况下typename是可选的,也就是说对于一个不是依赖名的限定名,该名称是可选的,例如
vector<int> vi;
其它例子
对于不会引起歧义的情况,仍然需要在前面加typename
,比如:
template <class T>
void foo() {
typename T::iterator iter;
// ...
}
不像前面的T::iterator * iter
可能会被当成乘法表达式,这里不会引起歧义,但仍需加typename
修饰。
再看下面这种:
template <class T>
void foo() {
typedef typename T::iterator iterator_type;
// ...
}
是否和文章刚开始的那行令人头皮发麻的代码有些许相似?没错!现在终于可以解开typename
之迷了,看到这里,我相信你也一定可以解释那行代码了,我们再看一眼:
typedef typename __type_traits<T>::has_trivial_destructor trivial_destructor;
它是将__type_traits<T>
这个模板类中的has_trivial_destructor
嵌套类型定义一个叫做trivial_destructor
的别名,清晰明了。
再看常见用法
既然typename
关键字已经存在,而且它也可以用于最常见的指定模板参数,那么为什么不废除class
这一用法呢?答案其实也很明显,因为在最终的标准出来之前,所有已存在的书、文章、教学、代码中都是使用的是class
,可以想像,如果标准不再支持class
,会出现什么情况。
对于指定模板参数这一用法,虽然class
和typename
都支持,但就个人而言我还是倾向使用typename
多一些,因为我始终过不了class
表示用户定义类型这道坎。另外,从语义上来说,typename
比class
表达的更为清楚。C++ Primer也建议使用typename
:
使用关键字typename代替关键字class指定模板类型形参也许更为直观,毕竟,可以使用内置类型(非类类型)作为实际的类型形参,而且,typename更清楚地指明后面的名字是一个类型名。但是,关键字typename是作为标准C++的组成部分加入到C++中的,因此旧的程序更有可能只用关键字class。
参考
- C++ Primer
- Effective C++
- A Description of the C++ typename keyword
- 维基百科typename
- 另外关于
typename
的历史,Stan Lippman写过一篇文章,Stan Lippman何许人,也许你不知道他的名字,但看完这些你一定会发出,“哦,原来是他!”:他是 C++ Primer, Inside the C++ Object Model, Essential C++, C# Primer 等著作的作者,另外他也曾是Visual C++的架构师。 - 在StackOverflow上有一个非常深入的回答,感谢@Emer 在本文评论中提供此链接。
写在结尾
一个简单的关键字就已经充满曲折,这可以从一个角度反映出一门语言的发展历程,究竟要经历多少决断、波折与妥协,最终才发展成为现在的模样。在一个特定的时期,由于历史、技术、思想等各方面的因素,设计总会向现实做出一定的让步,出现一些“不完美”的设计,为了保持向后兼容,有些“不完美”的历史因素被保留了下来。现在我可以理解经常为人所诟病的Windows操作系统,Intel芯片,IE浏览器,Visual C++等,为了保持向后兼容,不得不在新的设计中仍然保留这些“不完美”,虽然带来的是更多的优秀特性,但有些人却总因为这些历史因素而唾弃它们,也为自己曾有一样的举动而羞愧不已。但也正是这些“不完美”的出现,才让人们在后续的设计中更加注意,站在前人的肩膀上,做出更好,更完善的设计,于是科技才不断向前推进。
然而也有一些敢于大胆尝试的例子,比如C++ 11,它的变化之大甚至连Stroustrup都说它像一门新语言。对于有着30余年历史的“老”语言,不仅没有被各种新贵击溃,反而在不断向晚辈们借鉴,吸纳一些好的特性,老而弥坚,这十分不易。还有Python 3,为了清理2.x版本中某些语法方面的问题,打破了与2.x版本的向后兼容性,这种牺牲向后兼容换取进步的做法固然延缓了新版本的接受时间,但我相信这是向前进步的阵痛。Guido van Rossum的这种破旧立新的魄力实在让人钦佩,至于这种做法能否最终为人们所接受,一切交给历史来检验。
(全文完)
转载:C++ typename的起源与用法的更多相关文章
- [转载]expect spawn、linux expect 用法小记
原文地址:expect spawn.linux expect 用法小记作者:悟世 使用expect实现自动登录的脚本,网上有很多,可是都没有一个明白的说明,初学者一般都是照抄.收藏.可是为什么要这么写 ...
- C++typename的由来和用法
- 转载 asp.net中ViewState的用法详解
转载原地址: http://www.jb51.net/article/73662.htm 在web窗体控件设置为runat = "server",这个控件会被附加一个隐藏的属性_V ...
- 【转载】抓包工具tcpdump用法说明
转载地址:http://www.cnblogs.com/f-ck-need-u/p/7064286.html tcpdump采用命令行方式对接口的数据包进行筛选抓取,其丰富特性表现在灵活的表达式上. ...
- [转载]Oracle中TO_NUMBER()函数的用法
1 用法简介TO_NUMBER函数()是Oracle中常用的类型转换函数之一,主要是将字符串转换为数值型的格式,与TO_CHAR()函数的作用正好相反. To_number函数的格式如下: To_nu ...
- 转载《 LayoutInflater 的inflate函数用法详解》
很多人在网上问LayoutInflater类的用法,以及inflate()方法参数的含义,现解释如下: inflate()的作用就是将一个用xml定义的布局文件查找出来,注意与findViewById ...
- (转载)C++ ofstream和ifstream详细用法
原文出自[比特网],转载请保留原文链接:http://soft.chinabyte.com/database/460/11433960.sh [导读] ofstream是从内存到硬盘,ifstream ...
- 转载:fstream和ifstream详细用法
文件 I/O 在C++中比烤蛋糕简单多了.在这篇文章里,我会详细解释ASCII和二进制文件的输入输出的每个细节,值得注意的是,所有这些都是用C++完成的. 一.ASCII 输出 为了使用下面的方法, ...
- 转载------------C函数之memcpy()函数用法
转载于http://blog.csdn.net/tigerjibo/article/details/6841531 函数原型 void *memcpy(void*dest, const void *s ...
随机推荐
- bzoj2296: 【POJ Challenge】随机种子(思维题/水题)
有点类似CF某场div2T1... 前面接上1234567890000000,后面加上x+(1234567890000000%x)就可以保证是x的倍数了 #include<iostream> ...
- 【DP】【CF31E】 TV Game
传送门 Description 给你一个长度为\(2n\)的数字,每次可以从左侧选一个数字,加入连接到一个数字\(A\)或另一个数字\(B\)后面.\(A,B\)初始为\(0\).\(A\)与\(B\ ...
- mysql三-1:存储引擎
一 什么是存储引擎 mysql中建立的库===>文件夹 库中建立的表===>文件 现实生活中我们用来存储数据的文件有不同的类型,每种文件类型对应各自不同的处理机制:比如处理文本用txt类型 ...
- Google Cast和ChromeCast
Google Cast类似于DLNA,AirPlayer,Miracast,就是一种投屏技术.我们ATV产品是对Google Cast和ChromeCast都是支持的. Google Cast 大致工 ...
- nginx优化--gzip压缩与expire浏览器缓存
gzip压缩 概述 网页在服务器端经过了gzip或者其他格式的压缩后的输出明显减少了content-length字节,当访问过百万时,这些减少的字节就会变为客观的流量给节约下来;从而减轻服务器的压力以 ...
- STL源码分析-内存分配器
http://note.youdao.com/noteshare?id=744696e5f6daf0f2f03f10e381485e67
- 「LibreOJ β Round #4」框架
https://loj.ac/problem/527 题目描述 有一个n×m的矩形框架,但其中有些边被删除了.qmqmqm想知道剩余部分中还有多少完整的正方形.只有当一个正方形的每一条边均被保留下来, ...
- 《JavaScript 实战》:实现拖放(Drag & Drop)效果
拖放效果,也叫拖拽.拖动,学名Drag-and-drop ,是最常见的js特效之一.如果忽略很多细节,实现起来很简单,但往往细节才是难点所在.这个程序的原型是在做图片切割效果的时候做出来的,那时参考了 ...
- 【POJ】2142 The Balance 数论(扩展欧几里得算法)
[题意]给定a,b,c,在天平左边放置若干重量a的砝码,在天平右边放置若干重量b的砝码,使得天平两端砝码差为c.设放置x个A砝码和y个B砝码,求x+y的最小值. [算法]数论(扩展欧几里德算法) [题 ...
- 【洛谷 P4542】 [ZJOI2011]营救皮卡丘(费用流)
题目链接 用最多经过\(k\)条经过\(0\)的路径覆盖所有点. 定义\(ds[i][j]\)表示从\(i\)到\(j\)不经过大于\(max(i,j)\)的点的最短路,显然可以用弗洛伊德求. 然后每 ...