std::promise适用于单次写入、单次读取的异步结果传递场景，典型用法是一个线程调用set_value()，另一线程通过关联future调用get()获取结果。
std::promise 适合在哪个场景传数据
它不是用来“传递”数据的通用管道，而是为单次写入、单次读取设计的同步原语。典型用法是：一个线程调用 set_value()（或 set_exception()），另一个线程通过关联的 std::future 调用 get() 等待并取值。不能重复调用 get()，也不能多次 set_value() —— 第二次会抛出 std::future_error（错误码为 std::future_errc::promise_already_satisfied）。
怎么正确配对 promise 和 future
必须用 get_future() 获取对应的 std::future，且只能调用一次；之后再调用会触发未定义行为（常见表现是程序崩溃或断言失败）。两者生命周期需协调好：promise 析构前必须已 set，否则 future 的 get() 会永远阻塞或抛异常（取决于是否超时）。
常见错误写法：
std::promise<int> p; auto f1 = p.get_future(); // ✅ 正确 auto f2 = p.get_future(); // ❌ 未定义行为！ </int>
实操建议：
- 把
std::promise和std::future作为一对“出厂绑定”的对象来用，不要试图复用 promise - 若需多次通信，改用
std::queue+std::mutex或std::condition_variable，而不是反复 new promise - 异步任务中，常把 promise 移动进 lambda（用
std::move(p)），避免拷贝（promise 不可拷贝，只可移动）
为什么 get() 有时卡住或崩溃
std::future::get() 是阻塞调用，且只能调用一次。如果 promise 没被 set 就调用 get，线程会一直等；如果 promise 已析构而 future 还没 get，行为未定义（多数实现直接 abort）。
安全做法：
- 确保 promise 所在线程一定会执行
set_value()（或set_exception()），哪怕是在异常路径里也补上set_exception() - 用
wait_for()或wait_until()做超时保护，再判断valid()和状态 - 不要让 promise 对象早于 future 生命周期结束 —— 可以把 promise 包进
std::shared_ptr，或保证其作用域覆盖到 future.get() 完成
传复杂类型要注意什么
promise 模板参数类型必须满足可移动（或可拷贝），且移动构造/赋值不能抛异常（否则 set_value() 可能失败）。例如 std::promise<:vector>></:vector> 没问题，但若自定义类没写 noexcept 移动构造，就可能在 set_value 时意外终止。
性能提示：
- 传大对象时，优先 move：用
p.set_value(std::move(obj))，避免无谓拷贝 - 如果类型不支持移动（比如只有拷贝构造），确保拷贝开销可控；否则考虑传指针（如
std::promise<:shared_ptr>></:shared_ptr>） - 注意 promise 对象本身大小固定，但所存值的内存由内部管理 —— 不要假设它“轻量”，尤其存 string 或 vector 时
最易被忽略的一点：promise 和 future 的线程安全边界很窄 —— promise 的 set_* 函数是线程安全的（可从任意线程调用），但 future 的 get() / wait() 必须由单一线程调用，且不能和其它 future 方法并发调用。别把它当成线程安全队列用。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
