C++11: Почему переменная std::condition использует std:: unique lock?

то есть технической причины нет?

я поддержал ответ cmeerw, потому что я считаю, что он дал техническую причину. Давайте пройдемся по нему. Давайте представим, что комитет решил иметь condition_variable ожидание mutex. Вот код, использующий этот дизайн:

void foo()
{
    mut.lock();
    // mut locked by this thread here
    while (not_ready)
        cv.wait(mut);
    // mut locked by this thread here
    mut.unlock();
}

именно так один не стоит использовать condition_variable. В регионах, отмеченных:

// mut locked by this thread here

существует проблема безопасности исключения, и это это серьезный вопрос. Если в этих областях возникает исключение (или cv.wait itself), заблокированное состояние мьютекса просачивается, если только try/catch также не помещается где-то, чтобы поймать исключение и разблокировать его. Но это просто больше кода, который вы просите программиста написать.

предположим, что программист знает, как написать безопасный код исключения, и знает, как использовать unique_lock для ее достижения. Теперь код выглядит так:

void foo()
{
    unique_lock<mutex> lk(mut);
    // mut locked by this thread here
    while (not_ready)
        cv.wait(*lk.mutex());
    // mut locked by this thread here
}

это намного лучше, но это так все еще не очень хорошая ситуация. Элемент condition_variable интерфейс делает программиста изо всех сил, чтобы заставить вещи работать. Существует возможное разыменование нулевого указателя, если lk случайно не ссылается на мьютекс. И нет никакого способа для condition_variable::wait чтобы проверить, что этот поток действительно владеет блокировкой на mut.

о, вспомнил, есть также опасность, что программист может выбрать неправильный unique_lock функция-член для предоставления мьютекса. *lk.release() было бы катастрофой здесь.

теперь давайте посмотрим, как код пишется с фактическим condition_variable API, который принимает unique_lock<mutex>:

void foo()
{
    unique_lock<mutex> lk(mut);
    // mut locked by this thread here
    while (not_ready)
        cv.wait(lk);
    // mut locked by this thread here
}

1. этот код так прост, как он может получить.
2. это исключение безопасности.
3. The