如何写出没有Bug的代码?

开发 后端
没有人喜欢bug,bug意味着错误、不确定性、加班、交付风险……负面的词语怎么堆砌都不冗余。随便找个有过一、两个项目经验的开发者,问问他debug的回忆,那气氛就跟上坟一样。

[[326688]]

 1947年9月9日,美国海军准将Grace Hopper在哈佛学院计算机实验室里使用MarkII和MarkIII计算机进行研究工作。她的团队跟踪到MarkII上的一个错误,操作人员发现是由于一只飞蛾钻到了MarkII的继电器里导致的。

团队清除了这只飞蛾,一切恢复正常。当时的工作人员记录了这样一句日志:“First actual case of bug being found.”这次著名的事件,犹如潘多拉打开了魔盒,从此,程序员的世界里,bug满天飞。

▲世界上第一个bug

[[326689]]

趣谈:如何为bug找借口?

在我所担任过的角色中,有一个岗位叫做Development Manager,通常简称DM。记得在一次基于一款平台的二次开发项目中,因为bug实在太多,我们几乎拿出了一整个里程碑的周期来debug,于是我这个DM有了新的解释:Debug Man。

没有人喜欢bug,bug意味着错误、不确定性、加班、交付风险……负面的词语怎么堆砌都不冗余。随便找个有过一、两个项目经验的开发者,问问他debug的回忆,那气氛就跟上坟一样。

对于bug,开发者的神经往往也很敏感。有个段子很有趣——说的是“应该如何向程序员反馈一个bug?”

你不能直接跟他说:“这里不对啊,是不是你程序有bug啊?”,要这么说的话,会直接被怼回来:“你丫的自己不会用吧!”。

你可以换个说法:“咦,这里好像不对,是我操作错了吗?”,这时程序员心里就一咯噔:“Shit...不会是我代码有bug吧?”

从业多年,发现有个现象还蛮有趣的:有时候,当某个bug被发现时,犯下这个错误的始作俑者会开玩笑地为自己解脱:“谁没写过bug啊,Windows还有bug呢。”这句托词我也用过,感觉挺好用的,就好比:梅西都能罚丢点球,我空门没进,也是可以理解的嘛。

但其实吧……这逻辑经不起推敲的。

Windows操作系统,一款长达30多年,装机量估计都超过了地球人口数量的巨型工程,复杂度基本只能靠猜。以微软公布的资料来看:

  •  Windows95代码量约1500万行;
  •  WindowsXP代码量约4500万行;
  •  WindowsVista代码量约5000万行;
  •  Windows7代码量5000+万行。

以Windows7为例,超5000万的代码量,23个小组,共1000多人的开发团队。如此规模下产生的bug,和一个在办公室里上了1天班,写了200行代码,就闹出一堆bug,搞得项目乱七八糟的,能同日而语吗?最后再轻描淡写地来句“微软也有bug”,不害臊?

所以我后来不用这句了,如此开脱,水平太low。其替代方案容我稍后再讲。

[[326690]]

思考:我们能不能杜绝bug?

为了对抗bug,人们发明了各种各样的工具和手段,上至方法论,下至生产工具。越来越先进的IDE,复杂的代码审查制度,从单元测试到集成联调,再配上beta版,试用,公测等等。凡此种种,其目标无一不是消灭bug。可这些琳琅满目的解决方案的存在,反倒证明了一个悲剧:人类,实在是太容易犯错了。

如果说凡事都有正反两面的意义,那么bug的正能量就是硬生生造就了大量就业机会,进而维护了社会稳定。

那么,为什么我们总是无法避免bug的产生?我们能不能杜绝bug?

答案当然是不可能了。因为那样一来,程序员的日子岂不是太舒服了?不符合苦逼的定位。而且,我们所处的这个世界,但凡越是高呼要消灭的东西,越是会普遍地存在。就像苍蝇、蚊虫、污染、犯罪、战争,不一而足。

按照常识,经验越丰富的老手写出来的代码,一次通过的几率更高,比如他们思考得会更周全,对异常的判断和处理更老练,边界条件把握得更精确,等等。

所以我们可能会幻想:是不是只要我们足够仔细,并努力磨练技艺,通过让一部分码农先老练起来,然后实现共同老练,最终就可以达到全世界开发者联合起来消灭bug的大解放了?

很遗憾,这只是一个治标不治本的思路,因为bug是有阶级的。老手们的bug相对少,只是低级错误少,他们也会遇到bug,而他们的bug,往往都是一眼蒙逼的难度系数N.x的难题,不发生在代码层面,大多在业务层面,甚至需求设计层面,或者直接是一些不可抗拒因素(做过政府项目吗?)。

总之,萌新有萌新们的秀逗,大叔有大叔们的短路,老杆也会有自己的滑铁卢。

[[326691]]

bug还是feature request?

bug这个概念的起源,就预示着它的不可避免性。世界上第一个bug是一只飞蛾,这剧本,谁能料到?某种意义上说,bug就是不可预见的错误,能被预估并且提前做好准备的,那叫exception,try catch是他们的朋友。

对于为什么会产生bug的原因,著名的荷兰计算机科学家Edsger W.Dijkstra有过一句经典名言:

If debugging is the process of removing software bugs,then programming must be the process of putting the min.

这就是上文提到的那句托词“Windows也有bug。”的替代方案。:)

