C++ condition_variable::wait_for是否受系统时钟跳变影响？

• 这个实现是GNU libstdc针对C标准缺陷报告DR 887的兼容实现，核心目的是让wait_until支持任意用户自定义时钟，而不仅限于标准库自带的system_clock和steady_clock。
• 内部转用system_clock处理的原因是底层POSIX接口pthread_cond_timedwait默认只接受CLOCK_REALTIME（对应system_clock）的时间戳，实现层做了统一适配。
• 你担心的系统时间跳变问题已经被代码末尾的校验逻辑解决了：
  1. 当底层基于system_clock的等待返回超时后，实现会再次用调用方传入的时钟（wait_for场景下就是steady_clock）判断是否真的到达目标时间点
  2. 如果是系统时间被调后导致的system_clock假超时，此时steady_clock还没到目标时间，实现会返回cv_status::no_timeout，相当于把这个假超时归为普通的虚假唤醒处理
• 标准要求条件变量的所有等待操作必须放在while循环中判断谓词，因此上层逻辑遇到no_timeout返回时会自动重新进入等待，最终总等待时长完全由调用方传入的时钟决定，不会受系统时间跳变干扰。

• 优先使用wait_for做相对时长等待，标准规定wait_for默认使用稳定时钟，只要你遵循规范将等待逻辑放在while循环中判断谓词，就天然不受系统时间跳变影响，示例写法：

std::unique_lock<std::mutex> lock(mtx);
// 等待最多5秒，直到pred为true
while (!pred()) {
  if (cv.wait_for(lock, std::chrono::seconds(5)) == std::cv_status::timeout) {
    // 真超时处理逻辑
    break;
  }
}

• 如果需要使用绝对时间等待，传入std::steady_clock类型的时间点给wait_until即可，不要使用system_clock的时间点。
• 如果你是POSIX平台专属场景，也可以直接在初始化条件变量时通过pthread_condattr_setclock将条件变量的时钟设置为CLOCK_MONOTONIC，直接调用底层接口实现稳定等待，不过该方案不跨平台。

内容的提问来源于stack exchange，提问作者yashC