学习C++语言时,发现C++里面有那么多的tricks,其实日常编程中要用到的trick少之又少,除非你是库的设计者,否则很多的tricks根本就无需关注,也许C++在最近的几年会渐渐的走向开发界的***。
让我们先对“学院派”下一个定义好不好?先问你自己一个问题,你心目中对“学院派”的定义是什么? 以下是一些选项: 1. 倾向于理论美。2. 忽视实际编码中的constraints(如效率,模块性、可读性等等)。
3. 倡导语言律师行为。4. 钻细节。5. … 我想如果我说C++语言设计强调理论美,所有学过C++的人恐怕都会笑了…正如Bjarne自己所说的,C++设计初期的Rule of Thumb之一便是“不要陷入到对***性的固执追求中”;不过具有讽刺意味的是,后面你会看到,正是这样的一种哲学带来了今天对C++的这个误解。
我猜持这样一种观点的人大多对于学院派的定义都是模糊的,一般都介于“提倡钻语言细节并利用语言细节的做法”、“关注语言特性本身而忽略实际编码需求”、“对语言细节无休止的争论”等等之间。
所以,当有人说“C++==学院派”的时候,他的真实意思很可能是:“C++语言的阴暗角落太多,而且C++社群还有提倡对语言角落把握的潜在哲学,就连C++0x的进化也似乎更多关注语言特性,而那些语言特性根本就跟我们实际开发者脱节了…”等等。
首先得承认的是,在近一个十年的时间内,C++社群的确某种程度上建立起了一种对语言细节过分关注的心态,这种心态毫无疑问是错误的,但只有知道这个错误是如何来的,才能解开这个结。
而且,就算一时解不开这个结,知道了原因之后才能保持理性的宽容态度,而不是乱发抱怨。一个理性的态度,更有助于良性发展。例如如果C++社群都能明白这种潜哲学从何而来,或许也就会渐渐走向更好的发展了。
那C++中就没有了吗?有。STL的for_each算法,于是你写: struct MyOp{void operator()(int& i){…}}; std::for_each(v.begin(), v.end(), MyOp()); 这个方案实际很差。一是你还是得写v.begin()、v.end(),二是你得为此定义一整个新类。
三是这个新类并不在你使用这个新类(for_each被调用)的点上,因为局部类不能做模板参数。 你要的是lambda function: for_each(v.begin(), v.end(), <>(int& i){ …}); 可是C++98没有。 你要的是内建foreach: for(int& i : v) {…} 可是C++98没有。
鉴于循环结构是编程中最常出现的结构之一。这个问题其实还是比较恼人的,如果你觉得不恼人可能只是因为你适应性习惯了,这未必是好事。比如每次都要写std::vector::iterator就很让人恼火,如果我换个容器,就要修改一堆std::vector<…>。那用typedef行不行啊?行。
可仍然还是需要写一次typedef,我很懒,我什么多余的无用代码都不想写。要知道,每多出一行无用的(并非因表达思想所需要才出现)的代码,就增加一点维护负担,这也正是为什么语言的表达力如此重要的原因。 那怎么办?如果我告诉你,C++98里面其实你也可以写: foreach(int& i , v){ …} 你怎么想? 废话。当然是求之不得了。有这么简洁的表达方式谁还不想用啊。
我需要告诉你的另一个事实是。为了在C++98里面几近***地实现这个特性,有人把标准的角落挖了个底朝天。不,我不是在为钻语言细节找理由,我只是想告诉你,许多人所认为的钻语言细节的做法,其实一开始大多是由用户实际需求驱动的。
这个foreach设施被C++程序员们试图实现了N遍N种做法,可见需求之强烈。可惜绝大多数实现都远远称不上好用,就连现在这个实现的作者也早在03年在CUJ上发了一个实现,也称不上好用。
是后来又契而不舍才实现了最终这个真正好用的版本的。 我想说的是,上面这个美好的foreach,当然人人都想用。但问题是要在C++98下实现它只能靠挖标准,这是唯一的途径。#t#
要不然就得等语言进化,并忍受若干年,谁愿意?况且这个foreach设施还能作占位符,在C++09来临之前兢兢业业履行其职责,C++09加入内建foreach支持之后只消用正则表达式搜索全局替换,就OK了,没有任何的升级麻烦。
再举一个经典的例子:STL里面的traits。其实traits不应该是traits。traits最自然的实现方式应该是C++09的concept。但STL需要用到静态dispatch技术啊,那怎么办?要么用traits(增加语言复杂性),要么不用(显然不行)。再举个经典的例子:模板元编程。模板元编程有啥用?日常开发者八辈子估计也用不到。但真的吗?没错,日常开发者并不会直接用到。
但是,由模板元编程支持的各个boost子库呢?被选入C++语言的TR1的各个子库呢(间接用到)?那日常开发者用不用学模板元编程呢?不用学,根本不用学,这么复杂的技术学什么呢?也就是点技巧上的东西。那为什么偏有人学呢?待会再说。 还有大量的例子。
其实STL的traits技术已经能够说明问题了。如果你仔细看一看,你会发现,那些所谓的利用C++黑暗角落的技术,几乎无一不是出现在库开发里面的,而之所以出现在库开发里面,是因为库开发中的需求驱动的——为了开发出更好的库。难道你不想用更好的库? 哦,说到“更好的库”,肯定会有同学有意见了。