通知 cv 时 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;
}

通知cv时wait_for的行为如何？ 它是否返回true而不检查is_empty的返回值？ 还是仅当is_empty返回true时才返回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));

反过来，这相当于...

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

所以wait_for返回的值应该是谓词返回的当前值。