写代码的指导思想：如何写出易测、清晰、健壮的牢固代码

代码只是形式，逻辑和思考才是神韵。


背景

写出 BUG 不算糟糕，给人埋坑，让别人写出 BUG ，耗时耗力才更令人讨厌。要想不写出 BUG， 不埋坑，需要用心写出 “易测、清晰、健壮” 的牢固的代码。95% 的代码，能做到这一点，就可以保证几乎无问题了；3%的代码能做到“可复用、可扩展”，善莫大焉！

本文结合之前的经历和案例，探讨如何写出“易测、清晰、健壮”的代码。

代码三性

代码的基本标准是：易测、清晰、健壮。

易测

易测，是说代码容易测试。写代码的第一思想是：不要对代码过于自信。

有人说，一行代码能出什么问题？ 可耗资巨费的火箭因为一行代码发射失败，金融行业因为一行代码使数亿美元蒸发，都是已发生过的案例。我个人也遭受过一次小小的惩罚，可参见：“订单搜索分页失效的教训：怠惰必受惩罚”。

有人说，异常有什么好测的 ？ 甚至连是否能编译通过都不检查。结果就出现了这个案例：“遗留问题，排雷会炸，不排也会炸！”。走到了异常分支，你才知道痛！

因此，写代码宜慎之又慎，一行尚且会潜藏问题，何况百行？

那么，如何写出容易测试的代码呢？其基本思想是：将可测逻辑与主流程、外部依赖分离。可测逻辑，主要指含有了 if, if-else, while, for 等条件、循环的逻辑。与主流程、外部依赖分离，就是集中兵力解决最核心部分。放在主流程里，就导致易测逻辑受其他部分影响，连带考虑的东西太多，耗费脑力，且测试很容易不彻底（不容易覆盖到所有情形）；与外部依赖放在一起，就要 mock 外部依赖，写一些不必要的测试代码。

“改善代码可测性的若干技巧” 这篇文章讲述了一些用于编写易测代码的基本技巧：“代码语义化”、“分离独立逻辑”、“分离实例状态”、“表达与执行分离”、“分离纯函数”、“面向接口编程”； “使用Groovy+Spock轻松写出更简洁的单测” 这篇文章则将如何使用好的框架去容易地编写单测。

清晰

清晰，是说把代码写明白，一看就懂，无需猜测。

要把代码写清晰，就要保证“语义与细节分离”，即将“做什么”(dowhat) 与 “怎么做”(howtodo)分离开。在主流程里，坚持只叙述 dowhat ，只在函数或方法里写清楚 howtodo 。

要达成良好清晰的语义，需要望文知义的命名。这又涉及到一个基本思想：单一事实职责。相信 80% 的开发者都听说过这个基本思想，但真正能始终贯彻的人不多。单一事实职责，就是每个方法，每个类只做分内的事情。你把自己当成一个将军，给每个方法、每个类去分配职责，能够把这个职责分配清楚，才有做将军的才能。

从“单一事实职责”以及其他软件思想中，可进一步提炼出一个核心原则：“关注点分离”。关注点分离原则，是确保写出清晰代码的最重要的根本原则。后文再详述。

把代码写清晰，也要落实到注释里。有的注释：“有个场景需要下单后马上查看订单详情”，就写的不明白：哪个场景？当人员变动时，后面的人就要花很大的沟通成本去找到这个场景。

健壮

健壮，主要指代码应对错误的能力。 健壮，可分为技术健壮性和业务健壮性。

技术健壮，就是从技术层面来考察错误。技术健壮是健壮性的基本考量。比如一次请求调用，如果超时怎么处理，如果依赖服务报错怎么处理 ？ 如果资源不存在怎么处理 ？对象的一次方法调用，如果对象为空怎么处理？如果方法未能执行成功抛异常怎么处理？ 要保证技术健壮性，需要采用“防御式编程”。

