Re: [boost] [thread] Expected behaviour of condition variablewaitwhen the mutex is not locked

From: Peter Dimov (pdimov_at_[hidden])
Date: 2008-05-08 12:03:56

Frank Mori Hess:
> My recollection is that the requirements are looser: a move can leave the
> moved-from source in any state it likes as long as it doesn't violate any 
> of
> the class' specified invariants.

You're right that in principle a moved-from lock may be left with "owns == 
false" without also setting pm to 0, the equivalent of a lock constructed 
with defer_lock.