暗无天日 ·

异步编程的函数着色税

💡 原文中文，约6100字，阅读约需15分钟。

📝

内容提要

异步编程中的“函数着色税”指的是函数是否为异步影响其调用链，导致函数签名变更。这一问题随着异步编程的发展逐渐显现，影响了库的设计和生态分裂。不同语言如Go、Java、Zig和Clojure采取了不同策略来避免这一问题，强调函数签名应专注于业务逻辑，而非执行细节。

🎯

异步编程中的函数着色税是指函数是否为异步影响其调用链，导致函数签名变更。
函数着色的传染性使得一个函数的签名不再只取决于其业务逻辑，还取决于内部执行的I/O类型。
函数着色在三个层面逐级放大：函数级、库级和生态级，导致维护负担加重和生态分裂。
不同编程语言采取了不同策略来避免函数着色税，例如Go使用goroutine，Java引入虚拟线程，Zig移除async/await关键字，Clojure使用channel作为统一接口。
函数签名应专注于业务逻辑，而非执行细节，以避免函数着色带来的复杂性和维护成本。

🔎

函数着色税不仅影响函数签名，还在库和生态层面造成了复杂性。随着异步编程的普及，开发者需要面对维护多套 API 的负担，这可能导致项目的开发和维护成本显著增加。

各编程语言对函数着色税的应对策略各异。Go 和 Java 通过引入轻量级线程和虚拟线程来避免着色，而 Zig 则彻底移除了 async/await 关键字。这些策略的选择反映了对异步编程复杂性的不同理解和处理方式。

虽然 async/await 使异步代码更易读，但它也可能隐藏并行执行的机会，导致性能下降。开发者在使用时需谨慎，确保能够充分利用并行处理的优势，而不是被顺序执行的表象所误导。

❓

函数着色税是指函数是否为异步影响其调用链，导致函数签名变更的问题。

函数着色税使得库的作者面临选择：要么写同步库，异步用户无法使用；要么写异步库，同步用户需要引入复杂的异步运行时。

不同语言如Go使用goroutine，Java引入虚拟线程，Zig移除async/await关键字，Clojure使用channel等方式来避免函数着色税。

在生态级别，函数着色税导致运行时分裂，造成不同运行时之间的兼容性问题，影响库的使用。

async/await的设计可能隐藏并行机会，因为它让异步代码看起来像同步代码，导致I/O操作被强制串行化。

函数着色的核心矛盾是函数签名不应依赖于内部I/O类型，但async/await却将这一实现细节变成了接口的一部分。

🏷️