Является ли это ошибкой в ​​C++ conditional_variable?

Question

Ниже приведен исходный код в файле заголовка conditional_variable из C++ 5.2.1. Интересно, есть ли проблема в первую ждать, где пока Тестирование не находится в критической секции __lock разбудила из ждать снова.

template<typename _Lock, typename _Predicate> 
void wait(_Lock& __lock, _Predicate __p) { 
    while (!__p()) 
     wait(__lock); 
} 

template<typename _Lock> 
void wait(_Lock& __lock) { 
    shared_ptr<mutex> __mutex = _M_mutex; 
    unique_lock<mutex> __my_lock(*__mutex); 
    _Unlock<_Lock> __unlock(__lock); 
    // *__mutex must be unlocked before re-locking __lock so move 
    // ownership of *__mutex lock to an object with shorter lifetime. 
    unique_lock<mutex> __my_lock2(std::move(__my_lock)); 
    _M_cond.wait(__my_lock2); 
} 

Answer 1

Не ошибка. Когда оценивается !__p(), мьютекс в __lock якобы по-прежнему заблокирован текущей нитью.

Я полагаю, код представлен из libstdC++.