this_thread::sleep_for 和 C++11 标准指定的计时时钟之间的关系？

Question

考虑以下代码：

using namespace std;
using namespace std::chrono;
typedef std::intmax_t intmax_type;

steady_clock::time_point start = steady_clock::now();

this_thread::sleep_for(chrono::milliseconds(25000));

steady_clock::duration dur = steady_clock::now() - start;

intmax_type desired_dur = duration_cast<milliseconds>(dur).count();

if(desired_dur < intmax_type(25000))
    std::cout << "WTF happend there?" << std::endl;

根据标准，std::this_thread::sleep_for(sleep_duration) 可能会因为调度或资源争用延迟而阻塞比sleep_duration 更长的时间，但至少它会阻塞指定sleep_duration 的线程执行。

可能存在线程实际休眠指定持续时间但由于std::chrono::steady_clock或std::chrono::system_clock使用与sleep_for实现不同的操作系统时钟（不同粒度fe）时间段测量给我们的结果与实际休眠时间不同的情况是。

我的问题是：

C++11 标准是否禁止条件if(desired_dur < intmax_type(25000)) 发生？如果有，请提供准确的报价。

Answer 1

C++11/14/17/20 禁止desired_dur < intmax_type(25000) 为true。

Here is the spec for this_thread::sleep_for:

效果：在rel_time指定的相对超时（32.2.4）内阻塞调用线程。

The reference to 32.2.4 is here. 这是一个非常冗长的部分，它将rel_time 定义为相对超时。可能最重要的段落是 p3：

名称以_for 结尾的函数接受一个参数 指定持续时间。这些函数产生相对超时。 实现应该使用稳定的时钟来测量这些时间 函数。³²⁶ 给定一个持续时间参数D_t， 超时的实时时长为D_t + D_i + D_m.

³²⁶⁾ 标准时间单位对其有意义的所有实现都必须在其硬件实现中具有稳定的时钟。

该部分将 D_i 定义为“实施质量”延迟，并将 D_m 定义为“管理质量”延迟。这些定义暗示（通过使用“延迟”）它们是持续时间的非负量。

“稳定时钟”一词从未真正定义过，但the standard does say this about steady_clock：

steady_clock 类的对象代表时钟，其值为 time_point 永远不会随着物理时间的推移而减少 time_point 的值以相对于实时的稳定速率前进。 也就是说，时钟可能无法调整。

句子中“应该”一词的使用：

实现应该使用稳定的时钟

是回旋余地。 “应该”的意思：

我们真的希望您这样做，但您不必这样做。如果你不这样做，你仍然可以称自己为顺从。

这里使用“should”而不是“shall”，因为没有完美的时钟，尤其是在您的消费级计算机中。