业务健壮，就是从业务层面来考察错误和变化。比如同城配送异常检测功能，是同城配送是否成功的检测。正常场景下，“同城送订单自动呼叫失败”，做个标识，是正常流程处理。可是，业务上还允许，同城配送失败后可以发货完成，这个就是业务的“异常场景”。如果不考虑这个场景，那么订单实际上配送成功了，但依然显示配送异常。再考虑一个栗子。零售网店订单派送仓库发货，正常场景下，一个订单只会有一个派送记录；但是，网店订单还可以改派，这时候，一个订单会有多个派送记录，必须过滤掉那些无效的派送记录。要保证业务健壮性，需要有“闭环与全局“思想。不仅仅只想到眼前这个业务，还要考虑这个业务与其他业务联合的情形，以及该业务 5%-10% 的非常规路径。

很多线上问题 和 BUG，都是健壮性不佳所导致； 如果在关键路径上健壮性不佳，还可能导致重大故障。

不报问题，勿以为安全无忧；不是没有，只是没发现，或没报上来，或没计较。等要计较时，麻烦就来了。因为这麻烦有可能正好插在你非常忙的时候，更容易令人心烦意乱。

要避免日后的麻烦，就要彻底干净地做好健壮性。有时会看到一段代码，捕获了异常，却什么都没做，或者简单打了个日志 log.error("failed") 。等于什么都没做。可见这做事态度毛毛糙糙。 三年写这样的代码，三年没长进。 学了技术，做事态度依然毛糙，是没法令其担当大任的。

错误日志，要做规范细致，需要尽量能够一眼就能断定问题所在。可参见： “如何使错误日志更加方便排查问题”

指导思想

凡事都可以分为基本原理和实战经验两部分。 基本原理，是帮助人认识一些基本情况，给予一些基本指导和方法；实战经验，则是遇到具体情况时，应用和扩展基本原理来解决问题。

要写出“易测、清晰、健壮”的代码，是有一些基本指导思想的；在基本指导思想之下，有一些法则及技巧辅助。

关注点分离

这是我认为的最核心的指导思想，可以推演出很多其他的软件设计和开发思想。

我深认为，软件中蕴藏着不计其数的大大小小的关注点。软件开发和设计的本质，就是将关注点分离、组织、连接。 能够将不同的关注点分离开，再合理有序地组织起来，呈现在代码里，就离写出清晰代码不远了。

关注点，可以分为技术关注点和业务关注点。通俗地理解，一个“关注点”，可视之为一个“事实”；但关注点的含义，比事实要广泛得多。

技术关注点，侧重于解决某一类技术问题。比如线程池、连接池、事务、幂等、切面、异步、MVC等。 “代码抽象与分层” 列举了代码里很多细小的抽象和关注点。

业务关注点，侧重于描述某个业务点。比如订单已发货、订单全额退款、获取订单已退金额，等都是业务关注点。业务关注点可大可小，小至一个业务常量，大至一个下单的基本流程。

能够将技术关注点和业务关注点抽离出来，对实现可复用、可扩展、可定制大有裨益。

从“关注点分离”思想，可以推导出很多重要的软件开发和设计思想。

  • 从关注点分离思想，可以推导出“语义与细节”分离思想。因为语义与细节分别是一类关注点：语义是宏观性的，细节是微观性的；
  • 从关注点分离思想，可以推导出“单一事实”（SRP）和“开闭原则”（OCP）。因为关注点分离出来，就更容易地维护、复用和扩展；
  • 从关注点分离思想，可以推导出 “基于接口设计与编程”思想，因为接口是关注点的抽象，而实现是关注点的具体实施；基于接口设计与编程的示例可见：“基于接口编程：使用收集器模式使数据获取流程更加清晰可配置” ， “基于接口设计与编程” 。
  • 从关注点分离思想，可以推导出“封装和多态”思想，因为封装本质上就是关注点的重组，而多态则是“将相异关注点进行分离，然后将相同关注点和相异关注点进行组合”；
  • 从关注点分离思想，可以推导出“组件化”思想，因为组件实质是多层次关注点的组合。

关注点分离，是近乎于“道”的统摄全局的根本思想。


make-it-right-then-good

好代码并非一蹴而就的。如果有人能一次性写出易测、清晰、健壮的代码，那这人很了不得。

和大多数开发者一样，我也急于完成业务逻辑。但是，实现业务逻辑只是起点，并不是结束。从起点到结束，还需要持续的修改和完善。

持续小幅重构，精炼代码。“精练代码：一次Java函数式编程的重构之旅” 展示了如何用函数式编程思想和技巧，来持续改善代码，使得代码更加精练而可复用。

