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

Семантика перемещения в C++ предназначена для эффективного переноса ресурсов из временных объектов. Если оператор перемещения (например, operator= или конструктор перемещения) не помечен как noexcept, компилятор не может безопасно использовать его при автоматическом выборе между копированием и перемещением в некоторых стандартных алгоритмах и контейнерах (например, при изменении размера std::vector).

Причина в следующем:

1. Гарантии исключений: Стандартные контейнеры и алгоритмы могут предоставлять сильные гарантии исключений (например, "no-throw guarantee" - не генерировать исключений при определенных операциях).
2. Откат (Rollback): В случае исключения, сгенерированного при перемещении элемента (например, при перемещении элемента в новое место в векторе, которое оказалось недействительным), контейнер должен иметь возможность вернуться в исходное корректное состояние.
3. Небезопасность отката при исключении из оператора перемещения: Если оператор перемещения генерирует исключение, то исходный объект, из которого осуществлялся перенос ресурсов, может оказаться в неопределенном, частично перемещенном или невалидном состоянии. Откатить такую операцию безопасно, восстановив исходное состояние контейнера, становится невозможно или крайне сложно.

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

Без noexcept, даже если операция перемещения в реальности не генерирует исключений, компилятор не может гарантировать этого и вынужден выбрать копирование (которое обычно предоставляет более сильные гарантии исключений), чтобы обеспечить целостность контейнера в случае потенциального исключения.

Пример:

c

В main, при vec1.resize(3), элементы будут скопированы, потому что Resource не гарантирует, что перемещение не бросит исключения. При vec2.resize(3), элементы будут перемещены, потому что ResourceNoexcept помечен как noexcept, что позволяет вектору безопасно использовать семантику перемещения при переаллокации.