Стенли Липпман - Язык программирования C++. Пятое издание

StrVec::StrVec(StrVec &&s) noexcept // перемещение не будет передавать

// исключений

// инициализаторы членов получают ресурсы из s

: elements(s.elements), first_free(s.first_free), cap(s.cap) {

// оставить s в состоянии, при котором запуск деструктора безопасен

s.elements = s.first_free = s.cap = nullptr;

}

Оператор noexcept(уведомляющий о том, что конструктор не передает исключений) описан ниже, а пока рассмотрим, что делает этот конструктор.

В отличие от конструктора копий, конструктор перемещения не резервирует новую память; он получает ее от заданного объекта класса StrVec. Получив область памяти от своего аргумента, тело конструктора присваивает указателям заданного объекта значение nullptr. После перемещения оригинальный объект продолжает существовать. В конечном счете оригинальный объект будет удален, а значит, будет выполнен его деструктор. Деструктор класса StrVecвызывает функцию deallocate()для указателя first_free. Если забыть изменить указатель s.first_free, то удаление оригинального объекта освободит область памяти, которая была только что передана.

Операции перемещения, библиотечные контейнеры и исключения

Поскольку операция перемещения выполняется при "захвате" ресурсов, она обычно не резервирует ресурсы. В результате операции перемещения обычно не передают исключений. Когда создается функция перемещения, неспособная передавать исключения, об этом факте следует сообщить библиотеке. Как будет описано вскоре, если библиотека не знает, что конструктор перемещения не будет передавать исключений, она предпримет дополнительные меры по отработке возможности передачи исключения при перемещении объекта этого класса.

Один из способов сообщить об этом библиотеке — определить оператор noexceptв конструкторе. Введенный новым стандартом оператор noexceptподробно рассматривается в разделе 18.1.4, а пока достаточно знать, что он позволяет уведомить, что функция не будет передавать исключений. Оператор noexceptуказывают после списка параметров функции. В конструкторе его располагают между списком параметров и символом :, начинающим список инициализации конструктора:

class StrVec {

public:

StrVec(StrVec&&) noexcept; // конструктор перемещения

// другие члены, как прежде

};

StrVec::StrVec(StrVec &&s) noexcept : /* инициализаторы членов */

{ /* тело конструктора */ }

Оператор noexceptследует объявить и в заголовке класса, и в определении, если оно расположено вне класса.

Конструкторы перемещения и операторы присваивания при перемещении, которые не могут передавать исключения, должны быть отмечены как noexcept.

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

Теперь рассмотрим происходящее в функции push_back(). Подобно соответствующей функции класса StrVec(см. раздел 13.5), функция push_back()класса vectorмогла бы потребовать пересоздания вектора. При пересоздании вектор перемещает элементы из прежней своей области памяти в новую, как в функции reallocate()(см. раздел 13.5).

Как только что упоминалось, перемещение объекта обычно изменяет состояние оригинального объекта. Если пересоздание использует конструктор перемещения и этот конструктор передает исключение после перемещения некоторых, но не всех элементов, возникает проблема. Перемещенные элементов в прежнем пространстве были бы изменены, а незаполненные элементы в новом пространстве еще не будут созданы. В данном случае класс vectorне удовлетворял бы требованию оставаться неизменным при исключении.

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