В предстоящем стандарте С++ 0x, что происходит, когда исключение создается внутри/во время конструктора перемещения?
Остается ли исходный объект? или оба являются исходными и перемещаемыми объектами в состоянии undefined? каковы гарантии, предоставляемые языком?
Я считаю, что комитет по стандартизации изначально попытался сделать так, чтобы конструкторы не разрешали бросать исключения, но (по крайней мере, на сегодняшний день) обнаружили, что попытка принудительного применения имеет слишком много подводных камней.
Предложение N3050 "Разрешение перемещения конструкторов для броска (Rev 1)" было включено в проект стандарта. По существу это предложение добавляет возможности для перемещения конструкторов для броска, но запретить "бросание" движений, которые будут использоваться для определенных операций, в которых необходимы надежные гарантии безопасности (библиотека вернется к копированию объекта, если неперемещающий ход isn ' t доступно).
Если вы помечаете конструктор перемещения как небрасывающий (noexcept) и генерируется исключение, вызывается std:: terminate().
Возможно, стоит прочитать статью в блоге Дэвида Абрахама, в которой обсуждаются проблемы, которые N3050 планировал адресовать:
Зависит от типа, из которого выполняется перемещение. Конечно, можно явно исключить исключение из перемещения ctor, а также косвенно вызвать копию ctor для подобъекта из перемещения ctor. Эта копия ctor может делать что-то, что может бросать, например, выделять память. Таким образом, для исходного объекта минимальная гарантия - это исходное значение, которое может оставаться или не оставаться, но оно все равно должно находиться в разрушаемом состоянии.
Для объекта, который перемещается в него, он так же, как бросание из ctor в текущий С++: уничтожить любые сконструированные базы и члены, выполнить обработчик try функции ctor, если таковой имеется, а затем распространить исключение. Подробности приведены в N3225 §15.2p2.
В частности, обратите внимание, что контейнеры требуют, чтобы их типы распределителей не выбрасывали перемещение ctors:
Такая конструкция перемещения распределителя не должна выходить через исключение. [N3225 §23.2p8]
Это позволяет контейнерам перемещать распределители вокруг и использовать эти распределители для очистки своих элементов в случае исключения при перемещении или копировании элементов.
В этом случае возникает вопрос об исключительных гарантиях. Существует 3 типа Гарантий Исключения (применимых к функциям):
Когда вы составляете свою функцию, вы обычно получаете существующие функции со своими собственными гарантиями. Трудно увеличить гарантию на исключение, т.е. Ваши обычно ограничены самой слабой гарантией.
W.r.t на ваш вопрос, требуется, по крайней мере, гарантия Strong Exception для того, чтобы исходный объект оставался нетронутым, если выбрано исключение.
Итак, что произойдет, если исключение выбрано во время перемещения? Это зависит от гарантий, выставленных субобъектами, и того, как вы комбинировали вызовы...
В терминах гарантий исключений это означает, что по умолчанию, если все конструкторы подобъектов, по крайней мере, удовлетворяют Базовой гарантии исключения, тогда ваш конструктор перемещения будет также без особой осторожности.
Однако, даже если все конструкторы подобъектов соответствуют гарантии Strong Exception, вряд ли вам удастся выполнить свой собственный конструктор перемещения: это та же проблема, что транзакции цепочки не дают транзакции.
Если только один из конструкторов подобъектов может бросать, и он соответствует гарантии Strong Exception, тогда ваш конструктор перемещения, естественно, встретит его сам, если вы сначала инициализируете метательный объект.
Надеюсь, это помогло... Исключения - это дикий зверь, которому нужно приручить:)