Стандарт гласит, что объект после перемещения находится в «действительном, но неопределенном состоянии». Я ничего не нашел в стандарте о свойствах «в указанном состоянии» и «неуказанном состоянии». Что означает указанное состояние?
Если один из членов класса/структуры находится в неопределенном состоянии, верно ли, что сам объект находится в неопределенном состоянии?
Если один из общедоступных членов класса/структуры находится в неопределенном состоянии, верно ли, что сам объект находится в неопределенном состоянии?
Если объекты находятся в указанном состоянии, верно ли, что методы объекта возвращают значения в указанном состоянии?
Если объекты находятся в указанном состоянии, правда ли, что геттеры объекта возвращают значения в указанном состоянии?
Если контейнер в указанном состоянии и я перемещаюсь из одного из его элементов, находится ли этот контейнер в неопределенном состоянии?
Эта серия вопросов возникла из обзора, в котором я и мои коллеги спорили о перемещении значений из необязательного. Более конкретно:
Если я вызову std::move(opt.value()) для объекта opt типа std::optional, будет ли объект opt находиться в допустимом, но неопределенном состоянии?
Подробнее здесь: https://stackoverflow.com/questions/798 ... ified-then
