Promise.all([]) 同步返回已兑现的 Promise，立即 resolve([])，不创建微任务；因为空集上“所有成功”空真，符合规范与数学逻辑，兼顾高效与链式安全。
因为规范明确要求：空可迭代对象被视为“所有任务已完成且无失败”，所以直接进入 fulfilled 状态，无需等待任何异步过程。
符合 Promise.all 的语义逻辑
Promise.all 的本质是“等待所有输入 Promise 完成，并确保全部成功”。当输入为空数组（[]）时，不存在任何待完成的 Promise，自然也就没有失败的可能。此时“所有都成功”这个条件 vacuously true（空真），即逻辑上自动成立。这和数学中“全称命题在空集上恒真”一致。
ECMAScript 规范强制规定
根据现行标准（ECMA-262），Promise.all 对空 iterable 的处理是同步决议：
- 不创建微任务，不进入事件循环
- 立即以
resolve([])返回一个已兑现的 Promise - 该行为与传入
[Promise.resolve(1), Promise.resolve(2)]等非空情况有本质区别——后者一定是异步兑现
实际表现可验证
运行以下代码会发现 then 回调同步执行：
java-api-doc-generator
下载
分析 Java Spring Boot 后端 Controller 代码，自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。
立即学习“Java免费学习笔记（深入）”；
（注意：不是在下一个 tick，而是当前宏任务内）console.log('start');<br>Promise.all([]).then(() => console.log('resolved'));<br>console.log('end');
输出顺序为：start → end → resolved，证明它没有延迟，但也不是完全同步（仍需排队 microtask），不过对空数组而言，其 resolve 是在当前执行栈清空前就确定的。
设计意图是兼顾实用性与一致性
空数组常出现在动态集合场景中，例如过滤后无匹配项、初始化列表、条件分支未进入等。若强制异步等待，反而会造成不必要的延迟和逻辑割裂。立即返回空数组既安全（无副作用）、高效（零等待），也便于链式处理——比如后续 .then(results => results.map(...)) 可直接安全调用，无需额外判空。
