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.