Future 与 Promise 模式

Future 与 Promise 模式是一种处理异步计算的设计模式：发起耗时操作时立即返回一个代表未来结果的占位对象(Future)，真正的结果由另一端(Promise)在计算完成时填入。调用方既可以稍后读取，也可以注册回调，让程序在结果就绪时自动继续。

概述

相关概念可追溯到 1977 年亨利·贝克(Henry Baker)与卡尔·休伊特(Carl Hewitt)的研究，以及 1985 年 MultiLisp 语言中的 future 结构；芭芭拉·利斯科夫(Barbara Liskov)等人在 Argus 语言中提出了 promise。如今它几乎无处不在：JavaScript 的 Promise 与 async/await、Java 的 CompletableFuture、Python 的 asyncio.Future、C++ 的 std::future、Scala 与 Rust 的 Future 都是该模式的落地。

核心原理

• 读写分离：Future 是只读视图，Promise 是一次性写入端，结果一旦完成便不可更改。
• 三种状态：待定、已成功、已失败，失败以异常或错误值的形式传播给消费者。
• 回调与组合：通过 then、map、flatMap 等组合子把多个异步步骤串联或并联，避免层层嵌套回调。
• 语法糖：async/await 让异步代码呈现同步书写形式，编译器将其转换为状态机与回调。

应用场景

该模式适用于网络请求、磁盘读写、远程调用等一切耗时操作：前端并发拉取多个接口后聚合渲染；服务端用异步客户端同时调用多个下游服务，再合并结果，显著缩短总延迟并减少线程占用。

常见问题

问:Future 和 Promise 到底谁是谁？答:习惯上 Future 指消费结果的一端，Promise 指生产结果的一端；但各语言命名并不统一，例如 JavaScript 只有 Promise 一个对象同时承担两种角色。

问:阻塞式地 get 一个 Future 有什么问题？答:这会让调用线程原地等待，抵消异步的意义，在线程池或事件循环中阻塞等待还可能导致饥饿甚至死锁，应优先使用回调组合或 await。