Template:cpp/thread/unique lock/dsc destructor