C++中无法强制取消std::async任务，须用协作式取消（std::stop_token或std::atomic）；定时必须用steady_clock；重排程需原子替换任务句柄。
std::future 和 std::promise 无法可靠取消正在运行的异步任务
很多人试图用 std::future::wait_for 配合 std::async 实现“可取消定时任务”，但这是误解：C++ 标准库中没有任务取消机制，std::async 启动的任务一旦开始执行，就无法被强制中断。即使 std::future 超时或被丢弃，后台线程仍在跑，可能造成资源泄漏、重复执行或状态错乱。
真正可控的方式是把「取消」变成「协作式检查」——任务内部定期轮询一个原子标志位，并主动退出。实际框架中，这个标志通常封装在 std::atomic 或更现代的 std::stop_token（C++20）中。
- 使用
std::stop_source+std::stop_token是 C++20 推荐路径，支持自动传播取消请求，且能与std::jthread天然配合 - 若项目仍用 C++17 或更低版本，必须手动维护
std::atomic，并在每个循环点/耗时操作前后插入if (cancelled.load()) return; - 切勿依赖析构函数触发“清理逻辑”来实现取消——任务可能早已脱离作用域，而线程还在运行
std::chrono::steady_clock 是唯一适合定时调度的时钟源
用 std::chrono::system_clock 做定时器排程会出问题：系统时间可能被 NTP 调整、用户手动修改，导致任务提前或跳过执行。而 std::chrono::steady_clock 是单调递增、不受系统时间干扰的硬件计时器，所有延时、超时、周期计算都必须基于它。
常见错误是混用 clock 类型，例如把 system_clock::now() 和 steady_clock::duration 直接相加——编译都不通过；更隐蔽的是用 steady_clock::to_time_t()（不存在），或误以为 time_point 可跨 clock 隐式转换。
- 所有定时逻辑统一用
std::chrono::steady_clock：从首次调度时刻、下次触发时刻、到sleep_for的参数 - 如果需要记录“真实发生时间”用于日志或上报，再单独调用一次
std::chrono::system_clock::now() - 避免用
std::this_thread::sleep_until等待绝对时间点——它底层仍依赖 steady_clock，但容易因系统调度延迟导致小偏差；更稳的做法是用sleep_for循环校准
重新排程必须原子替换旧任务句柄，否则引发竞态
所谓“重新排程”，本质是：取消原定时任务，然后以新参数（新间隔、新回调、新参数）启动一个。难点在于两个动作之间不能有空窗期，也不能让旧任务在新任务已存在时意外触发。
典型陷阱是只管“新建”，不管“旧的是否还在跑”。比如用 std::shared_ptr 存任务状态，却没对指针赋值做原子操作；或用普通指针交换，结果新线程读到中间态空指针或野指针。
- 推荐方案：用
std::atomic<:shared_ptr>>存当前活跃任务，每次重排程时构造新task_state，再用exchange()原子替换 -
task_state内部应含std::stop_source（C++20）或std::atomic（C++17），确保旧任务能感知已被淘汰 - 不要在重排程时直接调用
join()或detach()——线程可能正处在 sleep 或 IO 中，强行等待会卡死主线程；应只发取消信号，由任务自行退出
最小可行框架只需 60 行以内，核心是封装 cancel + reschedule 接口
不必一开始就写完整调度器。先实现一个带取消能力的单次延迟执行函数，再叠加周期性重排能力，就能覆盖绝大多数场景。下面是一个 C++20 的极简示例骨架：
class async_timer {
std::jthread thread_;
std::atomic<bool> running_{false};
mutable std::shared_mutex mutex_;
std::function<void> cb_;
public:
void start(std::chrono::steady_clock::duration delay, std::function<void> cb) {
cb_ = std::move(cb);
running_.store(true);
thread_ = std::jthread([this, delay](std::stop_token stoken) {
if (stoken.stop_requested()) return;
std::this_thread::sleep_for(delay);
if (running_.load() && !stoken.stop_requested()) cb_();
});
}
void reschedule(std::chrono::steady_clock::duration new_delay) {
stop();
start(new_delay, std::move(cb_));
}
void stop() {
running_.store(false);
if (thread_.joinable()) thread_.request_stop();
}
};
</void></void></bool>
注意：这里 reschedule 是粗粒度重置，适用于低频调整；高频重排（如每秒多次）需改用原子指针+状态机，否则频繁启停线程开销过大。真正的生产级框架会引入任务队列和线程池，但那个复杂度已超出“精确取消与重新排程”的原始需求边界——先保证单任务行为正确，再横向扩展。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
