std::stop_token不能直接停止线程,仅作为协作式取消信号载体,需配合std::jthread在循环或阻塞点主动轮询其状态;它不提供强制终止机制,且不保证共享数据的内存可见性。

std::stop_token 不能直接停止线程,它只负责通知
很多人误以为 std::stop_token 能“杀掉”线程,其实它只是个轻量级的协作式取消信号载体。线程是否响应、何时响应、如何清理,全靠你自己在循环或阻塞点主动轮询 stop_token 的状态。C++20 没有提供强制终止机制——这是设计使然,不是缺陷。
关键点:必须配合 std::jthread(而非 std::thread)才能自动注册停止源;裸用 std::stop_token 时,你得自己管理 std::stop_source。
用 std::jthread + stop_token 实现安全退出
std::jthread 构造时会自动生成关联的 std::stop_source,其 stop_token() 方法返回的 token 可传入工作函数。线程函数需定期检查 token.stop_requested() 并主动退出。
std::jthread worker([](std::stop_token stoken) {
while (!stoken.stop_requested()) {
// 做点事……
std::this_thread::sleep_for(100ms);
}
// 这里做清理(如 flush buffer、close fd)
});
- 函数参数必须是
std::stop_token类型,否则无法自动绑定 - 不能只依赖一次检查:必须在循环内、或长耗时操作前后都查,否则可能卡住
-
std::jthread析构时自动调用request_stop(),所以不用手动触发
在阻塞调用中响应 stop_token(比如 condition_variable)
标准库中只有少数函数原生支持 std::stop_token,例如 std::condition_variable::wait_until 和 std::condition_variable::wait_for 的重载版本。直接传入 token,它会在被请求停止时提前唤醒并返回 std::cv_status::no_timeout。
std::mutex mtx;
std::condition_variable cv;
bool ready = false;
std::jthread t([&](std::stop_token stoken) {
std::unique_lock<:mutex> lk(mtx);
while (!ready && !stoken.stop_requested()) {
if (cv.wait_until(lk, std::chrono::steady_clock::now() + 1s, stoken, [&]{ return ready; })) {
break; // 条件满足 or 被 stop
}
}
});</:mutex>
- 注意:必须用带
stop_token参数的wait_until/wait_for重载,普通版本不感知停止信号 - 即使用了支持 stop_token 的 wait,仍建议在循环条件里再次检查
stoken.stop_requested(),以防虚假唤醒或 race -
std::this_thread::sleep_for不接受 stop_token,要用std::this_thread::sleep_until配合手动超时计算,或改用带 token 的cv等待
手动管理 stop_source 的场景和陷阱
当你需要从外部控制多个线程,或复用同一个停止信号时,就得显式创建 std::stop_source,再通过 get_token() 分发 token。但要注意生命周期——stop_source 必须比所有持有其 token 的线程活得久。
- 把
std::stop_source存在栈上,然后传给多个std::jthread?危险:栈变量析构后 token 失效,stop_requested()行为未定义 - 正确做法:用
std::shared_ptr<:stop_source></:stop_source>或将其作为类成员长期持有 -
stop_source.request_stop()是幂等的,多次调用无副作用;但一旦触发,所有关联 token 永远返回 true - 不要在已 request_stop 后再 move 或拷贝
stop_source—— C++20 标准规定 move 后状态不确定
最易被忽略的一点:stop_token 本身不保证内存可见性,但它内部使用原子操作同步状态;不过如果你在线程里修改了共享数据再检查 token,仍要确保该数据的访问有正确同步(比如用 mutex 或 atomic),别指望 stop_token 替你管数据一致性。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