设想一下,当你从无到有的写下一句句代码时,中间的任意一个时刻,你的程序都是运行不起来的,至少也是达不到目标效果的。从效用上完全等效于充满bug的一堆代码。你可能会辩解,程序还没写完呢,只是功能还没实现,并没有bug。

事实上,换位思考一下,缺失某个功能和包含一个有故障的功能,对于用户而言,都是无用的。一个处于开发阶段尚没写完的代码和开发结束但写得有缺陷的代码,是一回事。

由此可以引申出一个著名的命题:That's not a bug,it's a feature request. 

有时候,我们很难分清楚一个问题到底属于bug还是feature request。文中作者抛出了一个案例:用Visual Studio构建一个Windows GUI程序时没有采用系统默认字体。这个算不算一个bug呢?

不好说。毕竟,随着软件应用越来越普及、越来越追求所谓人性化的趋势,传统意义上的只要程序能运行就不算bug的观点,也在慢慢发生改变。对于一个强迫癌用户来说,UI上有缺陷,那基本上整个软件就不能用了。

事实上,在当今各类app竞争白热化、同质化的时代,用户体验上的问题,往往是致命的。以前大家没得选,所以没那么挑剔,只要程序能干活就行了。如今的计算机用户已经被宠坏了,在这样的时代下,bug早已悄悄地泛化了。

所以,到底如何才能写出没有bug的代码呢?

答案:不写代码。

一个悲观又绝望却正确的唯一解。

[[326693]]

尽可能少写代码

试着在这绝望里挖掘一点希望吧。这个答案隐含了一个方法论:尽可能少写代码。因为Dijkstra大师已经说得很清楚了,编程就是制造bug的过程。

那么,代码写的越少,犯错的几率就越小,这个道理显而易见。维护一段300行的代码,我们很容易有信心;接手一段3000行的代码,什么反应就看各人素质了。

现代的开发方式也都包含有这个思路,从IDE的智能提示,代码补全功能,到每门语言都会有的各种“21天从入门到精通”的开发框架,以及很多实战层面的约定俗成,都是在帮助开发者减少不必要的编码。框架化、规范化思维能降低出错的可能性。

事实上,就连编程语言本身的历史发展都是按照这个思路在进行。从底层的汇编语言,到C/C++,再到Java/C#/Python……等各种高级语言,语言演化的目的之一就是为了把程序员从脏活、累活的工作中解放出来。

“不要重复造轮子”的精神,一方面是在指导我们提高效率,不要重复劳动成本,另一方面也是减少重复犯错的几率。

当代Web开发中的各种包管理概念正深刻地践行着这条精神,以至于在2016年3月爆发了著名的NPM&left-pad事件:一段区区11行的字符串填充函数模块,被全世界依赖,结果作者Azer下架模块包的那一天,全球前端大崩溃。受波及的产品和团队中,甚至包含著名的React!

这个事件让人们开始反思:我们是不是忘了该如何编程了?一个功能简单到人人都会写的函数,却都不约而同地选择引入,而不是自己实现。最终,过犹不及。

写代码,真的很难。NO BUG,NO CODE。

[[326695]]

为什么要追求无bug呢?

可是,如果真的只能不写代码了,那么本身就已经没有女朋友的程序员们,现在连代码也没有了,这还让不让人活了?

不能这样把程序员们给逼死了,要讲人权。

有时候,当答案实在不可接受的时候,我们就该思考是不是问题问错了。

所以,换个角度,为什么要追求无bug呢?也许我们根本就没必要害怕bug。

有bug的地方就有麻烦,有麻烦就有解决麻烦的需要,客户就是给那些能解决麻烦事的人支付报酬的。只处理简单的问题,是没有价值的,市场只认可那些面对困难能提供解决方案的人。简单来讲,想赚钱,就别怕麻烦。

对于客户来说,不管是bug或是feature request,都是一个需要解决的问题。一个优秀的PM,可以把客户反馈的bug,包装成feature request,返回一套解决方案。然后,优秀的商务代表出马,签订补充协议。恭喜,你们的项目经费增加了一点点。

英格兰有句谚语:Where there's muck,there's brass。

如此看来,“如何写出没有BUG的代码?”这问题,恐怕确实问错了。 

 

责任编辑:庞桂玉 来源: ITPUB
相关推荐

2014-03-03 10:38:19

bug软件

2020-07-15 08:17:16

代码

2021-11-30 10:20:24

JavaScript代码前端

2013-06-07 14:00:23

代码维护

2020-05-11 15:23:58

CQRS代码命令

2021-09-01 08:55:20

JavaScript代码开发

2022-03-18 08:37:12

二分查找算法元素

2020-12-19 10:45:08

Python代码开发

2022-03-11 12:14:43

CSS代码前端

2019-09-20 15:47:24

代码JavaScript副作用

2022-02-17 10:05:21

CSS代码前端

2022-02-08 19:33:13

技巧代码格式

2021-01-04 07:57:07

C++工具代码

2019-06-24 10:26:15

代码程序注释

2015-09-28 10:49:59

代码程序员

2022-10-24 08:10:21

SQL代码业务

2018-01-29 21:56:28

Bug程序程序员

2015-05-11 10:48:28

代码干净的代码越少越干净

2021-07-19 08:24:36

阿里代码程序员

2020-05-14 09:15:52

设计模式SOLID 原则JS
点赞
收藏

51CTO技术栈公众号