Comment by jjmarr

Comment by jjmarr 9 hours ago

2 replies

View on Hacker News

> The moved object could be left in an unusable state, depending on your implementation, after stealing its internal resources.

The "proper" semantics are that it leaves the object in a valid but unspecified state. So, invariants still hold, you can call functions on it, or assign to it.

masklinn 8 hours ago

> you can call functions on it

Only functions with no preconditions, unless the type makes more guarantees as to the moved-from state.

Reply View 1 reply
  • jjmarr 6 hours ago

    The guarantees is that a moved-from state is in an otherwise valid state.

    So, you can do things like check if a moved from std::vector is empty (often the case in practice), then start appending elements to it.

    Reply View 0 replies