16 Library introduction [library]

16.4 Library-wide requirements [requirements]

Objects of types defined in the C++ standard library may be moved from ([class.copy.ctor]).

Move operations may be explicitly specified or implicitly generated.

Unless otherwise specified, such moved-from objects shall be placed in a valid but unspecified state.

An object of a type defined in the C++ standard library may be move-assigned ([class.copy.assign]) to itself.

Unless otherwise specified, such an assignment places the object in a valid but unspecified state.