当前位置: 华文星空 > 知识

代码防腐

2021-02-23知识

代码腐化似乎注定的

  • 最初:没有谁是不想好好写的。都有一个宏伟的规划,这次一定
  • 途中:Code Review 如同「堂吉诃德」一般,根本架不住大批量大批量的修改
  • 放弃:躺平了,下次一定
  • 如此循环往复。然而腐化了之后,是无法起死回生的。

  • 食品防腐是 low tech 的事情,但是中毒身亡之后起死回生是天顶星技术
  • 新冠疫苗已经被人类掌握,但是免疫风暴造成的多脏器衰竭仍然是天顶星技术
  • 虽然很多人醉心于遗留代码改造之道。笔者也从事铲屎业务很多年,仍未掌握此项技术。 还是让代码一直保持在未腐化的状态更简单一些。那么代码如何防腐呢?不靠 Code Review 又靠什么呢?

    通过信息隐藏,我们把代码分为「可以随便写的」和「不可以随便写的」两部分。从而控制代码腐化的蔓延。

    class 的信息隐藏

    我们都知道 class 有一个叫封装的概念。把 Field 和 Method 分为 Public / Private / Protected 三种。通过只暴露 Public 成员,我们就把 Private 和 Protected 成员给隐藏起来了。

    如果有如下的代码

    public double Area ( object [] shapes ) { double area = 0 ; foreach ( var shape in shapes ) { if ( shape is Rectangle ) { Rectangle rectangle = ( Rectangle ) shape ; area += rectangle . Width * rectangle . Height ; } else { Circle circle = ( Circle ) shape ; area += circle . Radius * circle . Radius * Math . PI ; } } return area ; }

    根据「开闭原则」(Open Closed Principle),好的代码应该尽量 Open for extension,Close for modification。也就是说,如果

    if ( shape is Rectangle ) { // ... } else if ( shape is Circle ) { // ... } else if // ... }

    这样一直修改这个 if/else 是不好的代码。好的做法是把 Rectangle 的 Width/Height 隐藏起来,把 Circle 的 Radius 也隐藏起来。

    public double Area ( Shape [] shapes ) { double area = 0 ; foreach ( var shape in shapes ) { area += shape . Area (); } return area ; }

    从依赖关系上来看,就是如下图所示

    这样我们就把代码分为上下两部分。对于 Rectangle,Circle 以及 AreaCalculator 来说,彼此都不知道对方的存在。 也就是大家都依赖 Shape,但是彼此没有依赖关系。

    Git 仓库的信息隐藏

    class 有封装和依赖关系。Git 仓库也有封装和依赖关系。

    在上图中,B和C是互相隐藏的。B的实现细节对C隐藏了,C的实现细节对B也隐藏了。 我们都使用过 visual studio code,其插件化架构就类似上面的依赖关系。通过新增插件来实现功能的扩展。

    我们可以把这种做法更一般的描述为「主板+插件」。

    容易写出幺蛾子的代码都是集中在一个(主板)Git仓库里的。 在做 Code Review 的时候,只需要重点观照倒置到底层的集成Git仓库是否合理。 所谓合理,就是能不改就不改。除非不开槽,不开扩展点,需求在插件中无法实现了。

    「主板+插件」不仅仅可以写 Visual Studio Code 这样的 IDE,对于各种类型的业务系统都是同样适用的。 只是 VsCode 可能一个插件点上可以有多个插件,而业务系统上一般不会有那么多彼此可替换的插件,更多是一个萝卜一个坑的搞法。 主板部分一定要尽可能的小,要不然就会变成所有的需求都要堆到主板里去实现了。

    这种写法和上面的「 class信息隐藏」是不是一回事?从倒置的角度是一回事。但是区别是基于 class 的依赖倒置缺乏编译器的保障,无法确保插件之间不互相引用。

    这两个禁止才是关键。

  • 禁止主板Git仓库反向依赖插件Git仓库
  • 禁止插件Git仓库之间互相依赖
  • 如何实践,这玩意真能写业务?

    理论上看起来很美好,然而有两个问题

  • 主板+插件的技术方案
  • 对应具体的业务需求,怎么拆分出主板和插件来?
  • 离散型 UI
  • 混合型 UI
  • 离散型流程
  • 混合型流程
  • 产品族
  • 领先技术
  • 最后我们来看一个亚马逊商城的综合案例。

    不倒置可不可以?

    是不是不依赖倒置就不能写插件呢?比如,这个样子是不是也是一样的

    这样不一样可以把代码都写在插件里吗?在最上层加一个「业务编排」,和所谓的「主板」不是同样的概念吗? 这样的问题是插件与插件之间没有互相的依赖关系怎么能实现业务需求呢?比如在成交了之后分佣,分佣插件怎么知道啥叫成交呢?这种写法的大概率后果是更频繁地需要改动「业务编排」Git仓库,从而使之成为瓶颈。然后又逐步发展成下面这个模式:

    如果不搞出一个主板,允许彼此插件之间互相调用那会更加混乱。相比上面有一个「业务编排」,下边有一个「主板」。那似乎把「业务编排」去掉更简单一些。

    那我们只要一个主板吗?并不是这样的,主板的需求来自于 UI 界面的耦合,以及混合流程的耦合。 如果两个业务需求都有完全独立的界面,流程上可以拆分为事件驱动的,那完全可以写两个主板,彼此独立的发展。 比如说我们有一个主板承载了商城订单的界面和流程,来了一个淘宝商品搬家的需求。 这个淘宝商品搬家有独立的UI,只需要商城开个写入商品的接口就可以完成需求。 类似这样的需求就没有必要写成插件,插到商城主板上,而是独立有一个「商品搬家」的主板。

    为何信息隐藏可以代码防腐?

    David Parnas 在 1971 年就写了 On the Criteria To Be Used in Decomposing Systems into Modules,以上信息隐藏的做法基本上已经得到程序员的认可。但是我们看下图

    50年来,大量的新人不断地涌入这个行业。如果指望一个项目上所有的人都能遵守很高的标准,能够独立对「好」和「坏」的设计做正确的判断,这是不现实的。并不是说软件工程教育不重要,教育仍然是要做的。但是仅仅靠教育来提高软件工程的质量是不现实的。

    如上图所示的「信息隐藏」的做法,其实质是为了「代码防腐」。在这样的依赖关系下,插件的 Git 仓库是不会造成全局的影响的。这样我们就可以放心的把新人分配去写一个独立的插件,而不用担心其设计选择造成大面积的代码腐化。

    【业务逻辑拆分模式】

    全文请访问 https:// autonomy.design