Template:cpp/thread/barrier/dsc destructor