bool版本的boost :: condition_variable :: wait_until如何使用谓词？

Posted 2021-05-06

试图使用：

bool
wait_until(
    unique_lock<mutex>& lock,
    const chrono::time_point<Clock, Duration>& t,
    Predicate pred);

boost::condition_variable::wait_until的形式（长话故事为什么不std）。文档说明这种影响是“如果：”

while(!pred())
{
    if(!wait_until(lock,abs_time))
    {
        return pred();
    }
}
return true;

但wait_until(lock,abs_time)形式的wait_until实际上返回cv_status类型定义为：

enum class cv_status;
{
  no_timeout,
  timeout
};

由于cv_status类型不能隐式地转换为bool（对吗？），if(!wait_until(lock,abs_time))从“As-if”开始的条件是什么？我想它是在说“如果等待超时，则返回谓词的值”，但我不能从if语句和cv_status返回类型那个wait_until的形式得到。

现在，std文档“等效于”似乎正是我所期望的：

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

因此，可以安全地假设boost文档只是稍微关闭，并且实现是如std文档中所述？

答案

你可能会混淆文档¹。

在此示例代码中：Live On Coliru（输出：“Nay”）

#include <boost/thread.hpp>
#include <iostream>

int main()
{
    boost::mutex m;
    boost::condition_variable cv;

    boost::unique_lock<boost::mutex> lk(m);
    if (cv.wait_until(lk,
            boost::chrono::high_resolution_clock::now() + boost::chrono::seconds(1), 
            [] { return false; }))
    {
        std::cout << "Yay
";
    } else {
        std::cout << "Nay
";
    }
}

wait_until的返回类型实际上是bool。该调用的实现实际上是：

    template <class Clock, class Duration, class Predicate>
    bool
    wait_until(
            unique_lock<mutex>& lock,
            const chrono::time_point<Clock, Duration>& t,
            Predicate pred)
    {
        while (!pred())
        {
            if (wait_until(lock, t) == cv_status::timeout)
                return pred();
        }
        return true;
    }

如您所见，它明确地处理了cv_status类型。

除此之外，它看起来好像[原文如此]“As-if”代码是伪代码，它假设一种bool类型的返回值。我同意这在技术上“不正确”。

---

¹见