C++之父B. Stroustrup近期言论(1)

韩冰

<>[译者按]  Bjarne Stroustrup博士，1950年出生于丹麦，先后毕业于丹麦阿鲁斯大学和 </P>
<>英国剑桥大学，AT&amp;T大规模程序设计研究部门负责人，AT&amp;T、贝尔实验室和ACM成员。 </P>
<>1979年，B. S开始开发一种语言，当时称为“C with Class”，后来演化为C++。1998年 </P>
<>，ANSI/ISO C++标准建立，同年，B. S推出了其经典著作The C++ Programming Language </P>
<>的第三版。C++的标准化标志着B. S博士倾20年心血的伟大构想终于实现。但是，计算技 </P>
0 ^8 G3 [/ w: _) O  e<>术的发展一日千里，就在几年前人们还猜想C++最终将一统天下，然而随着Internet的爆 </P>
<>炸性增长，类似Java、C#等新的、现代感十足的语言  咄逼人，各种Script语言更是如雨 </P>
<>后春 穹追子肯帧 在这种情况下，人们不禁有些惶恐不安。C++是不是已经过时了呢？其 </P>
+ [  A  C% A7 U9 \8 @<>前景如何？标准C++有怎样的意义？应该如何学习？我们不妨看看B. S对这些问题的思考 </P>
8 k1 W; M* K, q3 F( J8 q- U4 C<>。以下文字是译者从Stroustrup1998年之后发表的若干文章、谈话笔记中精选出来的，由 </P>
2 _# W2 o7 s6 L( V( N. F; c<>于出处不一，内容多有重复，为保持完整，亦一并译出。 </P>
4 _  Z0 S2 A  |! a% E! K3 v5 ~' ~5 W<>  </P>
4 E0 {1 _/ S: d% D8 z& o<>以下内容选自B. S在自己主页上发表的FAQ </P>
# s1 t) ]  l* E- _0 P<>1. 请谈谈C++书。 </P>
<>没有，也不可能有一本书对于所有人来说都是最好的。不过对于那些真正的程序员来说， </P>
<>如果他喜欢从“经典风格”的书中间学习一些新的概念和技术，我推荐我的The C++ </P>
* M' ]# p  }# p9 E<>rogramming Language, 1998年的第三版和特别版。那本书讲的是纯而又纯的C++，完全 </P>
<>独立于平台和库（当然得讲到标准库）。该书面向那些有一定经验的程序员，帮助他们掌 </P>
<>握C++，但不适合毫无经验的初学者入门，也不适合那些临时程序员品尝C++快餐。所以这 </P>
9 q  a4 d$ [, _, ?7 Q<>本书的重点在于概念和技术，而且在完整性和精确性上下了不少功夫。如果你想知道为什 </P>
4 h3 Y- e, U9 @/ \& a" j2 c2 i<>么C++会变成今天的模样，我的另一本书The Design and Evolution of C++ 能给你满意 </P>
<>的答案。理解设计的原则和限制能帮助你写出更好的程序。<a href="http://www.accu.com" target="_blank" >www.accu.com</A>是最好的书评网 </P>
  `2 @' v% n9 Y3 C) q" `- x' }" x# |* w<>站之一，很多有经验的程序员在此仗义执言，不妨去看看。 </P>
% \9 c, _! S8 t1 m<>  </P>
<>2. 学习C++要花多长时间？ </P>
<>这要看你说的“学习”是什么意思了。如果你是一个Pascal程序员，你应该能很快地使你 </P>
: G) Q$ z7 A1 m9 x5 M( |<>的C++水平达到与Pascal相近的程度；而如果你是一个C程序员，一天之内你就能学会使用 </P>
<>C++进行更出色的C风格编程。另一方面，如果你想完全掌握C++的主要机制，例如数据抽 </P>
<>象，面向对象编程，通用编程，面向对象设计等等，而此前又对这些东西不很熟悉的话， </P>
<P>花上个一两年是不足为奇的。那么是不是说这就是学习C++所需要的时间呢？也许再翻一 </P>
  C2 X# }4 e9 k( b5 q* y/ Y, e9 J- e<P>番，我想打算成为更出色的设计师和程序员最起码也要这么长的时间。如果学习一种新的 </P>
<P>语言不能使我们的工作和思想方式发生深刻的变革，那又何苦来哉？跟成为一个钢琴家或 </P>
$ ^. \% y# u* P! l! `/ P2 ~<P>者熟练掌握一门外语相比，学习一种新的、不同的语言和编程风格还算是简单的。 </P>
3 j9 X, v7 B* A6 u0 P$ g2 m<P>  </P>
<P>3. 了解C是学习C++的先决条件吗？ </P>
<P>否！C++中与C相近的子集其实比C语言本身要好学，类型方面的错误会少一些，也不像C那 </P>
0 G$ K3 F) s' q; c; n/ e/ e' o* V1 h<P>样绕圈子，还有更好的支持库。所以应该从这个子集开始学习C++。 </P>
. @2 \: R; ?- S: y5 t<P>  </P>
<P>4. 要想成为真正的OO程序员，我是不是得先学习Smalltalk？ </P>
* X/ S4 L, T# U: a: o- _9 s& d<P>否。如果你想学Smalltaok，尽管去学。这种语言很有趣，而且学习新东西总是一个好主 </P>
<P>意。但是Smalltalk不是C++，而且把Smalltalk的编程风格用在C++里不会有什么好结果。 </P>
<P>如果你想成为一个出色的C++程序员，而且也没有几个月的时间百无聊赖，请你集中力量 </P>
<P>学好C++以及其背后的思想。 </P>
* O+ x' }" f6 s5 E4 h<P>  </P>
6 E8 |" p/ H" U& _<P>5. 我如何开始学习C++？ </P>
; |' Z. {: A) b3 o) W5 l<P>这取决于你的基础和学习动机。如果你是个初学者，我想你最好找个有经验的程序员来帮 </P>
<P>助你，要不然你在学习和实践中不可避免的犯下的种种错误会大大地打击你的积极性。另 </P>
& ^' f' H- I; t  J<P>外，即使你的编译器配备了充足的文档资料，一本C++书籍也永远是必不可少的，毕竟文 </P>
" ?8 x5 |5 g' R! ?. B' p5 P<P>档资料不是学习编程思想的好教材。 </P>
<P>选择书籍时，务必注意该书是不是从一开始就讲授标准C++，并且矢志不渝地使用标准库 </P>
<P>机制。例如，从输入中读取一个字符串应该是这样的： </P>
' k" F2 ~' u6 z( q<P>        string s;       // Standard C++ style </P>
) S9 h4 Y' V2 {- j: x2 J4 N6 D<P>        cin &gt;&gt; s; </P>
8 w* k/ X3 G, b+ m, T5 }2 W<P>而不是这样的： </P>
<P>        char s[MAX];     /* Standard C style */ </P>
/ O; u% z5 O4 r8 u' n<P>        scanf("%s",s); </P>
4 P% Y- T  ]! S* D6 n( w<P>去看看那些扎实的C++程序员们推荐的书吧。记住，没有哪本书对所有人来说都是最好的 </P>
<P>。 </P>
<P>另外，要写地道的C++程序，而避免用C++的语法写传统风格的程序，新瓶装旧酒没多大意 </P>
" D7 z, X: A1 r, i<P>义。 </P>
: a) t0 |# K, Q7 W5 _( J<P>（遗憾的是，目前在市面上的中文C++教材中，符合B. S的这个标准的可以说一本都没有 </P>
) C8 W+ w$ |; h<P>，大家只好到网上找一些英文的资料来学习了。——译者） </P>
<P>  </P>
<P>6. 怎样改进我的C++程序？ </P>
<P>不好说。这取决于你是怎么使用该语言的。大多数人低估了抽象类和模板的价值，反过来 </P>
<P>却肆无忌惮地使用造型机制(cast)和宏。这方面可以看看我的文章和书。抽象类和和模板 </P>
$ m5 a8 b* `: n* k' f# R  k2 d& f<P>的作用当然是提供一种方便的手段建构单根的类层次或者重用函数，但更重要的是，它们 </P>
' A& @+ C& |7 z4 ~% \<P>作为接口提供了简洁的、逻辑性的服务表示机制。 </P>
8 l. n9 l* l, Q- C: p6 Y<P>  </P>
1 J4 e- s4 B; s; W$ N: K- C# v<P>7. 语言的选择是不是很重要？ </P>
, z; n1 K7 A7 D$ R<P>是，但也别指望奇迹。很多人似乎相信某一种语言能够解决他们在系统开发中遇到的几乎 </P>
' s7 O* h/ k$ _( \; b/ }<P>所有问题，他们不断地去寻找完美的编程语言，然后一次次的失败，一次次的沮丧。另外 </P>
/ I: F3 J+ y& b- f: E% ]) c' J5 _<P>一些人则将编程语言贬为无关紧要的细节，把大把大把的银子放在开发流程和设计方法上 </P>
<P>，他们永远都在用着COBOL, C和一些专有语言。一种优秀的语言，例如C++，能帮助设计 </P>
<P>者和程序员做很多事情，而其能力和缺陷又能够被清楚地了解和对待。 </P>
<P>  </P>
/ p* w0 b1 ~( i( x, {2 C) v) |<P>8. ANSI/ISO标准委员会是不是糟蹋了C++？ </P>
* }0 ^5 q3 h+ e+ F9 R<P>当然不是！他们（我们）的工作很出色。你可以在一些细节上找些歪理来挑刺，但我个人 </P>
<P>对于这种语言以及新的标准库可是欣欣然。ISO C++较之C++的以前版本更出色更有条理。 </P>
<P>相对于标准化过程刚刚开始之初，你今天可以写出更优雅、更易于维护的C++程序。新的 </P>
<P>标准库也是一份真正的大礼。由于标准库提供了strings, lists, vectors, maps以及作 </P>
<P>用于其上的基本算法，使用C++的方式已经发生了巨大的变化。 </P>
<P>  </P>
; T1 R: |. H4 H: J, ]4 U<P>9. 你现在有没有想删除一些C++特性？ </P>
2 h' Y$ z0 d3 h5 Q- s3 e<P>没有，真的。问这些问题的人大概是希望我回答下面特性中的一个：多继承、异常、模板 </P>
<P>和RTTI。但是没有它们，C++就是不完整的。在过去的N年中，我已经反复考虑过它们的设 </P>
( e* p; A4 Z) u! L& p<P>计，并且与标准委员会一起改进了其细节，但是没有一个能被去掉又不引起大地震。 </P>
7 b3 n8 h6 \( Q: H& S<P>从语言设计的角度讲，我最不喜欢的部分是与C兼容的那个子集，但又不能把它去掉，因 </P>
& {, ?6 N7 v( ]<P>为那样对于在现实世界里工作的程序员们来说伤害太大了。C++与C兼容，这是一项关键的 </P>
<P>设计决策，绝对不是一个叫卖的噱头。兼容性的实现和维护是十分困难的，但确实使程序 </P>
3 T# w: \* h+ C3 U<P>员们至今受益良多。但是现在，C++已经有了新的特性，程序员们可以从麻烦多多的C风格 </P>
<P>中解脱出来。例如，使用标准库里的容器类，象vector, list, map, string等等，可以 </P>
/ e  |% x! W  ?; \# o$ a) o! v, ^4 B<P>避免与底层的指针操作技巧混战不休。 </P>
& y, x, `! S7 T* `, {<P>  </P>
+ O: D( @4 f9 O* ^, y- J<P>10. 如果不必和C兼容，你所创造的语言是不是就会是Java? </P>
0 T9 K: U8 ?$ e8 p' }: q7 J<P>不是，差得远。如果人们非要拿C++和Java来作比较，我建议他们去阅读The Design and </P>
<P>Evolution of C++，看看C++为什么是今天这个样子，用我在设计C++时遵从的原则来检验 </P>
<P>这两种语言。这些原则与SUN的Java开发小组所持的理念显然是不同的。除了表面语法的 </P>
<P>相似性之外，C++与Java是截然不同的语言。在很多方面，Java更像Smalltalk（译者按： </P>
<P>我学习Java时用的是Sun的培训教材，里面清楚地写道：Java在设计上采用了与C++相似的 </P>
: t( m- y- J. a. y<P>语法，与Smalltalk相似的语义。所以可以说Java与C++是貌合神离，与Smalltalk才是心 </P>
' k+ Q& M- V2 C7 p<P>有灵犀）。Java语言相对简单，这部分是一种错觉，部分是因为这种语言还不完整。随着 </P>
: W: v% Y5 A+ L) B<P>时间的推移，Java在体积和复杂程度上都会大大增长。在体积上它会增长两到三倍，而且 </P>
<P>会出现一些实现相关的扩展或者库。这是一条每个成功的商业语言都必须走过的发展之路 </P>
8 f) N+ M6 P% b1 n- |) y<P>。随便分析一种你认为在很大范围内取得了成功的语言，我知道肯定是无有例外者，而且 </P>
<P>实际上这非常有道理。 </P>
7 k" c  M; i( o<P>上边这段话是在Java 1.1推出之前写的。我确信Java需要类似模板的机制，并且需要增强 </P>
<P>对于固有类型的支持。简单地说，就是为了基本的完整性也应该做这些工作。另外还需要 </P>
<P>做很多小的改动，大部分是扩展。1998年秋，我从James Gosling（Java语言的创始人— </P>
<P>—译者）那里得到一份建议书，说是要在Java中增加固有类型、操作符重载以及数学计算 </P>
+ K. g( i3 O5 K% j  ?, j0 B7 H8 w1 {1 m<P>支持。还有一篇论文，是数学分析领域的世界级大师，伯克利大学的W. Kahan教授所写的 </P>
<P>How Java’s Floating-Point Hurts Everyone Everywhere（“且看Java的浮点运算如何 </P>
<P>危害了普天下的芸芸众生”——译者），揭露了Java的一些秘密。 </P>
" m8 v0 |4 `/ D1 `. {; a<P>我发现在电视和出版物中关于Java的鼓吹是不准确的，而且气势汹汹，让人讨厌。大肆叫 </P>
$ `3 Y5 X) `: [: `3 N, k<P>嚣凡是非Java的代码都是垃圾，这是对程序员的侮辱；建议把所有的保留代码都用Java重 </P>
9 m, M2 X% [& P' q<P>写，这是丧心病狂，既不现实也不负责任。Sun和他的追随者似乎觉得为了对付微软罪恶 </P>
+ B" P" M# O8 h8 B7 d; v6 d<P>的“帝国时代”，就必须如此自吹自擂。但是侮辱和欺诈只会把那些喜欢使用不同编程语 </P>
/ u  O) i$ K) m0 z8 e" k4 B' s<P>言的程序员逼到微软阵营里去。 </P>
+ a$ a8 m, y' Y- w5 b<P>Java并非平台无关，它本身就是平台。跟Windows一样，它也是一个专有的商业平台。也 </P>
<P>就是说，你可以为Windows/Intel编写代码，也可以为Java/JVM编写代码，在任何一种情 </P>
<P>况下，你都是在为一个属于某个公司的平台写代码，这些代码都是与该公司的商业利益扯 </P>
' E& |' C3 |% B* P3 X) a<P>在一起的。当然你可以使用任何一种语言，结合操作系统的机制来编写可供JVM执行的程 </P>
<P>序，但是JVM之类的东西是强烈地偏向于Java语言的。它一点也不像是通用的、公平的、 </P>
9 a. u& }2 M& a# Y( Q& a<P>语言中立的VM/OS。 </P>
6 Z4 K) h0 {9 v/ d<P>私下里，我会坚持使用可移植的C++作大部分工作，用不同的语言作余下的工作。 </P>
8 I  B8 d( ^! C5 E. y6 ~( V<P>（”Java is not platform-independent, it is the platform”，B. S的这句评语对于 </P>
3 J+ H0 d3 c+ K* p/ j4 A9 o# c& l
<P>C++用户有着很大的影响，译者在国外的几个新闻组里看到，有些C++高手甚至把这句话作 </P>
<P>为自己的签名档，以表明对Java的态度和誓死捍卫C++的决心。实际上有很多程序员不光 </P>
<P>是把自己喜爱的语言当成一种工具，更当成一种信仰。——译者） </P>