Auto a = std::move(x); x = std::move(y); //почему эта операция корректна

Вы указываете предикат "для любого", он опровергнут контрпримером. Неверно, что левый аргумент присваивания не важен при выполнении операции - класс может иметь неперемещаемые инварианты

0

12.10.2020

Kirill Bolshakov

Constantine Drozdov
Вы указываете предикат "для любого", он опровергну...

Это всё зависит от реализации мув операций в конкретном классе. Обычно делают как в std - valid but unspecified

0

12.10.2020

Constantine Drozdov Автор вопроса

🐙 Antony Polukhin
Было для контейнеров стандартной библиотеки (что-т...

А вот требовать какое-то валидное состояние это требовать неразрушающего перемещения, это слишком жесткое требование По факту для MoveCtor нужно прописать именно требование эквивалентности x = expression и auto y = std::move(x); x = expression;

0

12.10.2020

Constantine Drozdov Автор вопроса

Kirill Bolshakov
Это всё зависит от реализации мув операций в конкр...

Ты запретишь перемещение объектов, содержащих ненулевой unique_ptr, это равносильно неразрушающему перемещению, а в текущий момент стандарт и p1144 рассматривает перемещение скорее как разрушающее

0

12.10.2020

Constantine Drozdov Автор вопроса

🐙 Antony Polukhin
Было для контейнеров стандартной библиотеки (что-т...

Кстати, в стандартной библиотеке есть проблема именно из-за такого определения, у std::list не получается noexcept перемещения

0

12.10.2020

0xBytearray · Accepted Answer

0xBytearray

Почему нет?

0

12.10.2020

170 похожих чатов

Auto a = std::move(x); x = std::move(y); //почему эта операция корректна

11 ответов

Похожие вопросы