8 May
2008
8 May
'08
4:03 p.m.
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.