std::promise与std::future必须成对使用,通过共享状态关联:promise负责设值(仅一次),future负责取值(仅可move);未设值或重复设值、非法copy、误用wait_for/wait_until、async默认延迟执行、move后调用成员函数等均会导致错误。

std::promise 和 std::future 怎么配对用
必须成对出现,std::promise 负责“设值”,std::future 负责“取值”,两者通过共享状态(shared state)关联。不能拿一个 std::promise 的 get_future() 多次调用——第二次会抛 std::future_error(错误码为 future_errc::no_state)。
常见错误现象:程序卡死或崩溃,实际是忘了调用 promise.set_value(),或者在 promise 已设值后又调用一次(会 throw)。
- 一个
std::promise只能调用一次set_value()、set_exception()或set_value_at_thread_exit() -
std::future只能被 move,不能 copy;否则编译报错:use of deleted function 'std::future<...>::future(const std::future<...>&)'</...></...> - 若需多处等待同一结果,改用
std::shared_future,它支持 copy,且内部引用计数管理共享状态
std::future::wait_for 和 wait_until 为什么老超时
不是函数有问题,而是你没注意「等待起点」和「时钟精度」。比如 wait_for(std::chrono::milliseconds(1)) 在某些系统上可能实际等待 10–15ms,尤其在低优先级线程或高负载下。更关键的是:如果 future 已就绪,wait_for 立即返回 std::future_status::ready;但若还没就绪,它真会等满时长(或提前被唤醒),然后返回 timeout —— 这不是 bug,是设计行为。
使用场景:做非阻塞轮询、带超时的异步等待、避免死等。
立即学习“C++免费学习笔记(深入)”;
- 别用
wait_for(0s)当“检查是否就绪”——应改用wait_for(1ns)或直接用wait_until配合steady_clock::now() - 传入的 duration 类型必须能隐式转换为
std::chrono::nanoseconds,否则编译失败(如用int直接传) -
wait_until接收的是绝对时间点,误用system_clock在跨时区或系统时间跳变时可能出偏差,推荐统一用std::chrono::steady_clock
std::async 启动的 future 为啥不执行
默认启动策略是 std::launch::deferred(延迟执行),意味着调用 std::async 时根本不会创建新线程,也不执行函数体——直到你第一次调用 future.get() 或 future.wait() 才同步执行。这容易让人误以为“代码没跑”。
性能影响明显:如果你本意是并发,却没显式指定策略,结果就是串行+额外开销。
- 要真正并发,必须写成
std::async(std::launch::async, ...) - 混合策略
std::launch::async | std::launch::deferred允许运行时选择,但具体行为由实现决定,不可移植 - 注意资源泄漏风险:如果丢弃返回的
std::future(比如没存变量、没调用 get/wait),且启动策略是async,则析构时会阻塞等待完成——这是标准强制要求,不是 bug
move 之后的 promise/future 还能用吗
move 后原对象进入有效但未指定状态(valid but unspecified state),C++ 标准只保证它可析构、可赋值、可 move,**不能调用任何成员函数**(包括 get_future()、set_value()、valid()),否则行为未定义。
容易踩的坑:把 promise 存在容器里再 move 出来,原容器元素还留着,接着误调用;或在 lambda 捕获后 move 出去,lambda 内部又尝试访问。
- move 前可用
promise.valid()判断是否还有关联状态;move 后该调用本身就不安全 - 常见错误信息:
std::future_error: No associated state,往往就是对已 move 的 future 调用了get() - 若需“转移所有权 + 安全判断”,建议 move 后立即将原变量置为
std::promise<int>{}</int>(重新构造),但这只是调试技巧,非标准做法
最麻烦的不是语法错,是那些发生在多线程里的、偶发的 valid() 返回 true 却 get() 崩溃的情况——通常说明你在某处漏了 move,或跨线程误用了同一个 promise 对象。










