Почему семантика перемещения не будет работать, если оператор перемещения не помечен как noexcept?

Семантика перемещения предполагает отсутствие исключений, поскольку при перемещении ресурсы (память, дескрипторы) передаются от одного объекта к другому, и исходный объект остается в допустимом, но неопределенном состоянии. Если оператор перемещения сгенерирует исключение в середине процесса перемещения, это может привести к следующему:

• Исходный объект может быть уже модифицирован (ресурсы частично или полностью переданы).
• Целевой объект не получил ресурсы полностью или получил частично.
• В результате оба объекта могут оказаться в некорректном или неконсистентном состоянии, что приведет к утечкам ресурсов или неопределенному поведению программы.

Гарантия noexcept для оператора перемещения сообщает компилятору, что этот оператор гарантированно не выбросит исключение. Эта информация используется компилятором в алгоритмах стандартной библиотеки, например, при изменении размера std::vector.

Когда std::vector нужно увеличить свою емкость, он выделяет новый буфер памяти и перемещает или копирует существующие элементы в новый буфер. Если оператор перемещающего присваивания для типа элементов помечен как noexcept, std::vector выбирает перемещение. Если перемещение произойдет успешно для всех элементов, старый буфер освобождается. Если один из операторов перемещения бросит исключение в процессе перемещения, std::vector сможет безопасно откатить оп