std::promise和std::future不能直接链式调用,因其get()阻塞且wait_for/wait_until无回调机制;需手动桥接前序future就绪与后序promise设置,注意单次set、移动失效、线程安全及析构阻塞等问题。

为什么 std::promise 和 std::future 不能直接链式调用
因为 std::future 的 get() 是阻塞的,而 wait_for() 或 wait_until() 又不提供回调入口——标准库没内置“任务完成自动触发下个任务”的机制。想链式执行,必须自己桥接:把前一个 std::future 的就绪通知,转为对下一个 std::promise 的 set_value() 调用。
常见错误是在线程里裸调 future.get() 等待,结果卡死主线程或引发竞态;或者用 std::async 嵌套但没管理生命周期,导致 std::future 析构时阻塞等待(尤其在临时对象场景)。
- 每个
std::promise只能调用一次set_value()/set_exception(),重复调用会抛std::future_error(错误码std::future_errc::promise_already_satisfied) -
std::future移动后原对象变为无效状态,再调用valid()返回false,此时调用get()会抛异常 - 不要跨线程共享未加锁的
std::promise对象本身——只共享其std::future,或用std::shared_ptr<:promise>>安全传递
用 std::thread + std::future::wait_for 手动轮询实现简单链式
适合轻量、低频、调试友好场景。核心是让前序任务完成后,主动触发后续 std::promise,而不是靠阻塞等待。
auto p1 = std::make_shared<:promise>>();
auto f1 = p1->get_future();
auto p2 = std::make_shared<:promise>>();
auto f2 = p2->get_future();
// 启动第一任务
std::thread t1([&p1]{
std::this_thread::sleep_for(100ms);
p1->set_value(42);
});
// 轮询等待 f1 就绪,然后触发 f2
std::thread t2([&f1, &p2]{
while (f1.wait_for(10ms) == std::future_status::timeout) {}
if (f1.valid()) {
try {
auto val = f1.get(); // 此处不会阻塞
p2->set_value("done: " + std::to_string(val));
} catch (...) {
p2->set_exception(std::current_exception());
}
}
});
t1.join(); t2.join();
std::cout <p>注意:<code>wait_for(10ms)</code> 不是 busy-wait,但轮询间隔太小会浪费 CPU;太大则延迟增加。生产环境慎用,仅用于理解模型。</p>
<h3>用 <code>std::packaged_task</code> + <code>std::thread</code> 实现可传递结果的链式</h3>
<p><code>std::packaged_task</code> 天然绑定一个 <code>std::future</code>,且可移动、可存储,比裸 <code>std::promise</code> 更适合作为任务单元封装。</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>
<ul>
<li>每个 <code>std::packaged_task</code> 执行后,其关联的 <code>std::future</code> 自动就绪,无需手动 <code>set_*</code>
</li>
<li>可以把前一个 task 的 <code>future</code> 传给后一个 task 的参数,由后者在执行时调用 <code>get()</code>(仍需注意异常传播)</li>
<li>推荐用 <code>std::shared_ptr</code> 包裹 task 避免悬空,尤其在线程中捕获局部变量时</li>
</ul>
<pre class="brush:php;toolbar:false;">auto task1 = std::make_shared<:packaged_task>>(
[]{ std::this_thread::sleep_for(50ms); return 100; });
auto task2 = std::make_shared<:packaged_task>)>>(
[](std::future<int> f) -> std::string {
try { return "got: " + std::to_string(f.get()); }
catch (...) { return "error"; }
});
auto f1 = task1->get_future();
auto f2 = task2->get_future();
std::thread t1([task1]{ (*task1)(); });
std::thread t2([task2, f1 = std::move(f1)]{ (*task2)(std::move(f1)); });
t1.join(); t2.join();
std::cout <h3>真正实用的链式:用 <code>std::async</code> + lambda 捕获 future,但必须规避析构阻塞</h3>
<p><code>std::async</code> 默认启动新线程,但它的 <code>std::future</code> 析构时若未取值,会阻塞等待完成——这是最常被忽略的坑。</p>
<ul>
<li>务必在 lambda 内部调用 <code>get()</code> 或 <code>wait()</code>,或显式用 <code>std::future::share()</code> 转为 <code>std::shared_future</code> 后再捕获</li>
<li>避免写 <code>auto f = std::async(...);</code> 后直接结束作用域;应确保 <code>f</code> 在使用完毕后再销毁</li>
<li>如果要组合多个异步步骤,优先用 <code>std::shared_future</code>,它允许多次 <code>get()</code> 且不阻塞析构</li>
</ul>
<p>例如:</p>
<pre class="brush:php;toolbar:false;">auto f1 = std::async(std::launch::async, []{ return 42; });
auto sf1 = f1.share(); // 转为 shared_future
auto f2 = std::async(std::launch::async, [sf1]{
try { return std::to_string(sf1.get()) + "_next"; }
catch (...) { return "fail"; }
});
这里 f1 在离开作用域时不会阻塞,因为已转交给了 sf1;f2 也安全持有对 sf1 的引用。
实际链得越长,手动管理 shared_future 和异常传播就越容易出错。真要工业级链式,该上 boost::asio 的 post + then,或 C++20 的 std::jthread + 协程,而不是硬啃 promise/future 底层模型。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










