c++ - 当通知简历时，condition_variable::wait_for是否返回true

Question

这是一个小代码段

request_ptr pop()
{
    request_ptr rp;

    std::unique_lock<std::mutex> lock(cv_mtx);
    auto time = std::chrono::milliseconds(10000);
    if (!cv.wait_for(lock, time, [this] { return !this->is_empty(); }))
    {
        return rp;
    }

    std::lock_guard<std::mutex> mtx_guard(mtx);
    rp.reset(new request(std::move(requests.front())));
    requests.pop();
    return rp;
}

通知 wait_for时 cv的行为如何？
是否在不检查 true的返回值的情况下返回 is_empty？
还是仅当 true返回 is_empty时才返回 true？

Answer 1

根据[thread.condition.condvar]/36的电话...

cv.wait_for(lock, rel_time, pred);

相当于...

cv.wait_until(lock, chrono::steady_clock::now() + rel_time, std::move(pred));

相当于 in turn ...

while (!pred())
    if (wait_until(lock, abs_time) == cv_status::timeout)
        return pred();
return true;

因此， wait_for返回的值应为谓词返回的当前值。