public member function
Destroy lock_guard (unlocking mutex)
Destroys the lock_guard object.
Before that, the destructor calls the unlock member of the mutex object it manages.
Note that this does not destroy the managed mutex object.
The managed mutex object is accessed and modified (as an atomic operation, causing no data races).
No-throw guarantee: never throws exceptions.