如何写出没有Bug的代码？

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

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

▲世界上第一个bug

一、趣谈：如何为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。其替代方案容我稍后再讲。

二、思考：我们能不能杜绝bug？

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

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

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

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

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

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

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

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

三、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的代码呢？

答案：不写代码。

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

四、尽可能少写代码

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

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

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

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

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

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

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

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

五、为什么要追求无bug呢？

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

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

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

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

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

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

英格兰有句谚语：Where there's muck，there's brass。

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

作者：sherrywasp
来源：脚本之家（ID：jb51net）
dbaplus社群欢迎广大技术人员投稿，投稿邮箱：editor@dbaplus.cn