有人觉得，这样费事不 ？ 代码只是形式。写代码的本质，是表达逻辑，表达思考的结果。 最终的代码，会折射出思考和表达的质量。 这才是一个程序员的核心竞争力。

不可变思想

不可变思想，是从函数式编程借鉴过来。意为“优先使用不可变量”。

在编写函数和方法的代码时，忌修改传参。一旦修改传参，就会使参数变成隐式的全局变量，在大的业务系统里，久而久之就很难知道里面究竟有什么，什么时候有什么时候没有，不知道能依靠和信任什么。全局变量是那种一旦出错，能耗上好几个小时排查让头发瞬间花白的东西，属于 “no zuo no die” 的神奇代码物种。

因此，函数和方法如果需要返回值，尽量使用返回值，而不是修改传参。这样做的一个好处是，代码也更容易测试。

软件开发的一项挑战是“软件行为的可预测性”。不可变思想，可以增强软件行为的可预测性，减少很多推断行为。比如说，使用线程安全的变量和共享不可变变量，孰优孰劣？ 前者虽然也能保证并发的安全性，可说到底还需要反复分析推敲，且规模越大时越难以分析推导；后者就是不可变的，根本无需分析和推导。当然，软件中不可能一直使用不可变量，因此，原则是：优先使用不可变量。

知己知彼

代码的目标是提供正确有效的服务，而 BUG 的目标则是阻止代码实现目标或完全实现目标；从目标意义来看， BUG 就是代码的敌人；从根源来看，BUG 又与代码相生相伴。

知己知彼，才能百战不殆。每一次开发、测试、发布，实现需求或优化，都是一场战役。要想不出错，除了慎之又慎，还需要知彼。知彼指知道代码中的常见问题以及如何避免。

“代码问题及对策” 列举了在程序员职业生涯中可能会遇到的 90% 的错误；“故障常见原因归类分析及预防和应对措施” 列举了可能导致故障的各种原因及预防应对措施。

写下的每一行代码，能够评估出可能出现什么问题，有心避免这些问题，就已经很了不起了。

小处着手

这么多思想，这么多法则，这么多技巧，这么多问题，从何处着手呢？

从小处着手。 在写代码时，始终牢记“关注点分离”思想，坚持编写单一事实的短小方法，这是基本功；其次，多思考如何写得更清晰简洁；再次，适当学点设计思想和模式，让代码出有据，具柔性；最后，勤积累，在实战中积累经验，及时总结。

匠心态度

写代码应持匠心。要用一种精致的态度去写代码，才能写出优美而牢固的代码。

忌随意散漫。随意散漫，并不是说闭着眼睛写代码，或者来个葛优躺地写代码；而是说，写代码只考虑快速去实现逻辑，而不考虑如何更清晰简洁地表达这个逻辑。这样，很容易养成一些不良习惯而不自知，久而久之，代码乃至设计的水平就会停滞不前，仅学会了一点技术来充饥。

在代码里随意写个魔数，就是一种随意散漫的习惯。因为魔数，本质上就是一个细小的关注点，也是轻忽不得的。“代码的味道” 列举了若干个比较典型的不良习惯及如何纠正；“如何编写可信赖的代码” 列举了许多细小的法则和技巧来帮助编写可信赖的代码。

匠心态度，也需要自律和努力写标准规格的代码。建筑、机械、电子等行业，对于许多零部件，都有各种标准规格的制定，而在实际构建成品时，基本是采用标准规格的部件。反观软件行业，基本没有多少标准规格的东西，总觉得自己能造出更好的轮子，结果大部分都被丢弃了，很多工作成果都没有得到很好的继承和发展。一个业务系统的大部分代码，放到另一个业务系统里，基本不可用。

小结

代码的基本标准是：易测、清晰、健壮。要做到这点，“关注点分离”思想是根本指导思想，是近乎于“道”的统摄全局的根本思想；辅以多种思想、法则和技巧，熟知各种常见问题，就能写出牢固的代码。

道是生发出法则和技巧的根本层面。遇事犹疑不决时，要回溯到道的层面来解决问题。

posted @ 2019-10-13 11:53  琴水玉  阅读(1800)  评论(0)  编辑  收藏  举报