C++实现异步任务的任务链式调用执行逻辑 _ std::future与promise【源码】-C++-PHP中文网

std::future只能移动不能拷贝，且get()/wait()后再次调用会抛std::future_error；链式调用须靠std::promise显式set_value/set_exception“推送”结果，而非反复取值。

c++实现异步任务的任务链式调用执行逻辑 _ std::future与promise【源码】

std::promise 和 std::future 配合链式调用的核心约束

直接说结论：std::future 只能移动、不能拷贝，且一旦调用过 get() 或 wait()，后续再调用会抛 std::future_error（错误码为 std::future_errc::no_state）。这意味着“链式调用”不能靠反复取值实现，必须靠 std::promise 在前序任务完成时主动 set_value，把结果“推”给下一个 std::future。

常见错误现象：

对同一个 std::future 多次调用 get() → 程序崩溃
在 lambda 中捕获 std::future 并试图跨线程重复使用 → 未定义行为
忘记把 std::promise 的 get_future() 提前传出去，导致下游阻塞等待空状态

如何用 std::promise 实现单层任务接力（非线程池版）

最简可行链：TaskA 完成后触发 TaskB，TaskB 依赖 TaskA 的返回值。关键不是“自动续传”，而是手动用 std::promise 桥接。

实操建议：

每个任务对应一个独立的 std::promise<t></t>，其 get_future() 交给下游使用
前序任务执行完，必须显式调用 promise.set_value(result)（或 set_exception），否则下游 future.wait() 永远不返回
避免在 lambda 中按值捕获 std::promise —— 它不可拷贝；应按引用或用 std::shared_ptr<:promise>></:promise>

示例（简化版）：

std::promise<int> p1;
auto f1 = p1.get_future();
<p>std::thread t1([&p1] {
int res = heavy_computation();
p1.set_value(res); // 必须调用，否则链断裂
});</p>
<p>std::promise<:string> p2;
auto f2 = p2.get_future();</:string></p>
<p>// 下游等待 f1，并触发 f2 的 set_value
std::thread t2([&f1, &p2] {
try {
int x = f1.get(); // 此处阻塞直到 f1 就绪
p2.set_value(std::to_string(x * 2));
} catch (...) {
p2.set_exception(std::current_exception());
}
});</p></int>

为什么 std::async 不适合直接构建任务链

std::async 返回的 std::future 是“一次性消费”的，且其生命周期与 launch policy 绑定：若用 std::launch::deferred，get() 才真正执行；若用 std::launch::async，线程已启动，无法中途注入回调。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

典型陷阱：

写 auto f = std::async(...).then(...) → 编译失败，std::future 没有 then 成员函数（C++11/14/17 均不支持）
试图用 std::async 包裹前一个 future.get() 来“续跑” → 阻塞主线程，失去异步意义
多个 std::async 间无显式依赖关系，调度顺序不确定，结果不可控

替代思路：用 std::packaged_task + std::thread 或队列管理执行时机，但需自行处理异常传递和状态同步。