21 Jan
2013
21 Jan
'13
10:24 p.m.
Louis Dionne wrote:
With proposition III, using a moved-from variant implies that you know what's in it after the move, i.e. the type of the held object and the fact that it is default constructed.
No, [III] doesn't generally guarantee a specific value after a move. It just guarantees a valid object; that is, one that doesn't crash or assert if you try to use it. "Valid but unspecified" is the classic definition of a moved-from object.