Действительный, но неопределенный статус. Что тогда указано? ⇐ C++

[Anonymous]

Стандарт гласит, что после перемещения объект находится в «действительном, но неопределенном состоянии». Я ничего не нашел в стандарте о свойствах нахождения в «заданном состоянии» и «неопределенном состоянии».

• Что означает указанное состояние?
• Если член класса/структуры находится в неопределенном состоянии, верно ли, что сам объект находится в неопределенном состоянии?
• Если объект находится в заданном состоянии, правда ли, что методы/геттеры объекта возвращают значения в указанном состоянии?
• Если контейнер находится в указанном состоянии, и я перемещаюсь из одного из его элементов, находится ли этот контейнер в неопределенном состоянии?

Эта серия вопросов возникла из обзора, в котором мы с коллегами спорили о перемещении значений из std::optional. Более конкретно:
Если я вызову std::move(opt.value()) для объекта opt типа std::optional, будет ли opt находиться в допустимом, но неопределенном состоянии?

Подробнее здесь: https://stackoverflow.com/questions/798 ... ified-then