, так как последнее выбрасывание исключения возможно только в операторе
new
для
dev2_
. Если он выбрасывает исключение, то переменной
dev2_
не будет присвоено никакого значения и, следовательно, мне не нужно удалять объект
dev2_
. Однако, если вы что-то делаете после инициализации
dev2_
, вам потребуется выполнить зачистку этого объекта. Например:
try {
dev1_ = new Device(devno1);
dev2_ = new Device(devno2);
foo_ = new MyClass; //
Может выбросить исключение
} catch (...) {
delete dev1_;
delete dev2_;
throw;
}
В этом случае вам не следует беспокоиться об удалении указателей, которым никогда не присваивались реальные значения (если изначально вы не инициализировали их соответствующим образом), поскольку удаление указателя
NULL
не дает никакого эффекта. Другими словами, если присваивание значения переменной
dev1_
приводит к выбрасыванию исключения, ваш
catch
– обработчик все же выполнит оператор
delete dev2_
, однако все будет нормально, если вы инициализировали его значением
NULL
в списке инициализации.
Как я говорил в рецепте 9.1, рассматривая основы обработки исключений, для обеспечения гибкой стратегии обработки исключений может потребоваться особая ловкость, и то же самое относится к обеспечению безопасности исключений. Подробное рассмотрение методов проектирования программного кода, безопасного при исключениях, приводится в книге «Exceptional С++», написанной Гербом Саттером (Herb Sutter) (издательство «Addison Wesley»).
Смотри также
Рецепт 9.3.
9.3. Создание безопасного при исключениях списка инициализации
Проблема
Необходимо инициализировать ваши данные-члены в списке инициализации конструктора, и поэтому вы не можете воспользоваться подходом, описанным в рецепте 9.2.
Решение
Используйте специальный формат блоков
try
и
catch
, предназначенный для перехвата исключений, выбрасываемых в списке инициализации. Пример 9.3 показывает, как это можно сделать.
Пример 9.3. Обработка исключений в списке инициализации
#include <iostream>
#include <stdexcept>
using namespace std;
// Некоторое устройство
class Device {
public:
Device(int devno) {
if (devno == 2)
throw runtime error("Big problem");
}
~Device {}
private:
Device;
};
class Broker {
public:
Broker (int devno1, int devno2)
try : dev1_(Device(devno1)), // Создать эти объекты в списке
dev2_(Device(devno2)) {} // инициализации
catch (...) {
throw; //
Выдать сообщение в журнал событий или передать ошибку
// вызывающей программе (см. ниже обсуждение)
}
~Broker {}
private:
Broker;
Device dev1_;
Device dev2_;
};
int main {
try {
Broker b(1, 2);
} catch(exception& e) {
cerr << "Exception: " << e.what << endl;
}
}
Обсуждение
Синтаксис обработки исключений в списках инициализации немного отличается от традиционного синтаксиса С++, потому что здесь блок
try
используется в качестве тела конструктора. Критической частью примера 9.3 является конструктор класса
Broker
.
Broker(int devno1, int devno2) // Заголовок конструктора такой же Constructor
try : // Действует так же, как try {...}
dev1_(Device(devno1)), // Затем идут операторы списка
вполне ожидаем; единственное синтаксическое отличие от обычного блока
try
заключается в том, что при перехвате исключений, выброшенных из списка инициализации, за ключевым словом
try
идет двоеточие, затем список инициализации и после этого собственно блок
try
, который является одновременно и телом конструктора. Если какое-нибудь исключение выбрасывается из списка инициализации или из тела конструктора, оно будет перехвачено
catch
– обработчиком, который расположен после тела конструктора. Вы можете при необходимости добавить в тело конструктора дополнительную пару блоков
try/catch
, однако вложенные блоки
try/catch
обычно выглядят непривлекательно.
Кроме перемещения операторов инициализации членов в список инициализации пример 9.3 отличается от примера 9.2 еще одним свойством. Объекты-члены
Device
на этот раз не создаются в динамической памяти с помощью оператора
new
. Я сделал это для иллюстрации двух особенностей, связанных с безопасностью и применением объектов-членов.
Во-первых, использование стека вместо объектов динамической памяти позволяет компилятору автоматически обеспечить их безопасность. Если какой-нибудь объект в списке инициализации выбрасывает исключение в ходе конструирования, занимаемая им память автоматически освобождается по мере раскрутки стека в процессе обработки исключения. Во-вторых, что более важно, любые другие объекты, которые уже были успешно сконструированы, уничтожаются, и вам не требуется перехватывать исключения и явно их удалять оператором