C++. Сборник рецептов

Когсуэлл Джефф

Но, возможно, вам требуется иметь члены, использующие динамическую память (или с ними вы предпочитаете иметь дело). Рассмотрим подход, используемый в первоначальном классе

Broker

в примере 9.2. Вы можете просто инициализировать ваши указатели в списке инициализации, не так ли?

class BrokerBad {

public:

 BrokerBad(int devno1, int devno2)

try : dev1_(new Device(devno1)), // Создать объекты динамической

dev2_(new Device(devno2)) {} // памяти в списке инициализации

catch (...) {

if (dev1_) {

delete dev1_; // He

должно компилироваться и

delete dev2_; // является плохим решением, если

} // все же будет откомпилировано

throw; // Повторное выбрасывание того же самого исключения

}

 ~BrokerBad {

delete dev1_;

delete dev2_;

 }

private:

 BrokerBad;

 Device* dev1_;

 Device* dev2_;

};

Нет, так делать нельзя. Здесь две проблемы. Прежде всего, это не допустит ваш компилятор, потому что расположенный в конструкторе блок

catch

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

dev1_

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

catch

– обработчике.

catch (...) {

 if (dev1_) { // Какое значение имеет эта переменная?

delete dev1_; // в данном случае вы удаляете неопределенное значение

delete dev2_;

 }

 throw; // Повторное выбрасывание того же самого исключения

}

Если исключение выбрасывается в ходе конструирования

dev1_

, то оператором

new

не может быть возвращен адрес нового выделенного участка памяти и значение

dev1_

не меняется. Тогда что эта переменная содержит? Она будет иметь неопределённое значение, так как она никогда не инициализировалась. В результате, когда вы станете выполнять оператор

delete dev1_

, вы, вероятно, попытаетесь удалить объект, используя недостоверный адрес, что приведет к краху программы, вы будете уволены, и вам придется жить с этим позором всю оставшуюся жизнь.

Чтобы избежать такое фиаско, круто изменяющее вашу жизнь, инициализируйте в списке инициализации ваши указатели значением

NULL

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

delete

для

NULL

– указателей.

BrokerBetter(int devno1, int devno2) :

 dev1_(NULL), dev2_(NULL) {

try {

dev1_ = new Device(devno1);

dev2_ = new Device(devno2);

} catch (...) {

delete dev1_; //

Это сработает в любом случае

throw;

}

 }

Итак, вышесказанное можно подытожить следующим образом: если вам необходимо использовать члены-указатели, инициализируйте их значением

NULL

в списке инициализации и затем выделяйте в конструкторе память для соответствующих объектов, используя блок

try/catch

. Вы можете освободить любую память в

catch

– обработчике. Однако, если допускается работа с автоматическими членами, сконструируйте их в списке инициализации и используйте специальный синтаксис блока

try/catch

для обработки любых исключений.

Смотри также

Рецепт 9.2.

9.4. Создание безопасных при исключениях функций-членов

Проблема

Создается функция-член и необходимо обеспечить базовые и строгие гарантии ее безопасности при исключениях, а именно отсутствие утечки ресурсов и то, что объект не будет иметь недопустимое состояние в том случае, если выбрасывается исключение.

Решение

Необходимо выяснить, какие операции могут выбрасывать исключения, и следует выполнить их первыми, обычно заключая в блок

try/catch

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

Пример 9.4. Безопасная при исключениях функция-член

class Message {

public:

 Message(int bufSize = DEFAULT_BUF_SIZE) :

bufSize_(bufSize), initBufSize_(bufSize), msgSize_(0), buf_(NULL) {

buf_ = new char[bufSize];

 }

 ~Message {

delete[] buf_;

 }

 // Добавить в конец символьные данные

 void appendData(int len, const char* data) {

if (msgSize_+len > MAX_SIZE) {

throw out_of_range("Data size exceeds maximum size.");

}

if (msgSize_+len > bufSize_) {

int newBufSize = bufSize_;

while ((newBufSize *= 2) < msgSize_+len);

char* p = new char[newBufSize]; // Выделить память

// для нового буфера

copy(buf_, buf_+msgSize_, p); // Скопировать старые данные

copy(data, data+len, p+msgSize_); // Скопировать новые данные

msgSize_ += len;

bufSize_ = newBufSize;

delete[] buf_; // Освободись старый буфер и установить указатель на

buf_ = p; // новый буфер

} else {

copy(data, data+len, buf_+msgSize_);

msgSize_ += len;