Template:cpp/thread/shared lock/dsc destructor