软件工程抽象泄漏与编程

Posted 2021-10-08 ken1992code

什么是抽象泄漏

这个概念来自于 Joel Spolsky 的博客（The Law of Leaky Abstractions – Joel on Software）。文章大概讲述了，从 TCP 协议的封装让 IP 协议变得稳定可靠，推导出“抽象封装可以得到优秀的设计”，再到如果数据传输不再稳定，那就使用者就不得不深入底层（甚至到物理层，检查是不是宠物蛇咬断了网线）去排除问题，总结出“抽象封装总是会泄漏的，我们不得不花费更多的精力，并学习更多的知识，才能排除这个问题”。

举个更简单的例子，我们要出一趟远门，最底层的方法，就是用脚走。这时候，我们拿出一个优秀的抽象——一辆宝马汽车，它把轮子、座位、引擎等等概念封装起来，给了我们简单的使用方法（开车、转弯、停车等），让这趟旅途快捷舒适。但是，它总有一天会出现抽象泄漏——一个零件的损坏导致抛锚了，这时候我们就不得不找到熟悉整个汽车系统的工程师去解决这个问题。因为我们没有关于这个高级抽象的知识，尽管解决方式是简单的“替换一个 xx 零件”。

现代世界基于抽象运行，抽象让我们的生活极为便捷。比如“去公司”就是，地铁公司把这趟路程和规划封装起来了，你只需要刷 2 次卡就行了，不需要知道它的运作原理。但是一旦抽象出现问题，某天某种原因地铁停运了，解决问题就需要大量且系统的知识，去检查所有的细节。

对编程的影响

现在对前端最大的误解是，懂一个 MVC 框架，例如 Vue，就可以进行开发工作了。Vue 把 html、JS 和 CSS 封装成了固定结构的文件，繁杂的 DOM 绑定和操作抽象成了简单的数据赋值。那是不是意味着，看一下文档然后跑一下 TodoList demo 就可以干活了？

当然不是。前面说到了，抽象一定存在泄漏。按钮需要消抖、组件嵌套不能冒泡，这些情况一旦出现，我们就不得不回到 timer 线程、事件机制这些底层知识的学习。甚至 Vue 的原理，例如数组绑定后不更新了、如何实现长按指令的场景，会逼迫我们学习它的系统机制。

结果就是，尽管抽象封装越来越高级，但是学习编程仍不见得变得简单。

启发

• 抽象能让我们的生活变得便利。
• 越来越多的高级工具会出现，节约掉繁杂的细节工作，让开发变得快速。同时，我们必须掌握抽象的内部机制，和底层的原理知识，才能应对抽象泄漏。这让调试和维护变得困难。
• 抽象让分工变得明确。前后端难以互换，全栈工程师也会变得稀缺。
• 抽象泄漏让编程工作“易学难精”的情况加剧。