Re: [boost] [variant] Please vote for behavior (Was: Basic rvalueand C++11 features seupport)

Subject: Re: [boost] [variant] Please vote for behavior (Was: Basic rvalueand C++11 features seupport)
From: Peter Dimov (lists_at_[hidden])
Date: 2013-01-21 17:24:45

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.