第9章

可重用性这个概念多多少少与20世纪80年代兴起的面向对象编程有些关联。不管怎样寻找证据,也不可能ม把这两ä件事完全分开。某些使用面向对象编程开出来的软件确实具有可重用性,但是这不是因为ฦ它使用了面向对象编程,而是因为ฦ它的开方法是自下而上的。以函数库为例,它们具有可重用性,是因为它们属于语言的一部分,而不是因为ฦ它们采用面向对象或者其他编程方法。

好设计是永不过时的设计。只要没有错误,每一个数学证明都是永不过时的。所以,数学家哈代才会说:“丑陋的数学在世界上无法生存。”他的意思与飞机设计师凯利ำ·约翰逊的观点是一样的:如果解决方法是丑陋的,那就肯定还有更好的解决方法,只是还没有现而已。

事实上,财富与金钱是两个ฐ概ฐ念。金钱只是用来交易财富的一种手段,财富才是有价值的东西,我们购买的商品和服务都属于财富。你到海外旅行时,不用看当地人的银行账户就会知道你来到的是富国还是穷国。你只要看看他们的财富就行了:建筑、街道、服装、健康状况等。

为什么เ不尝试一下?

软件的布๧

流行的道德观念与其他普通的流行时尚的产生方式似乎是不一样的。一般来说,流行的时尚产生于某个有影响力的人物,他突奇想,接着其他人纷纷模仿。15๓世纪晚期,欧洲流行一种宽头鞋oaທd-ๅtoedshoe,原因是当时的法国皇帝查理八世长了六根脚趾。20世纪20年代,着名电影明星fraທnk9k改成一个印第安纳州工业小镇的名字gary,以便突出自己粗犷硬朗的铁汉形象,结果导致这个名字风靡一时,很多父母都为儿子取名为gary。但是,流行的道德观念不是这样,它们往往不是偶然产生的,而是被刻意创造出来的。如果有些观点我们不能说出口,原因很可能是某些团体不允许我们说。

‘在英语中,“建筑师”arcນhitect和“架构师”architect是同一个词,所以这里用的是双关语,意思是优秀程序员不仅负责建造,还负责架构。后一句中的“建筑学”architecture也是这种双关用法,同时指“架构学”aທrchitecture。一译者注’

电子技术的展,使得计算机日益成为ฦ人类社会必不可少的一部分。

随大流的代价

使用一种不强大的语言,你的损失有多大?实际上有一些现成的数据可以说明这个问题๤。

衡量语言的编程能力的最简单方法可能就是看代码数量。所谓高级语言,就是能够更强大抽象能力的语言,从某种意义上,就像能够更大的砖头,所以砌墙的时候用到的砖头数量就变少了。因此,语言的编程能力越强大,写出来的程序就越短当然不是指字符数量,而是指独立的语法单位。

强大的编程语言如何让你写出更短的程序?一个技巧就是在语言允许的前提下使用“自下而上”bottom-up的编程方แ法。你不是用基础语言baທ色浪uage开应用程序,而是在基础语言之ใ上先构建一种你自己的语言,然后再用后者开应用程序。这样写出来的代码会比直接用基础语言开出来的短得多。实际上,大多数压缩算法也是这样运作的。“自下而上”的编程往往也便于修改,因为许多时候你自己添加的中间层根本不需要变化,你只需要修改前端逻辑就可以了。

代码的数量很重要,因为开一个ฐ程序所耗费的时间主要取决于程序的长度。对于同一个ฐ软件,如果用一种语言写出来的代码比用另一种语言长三倍,这意味着你开它耗费的时间也๣会多三倍。而且即使多雇人手,也๣无助于缩短开时间,因为当团队规模过某个门槛ນ时,再增加人手只会带来净损失。fredooks在他的名着《人月神话》中ณ描述了这种现象,我的所见所闻印证了他的说法。

如果使用lisp语言,程序能变得多短?以lisp和c的比较为例,我听到的大多数说法是c代码的长度是lisp的7๕倍到10倍。但是最近,ne9architect杂志上有一篇介绍ita软件公司的文章

,里面说“1้行lisp代码相当于20่行c代码”,因为此文都是引用ita总裁的话,所以我想这个数字来自ita的编程实践。如果真是这样,那么我们可以相信这句话。itaທ的软件不仅使用lisp语言,还同时大量使用c和cນ++,所以这是他们的经验之谈。

‘jenmuehlbauer,“or逼tz的新突破”or逼tzrea9e9architecນt,2๐002๐年4月号。’

我认为,这种比例肯定不会是一个常数。如果你遇到更困难的问题,或者你雇到了更聪明的程序员,这个比例就会增大。一种出色的工具到了真正优秀的黑客手里,可以挥出更大的威力。

总之,根据上面的这个数字,如果你与ita竞争,而且你使用c语言开软件,那么ita的开度将比你快20倍。如果你需要一年时间实现某个功能,它只需要不到เ三星期。反过来说,如果ita开某个新功能用了三个月,那么你需要五年才能ม做出来。

你知道吗?上面的对比还只是考虑到เ最好的情况。当我们只比较代码数量的时候,言下之ใ意就是假设使用功能较弱的语言也能开出同样的软件。但是事实上,程序员使用某种语言能做到的事情是有极限的。如果你想用一种低层次的语言解决一个很难的问题,那么你将会面临各种情况极其复杂乃ี至想不清楚的窘境。

所以,当我说假定你与ita竞争,你用五年时间做出的东西,ita在lisp语言的帮助下只用三个月就完成了,我指的五年还是一切顺利、没有犯错误、也没有遇到太大麻烦的五年。事实上,按照大多数公司的实际情况,计划中五年完成的项目很可能永远都不会完成。

