The lack of so called destructive moves in C++ is not great. You either add a proper empty state to your type and make it properly part of the invariant, which

The lack of so called destructive moves in C++ is not great. You either add a proper empty state to your type and make it properly part of the invariant, which is not always possible or meaningful, or you need a special moved from state for which your object invariant doesn't hold, which is "less than ideal" to say the least.