1、作者：未知 文章来源：天极 Yesky 软件频道 Javascript 是世界上最受误解的语言，其实 C+何尝不是。坊间流传的错误的 C+学习方法一抓就是一大把。我自己在学习C+的过程中也走了许多弯路，浪费了不少时间。为什么会存在这么多错误认识?原因主要有三个，一是 C+语言的细节太多。二是一些著名的 C+书籍总在( 不管有意还是无意)暗示语言细节的重要性和有趣。三是现代 C+库的开发哲学必须用到一些犄角旮旯的语言细节 (但注意，是库设计，不是日常编程)。这些共同塑造了 C+社群的整体心态和哲学。单是第一条还未必能够成气候，其它语言的细节也不少(尽管比起 C+起来还是小巫见大巫 )，就拿 Ja
2、vascript 来说，作用域规则，名字查找，closure ，for/in，这些都是细节，而且其中还有违反直觉的。但许多动态语言的程序员的理念我猜大约是学到哪用到哪罢。但 C+就不一样了，学 C+之人有一种类似于被暗示的潜在心态，就是一定要先把语言核心基本上吃透了才能下手写出漂亮的程序。这首先就错了。这个意识形成的原因在第二点，C+书籍。市面上的 C+书籍不计其数，但有一个共同的缺点，就是讲语言细节的书太多C+ gotchas ， Effective C+ ， More Effective C+ ，但无可厚非的是，C+是这样一门语言：要拿它满足现代编程理念的需求，尤其是 C+库开发的需求，还
3、必须得关注语言细节，乃至于在 C+中利用语言细节已经成了一门学问。比如 C+模板在设计之初根本没有想到模板元编程这回事，更没想到 C+模板系统是图灵完备的，这也就导致了Modern C+ Design和C+ Template Metaprogramming的惊世骇俗。这些技术的出现为什么惊世骇俗，打个比方，就好比是一块大家都认为已经熟悉无比，再无秘密可言的土地上，突然某天有人挖到原来地下还蕴藏着最丰富的石油。在这之前的 C+虽然也有一些细节，但也还算容易掌握，那可是 C+程序员们的happy old times，因为 C+的一切都一览无余，everything is figured out。然
4、而Modern C+ Design的出世告诉人们， “瞧，还有多少细节你们没有掌握啊。 ”于是 C+程序员们久违的激情被重燃起来，奋不顾身的踏入细节的沼泽中。尤其是，模板编程将C+的细节进一步挖掘到了极致我们干嘛关心涉及类对象的隐式转换的优先级高低? 看看 boost:is_base_of 就可以知道有多诡异了。但最大的问题还在于，对于这些细节的关注还真有它合适的理由：我们要开发现代模板库，要开发 active library，就必须动用模板编程技术，要动用模板编程技术，就必须利用语言的犄角旮旯，enable_if，type_traits，甚至连早就古井无波的 C 宏也在乱世中重生，看看 bo
5、ost:preprocessor 有多诡异就知道了，连 C 宏的图灵完备性(预编译期的)都被挖掘出来了。为什么要做这些?好玩?标榜?都不是，开发库的实际需求。但这也正是最大的悲哀了。在 boost 里面因实际需求而动用语言细节最终居然能神奇的完成任务的最好教材就是 boost:foreach，这个小设施对语言细节的发掘达到了惊天地泣鬼神的地步，不信你先试着自己去看看它的源代码，再看看作者介绍它的文章吧。而 boost:typeof 也不甘其后 C+语言里面有太多被“发现”而不是被“ 发明”的技术。难道最初无意设置这些语言规则的家伙们都是 Oracles?因为没有 variadic templa
6、tes，人们用宏加上缺省模板参数来实现类似效果。因为没有 concepts，人们用模板加上析构函数的细节来完成类似工作。因为没有 typeof，人们用模板元编程和宏加上无尽的细节来实现目标 C+开发者们的 DIY 精神不可谓不强。然而，如果仅仅是因为要开发优秀的库，那么涉及这些细节都还是情有可原的，至少在 C+09 出现并且编译器厂商跟上之前，这些都还能说是不得已而为之。但我们广大的 C+程序员呢?大众是容易被误导的，我也曾经是。以为掌握了更多的语言细节就更牛，但实际却是那些语言细节十有八九是平时编程用都用不到的。C+中众多的细节虽然在库设计者手里面有其用武之地，但普通程序员则根本无需过多关注
7、，尤其是没有实际动机的关注。一般性的编码实践准则，以及基本的编程能力和基本功，乃至基本的程序设计理论以及算法设计。才是真正需要花时间掌握的东西。学习最佳编码实践比学习 C+更重要。看优秀的代码也比埋头用差劲的编码方式写垃圾代码要有效。直接、清晰、明了、KISS 地表达意图比玩编码花招要重要避免去过问任何语言细节，除非必要。这个必要是指在实际编程当中遇到问题，这样就算需要过问细节，也是最省事的，懒惰者原则嘛。一个掌握了基本的编程理念并有较强学习能力的程序员在用一门陌生的语言编程时就算拿着那本语言的圣经从索引翻起也可以编出合格的程序来。十年学会编程不是指对每门语言都得十年，那一辈子才能学几门语言哪
8、，如果按字母顺序学的话一辈子都别指望学到 Ruby 了;十年学习编程更不是指先把语言特性从粗到细全都吃透才敢下手编程，在实践中提高才是最重要的。至于这种抠语言细节的哲学为何能在社群里面呈野火燎原之势，就是一个心理学的问题了。想像人们在论坛上讨论问题时，一个对语言把握很细致的人肯定能够得到更多的佩服，而由于论坛上的问题大多是小问题，所以解决实际问题的真正能力并不能得到显现，也就是说，知识型的人能够得到更多佩服，后者便成为动力和仿效的砝码。然而真正的编程能力是与语言细节没关系的，熟练运用一门语言能够帮你最佳表达你的意图，但熟练运用一门语言绝不意味着要把它的边边角角全都记住。懂得一些常识，有了编程的
9、基本直觉，遇到一些细节错误的时候再去查书，是最节省时间的办法。C+的书， Bjarne 的圣经The C+ Programming Language是高屋建瓴的。 大规模 C+程序设计是挺务实的。Accelerated C+是最佳入门的。 C+ Templates是仅作参考的。 C+ Template Metaprogramming是精力过剩者可以玩一玩的，普通程序员碰都别碰的。 ISO.IEC C+ Standard 14882不是拿来读的。Bjarne 最近在做 C+的教育，新书是绝对可以期待的。P.S. 关于如何学习编程，g9 的 blog 上有许多精彩的文章：这里，这里，这里，这里 实
10、际上，我建议你去把 g9 老大的blog 翻个底朝天 :P再 P.S. 书单?我是遑于给出一个类似C+ 初学者必读这种书单的。C+的书不计其数，被公认的好书也不胜枚举。只不过有些书容易给初学者造成一种错觉，就是“学习 C+就应该是这个样子的”。比如有朋友提到的高质量 C/C+编程 ，这本书有价值，但不适合初学者，初学者读这样的书容易一叶障目不见泰山。实际上，正确的态度是，细节是必要的。但细节是次要的。其实学习编程我觉得应该最先学习如何用伪码表达思想呢，君不见Introduction to Algorithm里面的代码?TAOCP 中的代码 ?哦，对了它们是自己建立的语言，但这种仅教学目的的语言
11、的目的就是为了避免让写程序的人一开始就忘了写程序是为了完成功能，以为写程序就是和语言细节作斗争了。Bjarne 说程序的正确性最重要，boost 的编码标准里面也将正确性列在性能前面。此外，一旦建立了正确的学习编程的理念，其实什么书(只要不是太垃圾的) 都有些用处。都当成参考书，用的时候从目录或索引翻，基本就对了。再再 P.S. myan 老大和 g9 老大都给出了许多精彩的见解。我不得不再加上一个 P.S。具体我就不摘录了，如果你读到这里，请务必往下看他们的评论。转载者别忘了转载他们的评论:-)许多朋友都问我同一个问题，到底要不要学习 C+。其实这个问题问得很没有意义。 “学 C+”和“不学
12、 C+”这个二分法是没意义的，为什么?因为这个问题很表面，甚至很浮躁。重要的不是你掌握的语言，而是你掌握的能力，借用 myan 老大的话，“重要的是这个磨练过程，而不是结果，要的是你粗壮的腿，而不是你身上背的那袋盐巴。 ”。此外学习 C+的意义其实真的是醉翁之意不在酒，像 C/C+这种系统级语言，在学习的过程中必须要涉及到一些底层知识，如内存管理、编译连接系统、汇编语言、硬件体系结构等等等等知识(注意，这不包括过分犄角旮旯的语言枝节)。这些东西也就是所谓的内功了(其实最最重要的内功还是长期学习所磨练出来的自学能力)。对此大嘴 Joel 在Joel On Software里面提到的漏洞抽象定律阐
13、述得就非常漂亮。所以，答案是，让你成为高手的并不是你掌握什么语言，精通 C+未必就能让你成为高手，不精通 C+也未必就能让你成为低手。我想大家都不会怀疑 g9 老大如果要抄起 C+做一个项目的话会比大多数自认熟练 C+的人要做得漂亮。所以关键的不是语言这个表层的东西，而是底下的本质矛盾。当然，不是说那就什么语言都不要学了，按照一种曹操的逻辑， “天下语言，唯 imperative 与 declarative 耳”。C+是前者里面最复杂的一种，支持最广泛的编程范式。借用当初数学系入学大会上一个老师的话， “你数学都学了，还有什么不能学的呢?”。学语言是一个途径，如果你把它用来磨练自己，可以。如果
14、你把它用来作为学习系统底层知识的钥匙，可以。如果你把它用来作为学习如何编写优秀的代码，如何组织大型的程序，如何进行抽象设计，可以。如果掉书袋，光啃细节，我认为不可以(除非你必须要用到细节，像 boost 库的 coder 们) 。然后再借用一下 g9 老大的银弹和我们的职业中的话： 银弹和我们的职业发展有什么相干?很简单：我们得把时间用于学习解决本质困难。新技术给高手带来方便。菜鸟们却不用指望被新技术拯救。沿用以前的比喻， 一流的摄影师不会因为相机的更新换代而丢掉饭碗，反而可能借助先进技术留下传世佳作。因为摄影的本质困难，还是摄影师的艺术感觉。热门技术也就等于相机。 不停追新，学习这个框架，那
15、个软件，好比成天钻研不同相机的说明书。而热门技术后的来龙去脉，才好比摄影技术。为什么推出这个框架?它解决了什么其它框架 不能解决的问题?它在哪里适用 ?它在哪里不适用 ?它用了什么新的设计?它改进了哪些旧的设计 ?Why is forever. 和 朋友聊天时提到 Steve McConnell 的Professional Software Development里面引了一个调查，说软件开发技术的半衰期 20 年。也就是说 20年后我们现在知识里一半的东西过时。相当不坏。朋友打趣道：“应 该说 20 年后 IT 界一半的技术过时，我们学的过时技术远远超过这个比例。具体到某人，很可能 5 年他就
16、废了”。话虽悲观，但可见选择学习内容的重要性。学习 本质技艺(技术迟早过时，技艺却常用长新)还有一好处，就是不用看着自己心爱的技术受到挑战的时候干嚎。C/C+过时就过时了呗，只要有其它的系统编程 语言。Java 倒了就倒了呗，未必我不能用.NET?Ruby 昙花一现又如何。如果用得不爽，换到其它动态语言就是了。J2EE 被废了又怎样?未必我们就 做不出分布系统了?这里还举了更多的例子。一句话，只有人是真正的银弹。职业发展的目标，就是把自己变成银弹。那时候，你就不再是人，而是人弹。最后就以我在 Bjarne 的众多访谈当中摘录的一些关于如何学习 C+(以及编程)的看法结束吧( 没空逐段翻译了，只
17、将其中我觉得最重要的几段译了一下，当然，其它也很重要，这些段落是在 Bjarne 的所有采访稿中摘抄出来的，所以强烈建议都过目一下)：I suspect that people think too little about what they want to build, too little about what would make it correct, and too much about efficiency and following fashions of programming style. The key questions are always: what do I wan
18、t to do? and how do I know that I have done if?. Strategies for testing enters into my concerns from well before I write the firat line of code, and that despite my view that you have to write code very early - rather than wait until a design is complete.译：我感觉人们过多关注了所谓“效率 ”以及跟随编程风格的潮流，却严重忽视了本不该被忽视的问
19、题，如 “我究竟想要构建什么样的系统”、 “怎样才能使它正确 ”。最关键的问题永远是：“我究竟想要做什么 ?”和“如何才能知道我的系统是否已经完成了呢?”就拿我来说吧，我会在编写第一行代码之前就考虑测试方案，而且这还是在我关于应当早于设计完成之前就进行编码的观点的前提之下。Obviously, C+ is very complex. Obviously, people get lost. However, most peple get lost when they get diverted into becoming language lawyers rather than getting l
20、ost when they have a clear idea of what they want to express and simply look at C+ language features to see how to express it. Once you know data absreaction, class hierarchies (object-oriented programming), and parameterization with types (generic programming) in a fairly general way, the C+ langua
21、ge features fall in place.译：诚然，C+非常复杂。诚然，人们迷失其中了。然而问题是，大多数人不是因为首先对自己想要表达什么有了清晰的认识只不过在去 C+语言中搜寻合适的语言特性时迷失的，相反，大多数人是在不觉成为语言律师的路上迷失在细节的丛林中的。事实是，只需对数据抽象、类体系结构(OOP)以及参数化类型(GP)有一个相当一般层面的了解，C+纷繁的语言特性也就清晰起来了。Well, I dont think I made such a trade-off. I want elegant and efficient code. Sometimes I get it. T
22、hese dichotomies (between efficiency versus correctness, efficiency versus programmer time, efficiency versus high-level, et cetera.) are bogus.I think the real problem is that we (that is, we software developers) are in a permanent state of emergency, grasping at straws to get our work done. We per
23、form many minor miracles through trial and error, excessive use of brute force, and lots and lots of testing, but-so often-its not enough.Software developers have become adept at the difficult art of building reasonably reliable systems out of unreliable parts. The snag is that often we do not know
24、exactly how we did it: a system just sort of evolved into something minimally acceptable. Personally, I prefer to know when a system will work, and why it will.There are more useful systems developed in languages deemed awful than in languages praised for being beautiful-many more. The purpose of a
25、programming language is to help build good systems, where good can be defined in many ways. My brief definition is, correct, maintainable, and adequately fast. Aesthetics matter, but first and foremost a language must be useful; it must allow real-world programmers to express real-world ideas succin
26、ctly and affordably.Im sure that for every programmer that dislikes C+, there is one who likes it. However, a friend of mine went to a conference where the keynote speaker asked the audience to indicate by show of hands, one, how many people disliked C+, and two, how many people had written a C+ pro
27、gram. There were twice as many people in the first group than the second. Expressing dislike of something you dont know is usually known as prejudice. Also, complainers are always louder and more certain than proponents-reasonable people acknowledge flaws. I think I know more about the problems with
28、 C+ than just about anyone, but I also know how to avoid them and how to use C+s strengths.In any case, I dont think it is true that the programming languages are so difficult to learn. For example, every first-year university biology textbook contains more details and deeper theory than even an exp
29、ert-level programming-language book. Most applications involve standards, operating systems, libraries, and tools that far exceed modern programming languages in complexity. What is difficult is the appreciation of the underlying techniques and their application to real-world problems. Obviously, mo
30、st current languages have many parts that are unnecessarily complex, but the degree of those complexities compared to some ideal minimum is often exaggerated.We need relatively complex language to deal with absolutely complex problems. I note that English is arguably the largest and most complex lan
31、guage in the world (measured in number of words and idioms), but also one of the most successful.C+ provides a nice, extended case study in the evolutionary approach. C compatibility has been far harder to maintain than I or anyone else expected. Part of the reason is that C has kept evolving, parti
32、ally guided by people who insist that C+ compatibility is neither necessary nor good for C. Another reason- probably even more important-is that organizations prefer interfaces that are in the C/C+ subset so that they can support both languages with a single effort. This leads to a constant pressure
33、 on users not to use the most powerful C+ features and to myths about why they should be used carefully, infrequently, or by experts only. That, combined with backwards-looking teaching of C+, has led to many failures to reap the potential benefits of C+ as a high-level language with powerful abstra
34、ction mechanisms.The question is how deeply integrated into the application those system dependencies are. I prefer the application to be designed conceptually in isolation from the underlying system, with an explicitly defined interface to the outer world, and then integrated through a thin layer o
35、f interface code.Had I had a chance to name the style of programming I like best, it would have been class-oriented programming, but then Im not particularly good at finding snappy names. The school of thought that I belong to - rooted in Simula and related design philosophies - emphasizes the role
36、of compile-time checking and flexible (static) type systems. Reasoning about the behavior of a program has to be rooted in the (static) structure of the source code. The focus should be on guarantees, invariant, etc. which are closely tied to that static structure. This is the only way I know to eff
37、ectively deal with correctness. Testing is essential but cannot be systematic and complete without a good internal program structure - simple-minded blackbox testing of any significant system is infeasible because of the exponential explosion of states.So, I recommend people to think in terms of cla
38、ss invariants, exception handling guarantees, highly structured resource management, etc. I should add that I intensely dislike debugging (as ah hoc and unsystematic) and strongly prefer reasoning about source code and systematic testing.Pros: flexibility, generality, performance, portability, good tool support, available on more platforms than any competitor except C, ACCESS to hardware and system resources, good availability of programmers and designers. Cons: complexity, sub-optimal use caused by poor teaching and myths.
