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。
立即学习“C++免费学习笔记（深入）”；
std::mutex mtx;
std::condition_variable cv;
bool ready = false;
std::jthread t([&](std::stop_token stoken) {
std::unique_lock<std::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
}
}
});
- 注意：必须用带
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 替你管数据一致性。
