std::promise和std::future不能链式调用，因std::future无then()等回调接口，get()阻塞且仅能调用一次；需手动封装任务链，注意移动语义、异常传播与生命周期管理。
为什么 std::promise 和 std::future 不能直接链式调用
因为 std::future 的 get() 是阻塞的，且只能调用一次；而链式异步执行要求“前一个任务完成时自动触发下一个”，这需要非阻塞、可注册回调的能力——但标准 C++11/14 的 std::future 不提供 then() 这类接口。
常见错误是这样写：
std::promise<int> p1;
auto f1 = p1.get_future();
f1.then([](int x) { return x * 2; }); // 编译失败：no member named 'then'
</int>
所以真要链式，得自己封装或借助第三方（如 boost::future），或者用 C++20 的 std::jthread + 手动线程调度模拟，但更实用的是基于 std::promise/std::future 构建轻量级任务链基座：
- 每个任务包装为
std::function<void></void>，完成后手动 resolve 下一个std::promise - 用
std::thread或线程池执行任务，避免阻塞主线程 - 所有
std::promise必须在对应std::future被 move 之后仍保持存活，否则set_value()会抛std::future_error（错误码：no_state）
如何用 std::promise 实现跨任务状态传递
核心是让前一个任务的输出成为后一个任务的输入，且不暴露裸指针或引用生命周期风险。典型做法是把 std::promise<t></t> 的所有权交给前一个任务，它执行完调用 set_value()，后一个任务通过 std::future<t></t> 等待并消费。
示例：两阶异步计算
auto chain2 = [](int x) -> std::future<int> {
std::promise<int> p;
auto f = p.get_future();
std::thread([x, p = std::move(p)]() mutable {
int res = x * x;
std::this_thread::sleep_for(100ms); // 模拟耗时
p.set_value(res); // 注意：p 已 move，必须 mutable + 值捕获
}).detach();
return f;
};
<p>auto f = chain2(5);
std::cout </p>
<p>关键点：</p>
<ul>
<li>lambda 中必须用 <code>std::move(p)</code> 捕获 promise，否则线程内调用 <code>set_value()</code> 会失败（因为 promise 不可拷贝）</li>
<li>不能返回局部 <code>std::promise</code> 对象，必须返回其 <code>std::future</code>（future 可移动，且持有共享状态句柄）</li>
<li>如果链中某步可能异常，要用 <code>p.set_exception(std::current_exception())</code>，否则下游 <code>get()</code> 会 rethrow</li>
</ul>
<h3>怎样避免 <code>std::future::wait_for</code> 导致的假死与超时误判</h3>
<p>在链式模型里，常有人用 <code>wait_for</code> 轮询等待前序 future 完成再启动下一步——这既浪费 CPU，又容易因超时值设错导致逻辑断裂。真实场景中，应该让完成通知驱动后续动作，而不是轮询。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/gongju/2823" title="C++14"><img
src="https://img.php.cn/upload/manual/001/431/639/6ac8b33c327c4749.png" alt="C++14" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="overflowclass">C++14</a>
<p class="overflowclass">C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。</p>
</div>
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
<p>可行替代方案：</p>
<ul>
<li>用 <code>std::condition_variable</code> + 标志位 + <code>wait_for</code>，但仅用于调试或极简原型，生产环境慎用</li>
<li>更可靠的是把后续任务封装进一个独立函数，并由前序任务在线程内直接调用（即“回调注入”）</li>
<li>C++20 起可用 <code>std::shared_mutex</code> 配合原子标志做无锁等待，但复杂度陡增，不如直接用 promise/future 组合</li>
</ul>
<p>一个易被忽略的坑：<code>wait_for</code> 在 future 已就绪时返回 <code>ready</code>，但若此前已调过 <code>get()</code>，再次调用 <code>wait_for</code> 会抛 <code>std::future_error</code>（<code>future_already_retrieved</code>）。所以务必确保每个 future 最多被消费一次。</p>
<h3>为什么不要在 lambda 捕获列表里直接写 <code>std::promise</code> 变量名</h3>
<p>写成 <code>[p]() { p.set_value(42); }</code> 是错的——<code>std::promise</code> 不可拷贝，编译不过；写成 <code>[&p]() { p.set_value(42); }</code> 更危险：lambda 可能比 <code>p</code> 生命周期长，导致悬空引用。</p>
<p>正确写法只有两种：</p>
<ul>
<li>值捕获 + <code>std::move</code>：<code>[p = std::move(p)]() mutable { p.set_value(42); }</code>
</li>
<li>用 <code>std::shared_ptr<:promise>></:promise></code> 包一层，然后引用捕获：<code>[sp = std::make_shared<:promise>>()]() { sp->set_value(42); }</:promise></code>
</li>
</ul>
<p>后者适合需多次 set 或跨多个回调共享 promise 的情况，但要注意 <code>shared_ptr</code> 开销；前者更轻量，也更符合“一写一读”的链式语义。实际项目中，绝大多数链式节点都是一次性使用的，优先选 <code>std::move</code> 方案。</p>
<p>最后提醒一句：C++ 标准库的 <code>promise</code>/<code>future</code> 是低层原语，不是开箱即用的 async/await。想写出健壮的任务链，得亲手处理移动语义、异常传播、线程安全和对象生命周期——这些细节漏掉任意一个，都会在高并发或异常路径下暴露。</p></int></int>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
