Template:cpp/thread/condition variable/dsc destructor