JavaScript 异步调用框架 (Part 1 - 问题 & 场景)

异步调用的代码风格冲突

在 Ajax 应用中，通过 XMLHttpRequest (XHR) 获取服务器数据是常见操作，尤其在以客户端为中心的架构中。然而，在单线程的 JavaScript 编程模型下，这种异步调用的代码风格与常规的同步代码逻辑存在显著冲突，导致代码可读性和维护性下降。

以一个简单的除法函数为例，若该函数仅在客户端执行且为同步模式，其函数签名应如下所示：

function divide(operand1, operand2)

但如果对客户端计算的精度不满意，将除法逻辑移至服务器端执行，该函数便需通过 XHR 进行异步调用。此时，其函数签名可能演变为以下几种形式之一：

function divide(operand1, operand2, callback)
function divide(operand1, operand2, successCallback, failureCallback)
function divide(operand1, operand2, options)

为了处理异步结果，必须在函数签名中引入额外的参数来传递回调函数。由于 JavaScript 的单线程特性，我们无法让此类函数变为阻塞式的同步调用，因此必须采用异步模式。

回调函数的可传递性

可传递性

这种复杂性不仅局限于直接操作 XHR 的函数，还会沿着调用栈向外层传递。例如，若我们对加减乘除四则运算进行封装，仅暴露一个统一的运算接口：

function calculate(operand1, operand2, operator)

该 calculate 函数根据 operator 参数调用内部的 plus、subtract、multiply 或 divide 函数。然而，由于 divide 函数已变为异步函数，整个 calculate 函数也必须随之转变为异步函数，以处理异步结果：

function calculate(operand1, operand2, operator, callback)

进而，在调用栈中所有需要调用 calculate 的上级函数，除非明确不需要向上传递结果，否则都必须改为异步函数，否则无法正确获取或传递最终数据。

同步与异步混合的执行不确定性

同步并存

尽管 calculate 函数整体表现为异步，但其内部调用的 plus、subtract、multiply 仍是同步函数，仅当调用 divide 时才涉及异步操作。这使得 calculate 成为一个同步与异步逻辑并存的混合函数。

这会引发执行顺序的不确定性。调用者看到包含回调函数的签名，会默认 calculate 是异步的，但其实际执行路径却取决于内部逻辑。考虑如下调用代码：

calculate(operand1, operand2, operator, callback);

next();

这里涉及 callback 和 next 两个后续处理函数。它们执行的先后顺序是不确定的，完全依赖于 calculate 的具体实现逻辑。

如果 calculate 在无需进行异步操作（如加减乘）时直接同步调用 callback，那么在执行加减乘法时，callback 会在 next 之前执行；而执行除法（异步）时，next 会在 callback 之前执行。

若希望消除这种不确定性，可以修改 calculate 的实现，将所有同步调用也包裹在 setTimeout 中。这样，无论内部逻辑如何，next 函数总会在 callback 之前被调度执行。

然而，这种依赖 setTimeout 的做法实现成本较高，且容易因开发者疏忽或偷懒而遗漏，导致执行顺序再次变得不确定。因此，理想的做法是由框架自动处理这一细节，确保在使用框架时无法绕过此机制，从而保证行为的一致性。

实际应用场景分析

场景

以下是一个具体的应用场景示例（为简化说明，描述已做适当调整，可能与实际生产环境略有差异）。

在百度 Hi 网页版中，客户端会缓存一个用户对象列表。当打开与某用户的聊天窗口时，需从中读取该用户信息。这一过程涉及多种可能同步也可能异步的分支逻辑：

用户对象未缓存

异步读取用户信息

用户对象已缓存

用户是好友（信息更新由服务器端推送）

同步读取用户信息

用户不是好友（信息更新需由客户端拉取）

可以接受缓存信息

同步读取用户信息

必须获取最新信息

异步读取用户信息

可见，不同分支的结果既有同步也有异步。且这些逻辑分散在多个函数中实现。按照传统模式，部分函数同步，部分异步，受异步操作的传递性影响，最终调用栈顶层的函数均被迫变为异步函数。

异步框架的必要性

为解决此问题，我们需要构建一个异步调用框架，提供一种统一的调用方式，将同步调用和异步调用合并为一致的返回机制，从而简化代码逻辑并提高可维护性。