我承认,上面的例子太极端。ita似乎有一批非常聪明的黑客,而cນ语言又是一种很低层次的语言。但是,在一个高度竞争的市场中,即使开度只相差两三倍,也足以使得你永远处在落后的位置。

一个ฐ诀窍

由á于选择了不当的编程语言而导致项ำ目失败的可能性,是你的经理不愿意考虑的问题。事实上大部分的经理都这样。因为你知道,总的来说,你的经理其实不关心公司是否真的能ม获得成功,他真正关心的是不承担决策失败的责任。所以对他个ฐ人来说,最安全的做法就是跟随大多数人的选择。

在大型组织内部,有一个专门的术语描述这种跟随大多数人的选择的做法,叫做“业界最佳实践”。这个词出现的原因其实就是为了让你的经理可以推卸责任。既然我选择的是“业界最佳实践”,如果不成功,项目失败了,那么你也无法指责我,因为做出选择的人不是我,而是整个“业界”。

我认为这个ฐ词原来是指某种会计方แ法,大致意思就是不要采用很奇怪的处理方法。在会计方แ法中,这可能是一个很好的主ว意。“尖端”和“核算”这两个词听上去就不适合放在一起。但是如果你把这个标准引入技术决策,你就开始要出错了。

技术本来就应该是尖端的。正如伊拉恩·加内特所说,编程语言的所谓“业界最佳实践”,实际上不会让你变成最佳,只会让你变得很平常。如果你选择的编程语言使得你开软件的度只有选择更激进技术的对手的几分之ใ一,那么“最佳实践”真的起错了名字。

所以,我们就有了两ä点结论,我认为ฦ它们非常有价值。事实上,这是我用自己้的经历换来的。第一,不同语言的编程能力不一样。第二,大多数经理故意忽视第一点。你把这两点事实结合起来,其实就得到了赚钱๥的诀窍。itaທ软件公司是运用这个诀窍的典型例子。如果你想在软件业获得成功,就使用你知道的最强大的语言,用它解决你知道的最难的问题,并且等待竞争对手的经理做出自甘平庸的选择。

附录:编程能ม力

为了解释我所说的语言编程能力不一样,请考虑下面的问题๤。我们需要写一个函数,它能够生成累็加器,即这个函数接受一个参数n,然后返回另一个函数,后者接受参数i,然后返回n增加in9t了i后的值。这里说的是增加,而不是n和i的相加plus。累加器就是应该完成n的累加。

摸nlisp

的写法如下:

defunfoon

lambdaiin9i

‘下面是一些lisp方言生成累็加器函数的写法:

scheme:

definefoon

lambຘdai色t!n+nin

goo:dffoonopin9_ຕ

ar9_’

ruby的写法几乎完全相同:

deffoon

lambdaທ{|i|n+=i}end

perl5的写法则是:

subfoo{

my$n=@_;

sub{$n+=๡shift}

}

这比lisp和rubຘy的版本有更多的语法元素,因为ฦ在perl语言中必须ี手工提取参数。

smalltalk的写法比lisp和rubຘy的稍微长一点:

foo:๘n

|s|

s:=n

:๘i|s:=s+i

因为在smalltaທlk中,词法变量lexicalvariaທbຘle

是有效的,但是你无法给一个参数赋值,因此不得不设置了一个ฐ新变量,接受累加后的值。

‘词法变量,指的是变量的作用域由代码结构决定,不取决于运行时的调用顺序。也๣就是说,作用域在代码文本的词法分析阶段就决定了,而不在代码执行时决定。注意将这个概念与“局部ຖ变量”的概ฐ念相区分。——译者注’

javascນript的写法也比lisp和ruby稍微长一点,因为javaທscript依然区分语句和表达式,所以需要明确指定return语句来返回一个值:

fun9{

returnfun9i{

returnn+ใ=i}}

实事求是地说,perl也保留了语句和表达式的区别ี,但是使用了常规的perl方式处理,因此可以省略return。

如果想把lisprubyperlsmaທlltalkjaທvas9๗,你会遇到一些限制。因为ฦpyth并不完全支持词法变量,你不得不创造一种数据结构来接受n的值。而且尽管python确实支持函数数据类型,但是没有一种字面量的表示方式literalrepre色ntation可以生成函数除非函数体只有一个ฐ表达式,所以你需要创造一个命名函数,把它返回。最后的写法如下:

deffoon:

s=n

defbari:

s0+ใ=i

returns0

returnbar

python用户完全可以合理地质疑为什么不能写成下面这样:

deffoon:

returnlaທmbdai:returnn+=๡i

或者

deffoon:

lambຘdai:๘n+=๡i

我猜想,python有一天会支持这样的写法。如果不想等到python慢慢进化到更像lisp,总可以直接……

在面向对象编程的语言中ณ,你能够在有限程度上模拟一个闭包即一个函数,通过它可以引用由á包含这个函数的代码所定义แ的变量。你定义一个类cນlass,里面有一个方法和一个ฐ属性,用于替换封闭作用域en9๗gscope中ณ的所有变量。这有点类似于让程序员自己้做代码分析,本来这应该是由支持词法作用域lexicalscope的编译器完成的。如果有多个函数,同时指向相同的变量,那么เ这种方แ法就会失效,但是在这个简单的例子中,它已经足够了。

python高手看来也同意这是解决这个问题比较好的方法,写法如下:

deffoon:

claທssa:

def__init__色lf,s: