Почему move должен быть noexcept

Question

Почему перемещающий конструктор помечают noexcept?

Техпрогон · Accepted Answer

При реаллокации std::vector обязан сохранить строгую гарантию: если перенос элемента бросит, старый буфер должен остаться целым. Поэтому он перемещает элементы только при noexcept-перемещении (std::moveifnoexcept), иначе копирует. При реаллокации std::vector обязан сохранить строгую гарантию: если перенос элемента бросит, старый буфер должен остаться целым. Поэтому он перемещает элементы только при noexcept-перемещении (std::moveifnoexcept), иначе копирует.. При реаллокации std::vector обязан сохранить строгую гарантию: если перенос элемента бросит, старый буфер должен остаться целым. Поэтому он перемещает элементы только при noexcept-перемещении (std::moveifnoexcept), иначе копирует.

Почему move должен быть noexcept

Вопрос

Попробуйте сами

Коротко

Ответ

Разбор

Ещё по теме «Правило 0/3/5»