C++ std::stop_callback 处理异步请求超时自动撤回的任务协作模型【详解】

风婷姑娘_1262

风婷姑娘_1262

2026-05-14

435人浏览

原创

std::stop_callback本身不支持超时自动撤回,它仅在std::stop_source::request_stop()被显式调用时执行一次轻量回调;超时逻辑必须由用户手动组合定时器、stop_source和轮询检查点来实现。

c++ std::stop_callback 处理异步请求超时自动撤回的任务协作模型【详解】

std::stop_callback 本身不能实现“超时自动撤回”,它不管理时间、不触发中断、也不撤回任何正在运行的代码;所谓“超时撤回”必须由你手动组合 std::stop_source、定时器(如 std::this_thread::sleep_for 或 std::async + std::future::wait_for)和主动轮询逻辑共同完成。

为什么 std::stop_callback 不会因超时自动触发

std::stop_callback 只响应 std::stop_source::request_stop() 的显式调用,它对时间毫无感知。没有内置计时器,也不会在指定毫秒后自动调用 request_stop() —— 这部分必须你自己补全。

  • 常见误解:给 std::jthread 传个带 std::stop_callback 的 lambda,再起个 std::thread 睡 5 秒后调 t.request_stop(),就以为是“超时撤回”。但若 std::stop_callback 定义在 lambda 内部,它早已析构,request_stop() 就静默失效
  • 真正起作用的是你写的那个“睡完就 request_stop”的线程,不是 std::stop_callback 本身
  • std::stop_callback 的唯一职责是:当 request_stop() 到来时,执行一次轻量回调(比如置标志、发通知),仅此而已

如何安全组合超时与 stop_callback 实现协作撤回

关键不是让 std::stop_callback 做超时,而是确保超时触发的 request_stop() 能被正确接收并响应。这要求三者同步就位:外部 std::stop_source、存活的 std::stop_callback、任务内轮询检查点。

  • 用 static std::stop_source timeout_source; 或类成员持有 std::stop_source,确保它比所有依赖它的线程活得更久
  • std::stop_callback 必须声明在 timeout_source 之后、且与工作线程同生命周期(例如:和 std::jthread 变量在同一作用域中顺序声明)
  • 工作线程函数里不能只靠 std::stop_callback,必须持续调用 token.stop_requested() —— 比如在每次网络读取前、每处理一个数据包后、或循环顶部插入 if (token.stop_requested()) return;
  • 超时线程应调用 timeout_source.request_stop(),而不是工作线程的 t.request_stop()(后者只对其私有 stop_source 有效)

std::stop_callback 在超时场景中该做什么、不该做什么

它运行在超时线程(调用 request_stop() 的线程)上下文中,不是工作线程,因此必须严格满足轻量、无锁、无阻塞约束。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • ✅ 推荐操作:g_cancel_flag.store(true, std::memory_order_relaxed)、g_cv.notify_one()、g_log_queue.push("timeout triggered")(lock-free 队列)
  • ❌ 绝对禁止:file.close()、mutex.lock()、std::this_thread::sleep_for()、write(1, ...) —— 这些会卡住超时线程,导致后续 request_stop() 调用迟迟无法返回,甚至引发死锁
  • ⚠️ 特别注意:多个超时机制(如网络 IO 超时 + 全局取消)若共用同一 std::stop_source,它们的 std::stop_callback 执行顺序不保证,不可互相依赖

比 stop_callback 更直接的超时撤回写法

多数真实场景下,为单个异步请求加超时,直接轮询 + std::future::wait_for 或 std::condition_variable::wait_for 比引入 std::stop_callback 更清晰、更少出错。

  • 例如:启动任务用 auto fut = std::async(std::launch::async, [&token]{ /* work loop */ });,主线程用 fut.wait_for(5s),超时则不再等待,而任务内部仍需检查 token.stop_requested() 来提前退出
  • 若必须用 std::jthread,建议把超时逻辑收进任务函数自身:用 std::chrono::steady_clock::now() 记录起点,每次循环判断是否超时,然后主动调 source.request_stop()(需共享 std::stop_source)
  • std::stop_callback 的价值不在“撤回”,而在“跨上下文清理”——比如超时发生时,需要从另一个线程关闭共享 socket、释放全局 buffer,这时才值得用它

最难的不是写超时逻辑,而是确保 std::stop_callback 的生存期覆盖到 request_stop() 被调用那一刻,同时它执行时不拖慢整个超时路径;稍有不慎,你看到的“没撤回”,其实是回调早没了,或者它卡在 close() 里动弹不得。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关专题

更多
C语言变量命名
C语言变量命名

c语言变量名规则是:1、变量名以英文字母开头;2、变量名中的字母是区分大小写的;3、变量名不能是关键字;4、变量名中不能包含空格、标点符号和类型说明符。php中文网还提供c语言变量的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

3469

3

c语言入门自学零基础
c语言入门自学零基础

C语言是当代人学习及生活中的必备基础知识,应用十分广泛,本专题为大家c语言入门自学零基础的相关文章,以及相关课程,感兴趣的朋友千万不要错过了。

2023.07.25

2408

9

c语言运算符的优先级顺序
c语言运算符的优先级顺序

c语言运算符的优先级顺序是括号运算符 > 一元运算符 > 算术运算符 > 移位运算符 > 关系运算符 > 位运算符 > 逻辑运算符 > 赋值运算符 > 逗号运算符。本专题为大家提供c语言运算符相关的各种文章、以及下载和课程。

2023.08.02

1340

5

c语言数据结构
c语言数据结构

数据结构是指将数据按照一定的方式组织和存储的方法。它是计算机科学中的重要概念,用来描述和解决实际问题中的数据组织和处理问题。数据结构可以分为线性结构和非线性结构。线性结构包括数组、链表、堆栈和队列等,而非线性结构包括树和图等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.09

1278

4

c语言random函数用法
c语言random函数用法

c语言random函数用法:1、random.random,随机生成(0,1)之间的浮点数;2、random.randint,随机生成在范围之内的整数,两个参数分别表示上限和下限;3、random.randrange,在指定范围内,按指定基数递增的集合中获得一个随机数;4、random.choice,从序列中随机抽选一个数;5、random.shuffle,随机排序。

2023.09.05

1396

5

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2298

7

c语言get函数的用法
c语言get函数的用法

get函数是一个用于从输入流中获取字符的函数。可以从键盘、文件或其他输入设备中读取字符,并将其存储在指定的变量中。本文介绍了get函数的用法以及一些相关的注意事项。希望这篇文章能够帮助你更好地理解和使用get函数 。

2023.09.20

3740

8

c数组初始化的方法
c数组初始化的方法

c语言数组初始化的方法有直接赋值法、不完全初始化法、省略数组长度法和二维数组初始化法。详细介绍:1、直接赋值法,这种方法可以直接将数组的值进行初始化;2、不完全初始化法,。这种方法可以在一定程度上节省内存空间;3、省略数组长度法,这种方法可以让编译器自动计算数组的长度;4、二维数组初始化法等等。

2023.09.22

17455

6

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

549

3

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习