Почему деструктор Condition_variable зависает в этой программе? ⇐ C++

[Anonymous]

У меня есть программа, которую я превратил в этот короткий MRE:

Код: Выделить всё

#include 
#include 
#include 
#include 

std::mutex mu;
std::condition_variable cv;
void test(){
std::unique_lock lk(mu);
cv.wait(lk);
}
int main(){
std::thread(test).detach();
sleep(3);
}

Если вы запустите его, вы заметите, что он зависает, даже учитывая 3-секундный сон. Если вы запустите программу под GDB и прервете ее, пока она зависает, вы увидите, что она заблокирована в pthread_cond_destroy. Если вы посмотрите на обратную трассировку на этом этапе, вы увидите, что это связано с деструктором cv.
Я не совсем понимаю, почему это происходит.

Подробнее здесь: https://stackoverflow.com/questions/785 ... is-program