C++中std::future不支持then()链式调用，必须手动通过std::thread或std::async启动新任务并在子线程中调用get()，配合std::promise传递结果；推荐使用可移动的std::packaged_task封装任务，注意生命周期、异常传播与资源管理。
std::promise 和 std::future 不能直接链式调用，必须手动传递
std::future 不支持 then() 这类方法（C++11/14/17 均无），所谓“链式”本质是手动把上一个 std::future 的结果作为下一个任务的输入，靠线程或回调触发。常见错误是试图写 future.then(...)，编译直接报错：error: 'then' is not a member of 'std::future'。
可行路径只有一条：用 std::thread 或 std::async 启动新任务，在其函数体内 get() 前序 std::future，再把结果传给下一步逻辑。注意 get() 是阻塞的，别在主线程无脑调用，否则链就退化成同步串行。
- 每个
std::promise只能set_value()一次，重复调用会抛std::future_error（错误码为std::future_errc::promise_already_satisfied） - 若前序任务异常退出，需显式调用
promise.set_exception(std::current_exception())，否则下游future.get()会std::terminate -
std::future被移动后原对象变为无效状态，再调用valid()返回false，get()抛std::future_error
用 std::packaged_task 包装可移动任务，解耦执行与获取
std::packaged_task 是比裸 std::promise/std::future 更适合链式场景的封装——它自带 std::future，且任务对象可移动、可存储、可延迟执行。典型模式是：把计算逻辑包装进 std::packaged_task，用 std::thread 或线程池执行它，再用返回的 future 获取结果并触发下一级。
示例中常见陷阱是捕获变量生命周期：若 std::packaged_task 捕获了局部变量的引用，而任务在线程中异步执行，主线程已退出，就会访问野内存。务必用值捕获或确保被引用对象生命周期覆盖整个异步执行期。
立即学习“C++免费学习笔记（深入）”；
-
std::packaged_task构造时接受任意可调用对象（lambda、函数指针、functor），类型需匹配签名，如std::packaged_task<int></int> - 执行
task(42)后，关联的future状态变为 ready；未执行前调用future.wait()会阻塞 - 不能拷贝
std::packaged_task，只能移动；移动后原对象不可再调用，否则抛std::bad_function_call
手动实现简易 then() 扩展：避免阻塞，用 std::thread + lambda 中转
要模拟 future.then([](int x) { return x * 2; }) 这种写法，必须自己封装一层：接收原始 std::future 和回调函数，启动新线程等待前序完成，拿到结果后调用回调，并用新的 std::promise 包装返回值。
关键点在于「不阻塞调用线程」——所有 get() 必须在新线程里做。下面是最简可行实现：
template<typename T, typename F>
auto then(std::future<T>&& f, F&& func) {
using R = decltype(func(std::declval<T>()));
std::promise<R> p;
auto ret_fut = p.get_future();
std::thread([f = std::move(f), func = std::forward<F>(func), p = std::move(p)]() mutable {
try {
p.set_value(func(f.get())); // 在子线程中 get()
} catch(...) {
p.set_exception(std::current_exception());
}
}).detach(); // 注意：实际项目建议用 thread pool 管理
return ret_fut;
}
- 必须用
std::move(f)传入 lambda，否则std::future无法被移动进线程闭包 -
.detach()有资源泄漏风险，生产环境应改用线程池或std::jthread（C++20）自动 join - 返回类型
R依赖func的返回值，若func返回void，则R为void，此时需特化处理p.set_value()为p.set_value()
std::future 链式调用的真正瓶颈不在语法，而在资源管理与错误传播
很多人卡在“怎么写得像 JavaScript 的 Promise 那样流畅”，但 C++ 的难点从来不是语法糖——而是谁来 join 线程、异常怎么跨线程传递、std::future 对象何时销毁、多个 std::promise 的生命周期怎么对齐。
比如一个三阶链：f1 → f2 → f3，若 f2 的线程因异常提前退出，f3 的 future.get() 会 rethrow 异常，但如果 f2 的 promise 对象已被析构，set_exception 就失效了，最终行为未定义。这类问题不会在简单 demo 里暴露，只会在高并发、长生命周期任务中突然崩溃。
- 不要让
std::promise成为栈对象；推荐堆分配（std::unique_ptr<:promise>></:promise>）或作为长期存活对象的成员 - 所有跨线程数据传递必须满足
std::is_move_constructible，且不含裸指针或非原子共享状态 - C++20 的
std::jthread和std::stop_token可缓解取消问题，但标准库仍无内置链式 future，别指望靠升级语言版本一劳永逸
