std::shared_future可多次get()且支持拷贝,std::future仅能get()一次且仅支持移动;前者通过share()从后者获取,调用后原future失效。

std::shared_future 能多次 get(),std::future 只能 get() 一次
这是最核心的区别。一旦调用 std::future::get(),该 future 就进入“已消费”状态,再次调用会抛出 std::future_error(错误码为 std::future_errc::no_state 或 std::future_errc::future_already_retrieved)。而 std::shared_future 允许多个线程或多次调用 get(),每次都会返回相同结果(或传播异常)。
常见错误现象:
std::future<int> f = std::async([]{ return 42; });
int a = f.get(); // OK
int b = f.get(); // 抛出 std::future_error!
- 如果你需要在多个线程中分别等待并取值(比如日志线程、监控线程、主业务线程都关心同一个异步结果),必须用
std::shared_future -
std::future的移动语义是“独占转移”,move 后原对象变为空;std::shared_future支持拷贝,拷贝后两个对象共享同一状态 - 拷贝
std::future会编译失败(删除了拷贝构造函数),但可以 move;std::shared_future显式提供了拷贝构造和拷贝赋值
如何从 std::future 得到 std::shared_future
只能通过 std::future::share() 成员函数转换,不能反向转换,也不能直接构造(没有接受 std::future 的构造函数)。
使用场景:你拿到一个 std::future(比如来自 std::async 或 std::promise::get_future()),但后续需要共享给多个消费者 —— 此时立刻调用 share():
std::future<std::string> f = std::async(std::launch::async, []{
std::this_thread::sleep_for(std::chrono::seconds(1));
return "done";
});
std::shared_future<std::string> sf = f.share(); // f 变为空,sf 可拷贝
-
f.share()是转移操作:调用后f.valid()返回false - 如果
f已经被 move 过或从未有效,share()会抛出std::future_error(no_state) - 不要对已
share()过的std::future再调用get()—— 它已经失效
wait_for / wait_until 行为一致,但共享状态生命周期更关键
两者都支持 wait_for()、wait_until()、ready() 等非阻塞查询接口,行为完全相同。真正影响多线程等待体验的是背后共享状态(std::shared_state)的生命周期管理。
立即学习“C++免费学习笔记(深入)”;
-
std::future析构时,若它是最后一个持有该共享状态的对象,且状态未就绪,则会阻塞等待(仅限于由std::async启动的延迟执行策略);而std::shared_future析构不触发等待 - 共享状态本身由内部引用计数管理:所有关联的
std::shared_future和原始std::future(在未 share 前)共同维持其存活 - 如果所有 future / shared_future 都销毁了,但异步任务仍在运行,状态仍存在;只有当任务结束且所有 future 都析构后,状态才释放
std::shared_future 不解决线程安全写,只解决安全读
很多人误以为 std::shared_future 能让多个线程“并发修改结果”,其实它只保证多个线程对**同一结果的并发读取**是安全的。结果本身由生产者(如 std::promise::set_value())单次写入,之后不可更改。
- 多个线程调用
sf.get()是线程安全的;但std::promise::set_value()必须确保只调用一次,且不能与任何get()竞争(通常 promise 在另一线程,且只 set 一次) - 如果你需要多线程更新某个值并通知等待者,
std::shared_future不适用 —— 应考虑std::atomic、std::mutex+ 条件变量,或更高级的模式如 channels - 性能上,
std::shared_future拷贝开销极小(内部是原子引用计数指针),但比std::future多一次原子操作;不过这点差异在真实等待场景中可忽略
std::future::share() 的转移语义 —— 它不是复制,而是“移交所有权”,原 future 立即失效。很多 bug 都源于在 share() 后还试图用原 future。











