Что происходит при вызове деструктора объекта потока, который ожидает переменную условия?

Я использую SynchronisedQueue общаться между потоками. Я обнаружил, что уничтожение объекта потока, когда присоединяющий поток ожидает переменную условия, приведет к сбою программы. Это можно исправить, позвонив detach() до разрушения нити. Но мне интересно, что именно происходит, когда поток, ожидающий условную переменную, завершается. Есть ли другой способ использовать условную переменную, чтобы избежать этого?

#include <queue>
#include <thread>
#include <mutex>
#include <condition_variable>

template <typename Type> class SynchronisedQueue {
public:
void Enqueue(Type const & data) {
std::unique_lock<std::mutex> lock(mutex_);
queue_.push(data);
condition_.notify_one();
}
Type Dequeue() {
std::unique_lock<std::mutex> lock(mutex_);
while (queue_.empty())
condition_.wait(lock);
Type result = queue_.front();
queue_.pop();
return result;
}
private:
std::queue<Type> queue_;
std::mutex mutex_;
std::condition_variable condition_;
};

class Worker {
public:
Worker(SynchronisedQueue<int> * queue) : queue_(queue) {}
void operator()() {
queue_->Dequeue();    // <-- The thread waits here.
}
private:
SynchronisedQueue<int> * queue_;
};

int main() {
auto queue = new SynchronisedQueue<int>();
Worker worker(queue);
std::thread worker_thread(worker);
worker_thread.~thread();  // <-- Crashes the program.
return 0;
}