五种C++任务链超时重试方案:一、std::packaged_task+std::thread手动管理;二、std::async+RAII式RetryableFuture封装;三、std::promise显式控制多阶段;四、C++20协程+std::coroutine_handle轻量级链;五、std::condition_variable+共享状态跨线程协调。

一、使用std::packaged_task与std::thread手动管理超时与重试
该方法通过封装可调用对象为std::packaged_task,配合独立线程执行,并利用std::future::wait_for检测超时,结合循环重试机制实现任务链的可控重试。每个任务的输出作为下一个任务的输入,形成串行依赖关系。
1、定义任务函数类型为std::function<:any std::any>,支持任意输入输出类型转换。
2、为每个任务创建std::packaged_task实例,将任务函数和上一任务结果(或初始值)绑定为可执行对象。
3、在独立std::thread中调用packaged_task,立即分离线程,避免阻塞主线程。
立即学习“C++免费学习笔记(深入)”;
4、调用std::future::wait_for(std::chrono::milliseconds(timeout_ms))判断是否超时。
5、若wait_for返回std::future_status::timeout,则销毁当前线程句柄(不join也不detach),重新构造packaged_task并启动新线程,计数器加一。
6、若重试次数超过max_retries,则抛出std::runtime_error异常,携带超时重试已达上限信息。
7、若wait_for返回std::future_status::ready,则调用get()获取结果,作为下一任务的输入参数。
二、基于std::async与std::future组合的RAII式重试封装
此方案利用std::async(launch::async)启动异步任务,借助RAII对象在析构时自动处理超时等待与重试逻辑,避免裸线程管理。每个任务链节点封装为一个可调用对象,其operator()内部完成完整重试流程。
1、定义模板类RetryableFuture,接受任务函数、超时毫秒数、最大重试次数及初始输入值。
2、在构造函数中调用std::async启动首个异步任务,保存返回的std::future成员变量。
3、提供wait_with_retry()成员函数,在其中循环执行:调用future.wait_for();若超时则重新调用std::async生成新future;否则跳出循环。
4、每次重试前检查当前重试计数是否小于max_retries,若等于则终止循环并标记失败状态。
5、循环结束后,若future处于ready状态,调用get()提取结果;否则抛出异常,提示异步任务在所有重试轮次中均未完成。
6、将上一节点的返回值通过std::any_cast传递给下一节点的构造函数,维持链式调用语义。
三、采用std::promise显式控制生命周期的多阶段任务链
该方法放弃std::async自动管理,改用std::promise手动设置结果,使每个任务阶段具备完全控制权,便于插入日志、状态回调及细粒度超时判定。任务链各环节通过共享指针传递promise,由执行线程在成功或失败时显式set_value或set_exception。
1、为每个任务节点声明std::shared_ptr<:promise>>,并在链初始化时创建首promise。
2、定义执行函数run_stage,接收当前promise指针、任务函数、输入值、超时值和重试上限。
3、在run_stage内启动lambda:捕获promise与输入,执行任务函数,若成功则调用promise->set_value(result),否则调用promise->set_exception(std::current_exception())。
4、启动std::thread运行该lambda,并立即detach;同时启动监视协程(或另起线程)调用promise->get_future().wait_for()。
5、监视线程若检测到超时,且重试计数未达上限,则递归调用run_stage,传入新promise与更新后的计数。
6、若某次执行成功,监视线程调用get_future().get()获取结果,并触发下一阶段run_stage调用,输入为该结果。
7、任一阶段抛出异常且未被捕获,将导致对应promise.set_exception(),后续阶段收到异常后直接传播,中断整个链,返回链式执行因未处理异常而中断。
四、基于std::coroutine_handle的轻量级协程任务链(C++20)
利用C++20协程特性,将每个任务包装为co_awaitable对象,通过自定义awaiter实现超时挂起与重试恢复。整个链以单线程协作式调度运行,避免线程切换开销,适合高并发低延迟场景。
1、定义TimeoutAwaiter结构体,包含duration与retry_count字段,重载await_ready、await_suspend与await_resume。
2、await_suspend中启动std::thread执行原始任务函数,并将当前coroutine_handle存入全局等待队列。
3、另启超时监控线程,对每个挂起协程计时;超时时从队列移除handle并调用resume()进入重试分支。
4、await_resume中检查任务结果状态:若为success,返回std::any结果;若为timeout且retry_count > 0,则递减计数并再次co_await自身;否则co_return错误码。
5、任务链通过co_await串联:auto r1 = co_await stage1(input); auto r2 = co_await stage2(r1); 形成语法直观的同步风格异步流。
6、最终协程结束时,若所有阶段均未触发重试上限,则返回最终结果;否则在最后一次await_resume中抛出异常,内容为协程任务链在第N次重试后仍超时。
五、使用std::condition_variable与共享状态实现跨线程任务链协调
此方案不依赖future等待机制,而是采用条件变量+互斥锁+共享状态结构体协调多个工作线程,每个线程负责一个任务阶段,通过状态变更通知下游线程启动,天然支持超时等待与重试计数维护。
1、定义ChainState结构体,含std::any result、std::atomic
2、为每个任务阶段创建独立std::thread,在线程函数中先锁住mtx,检查retry_count是否超限;若未超限则执行任务函数,否则notify_all并return。
3、任务执行完毕后,更新result字段,置ready为true,调用cv.notify_all()唤醒等待线程。
4、下游线程在等待时调用cv.wait_for(lock, timeout, [&]{ return state.ready.load(); }),超时则递增retry_count并重新notify_all触发上游重试。
5、所有线程共享同一ChainState实例,通过std::shared_ptr
6、当最后一个阶段完成且ready为true时,主线程从state.result提取最终值;若某阶段连续失败导致retry_count达到阈值,则任何wait_for返回false后,该线程记录错误并退出,整条链停止推进,返回共享状态机因重试耗尽而终止。


















