При выбрасывании исключения в конструкторе следует помнить:
- Частично построенный объект: Если исключение выбрасывается до завершения инициализации всех членов класса, объект считается частично построенным. Его деструктор не будет вызван.
- Освобождение ресурсов: Ресурсы, захваченные до момента выбрасывания исключения (например, выделенная память в конструкторах инициализированных на данный момент членов), должны быть явно освобождены. Идиома RAII (Resource Acquisition Is Initialization) является идеальным решением для автоматического управления ресурсами в таких случаях.
- Отсутствие деструктора: Так как деструктор не вызывается, код, который полагается на деструктор для очистки (например, освобождение памяти, закрытие файлов), не выполнится.
- Утечки ресурсов: Без должной заботы об освобождении ресурсов при выбрасывании исключения в конструкторе могут произойти утечки памяти, файловых дескрипторов и других ресурсов.
Пример использования RAII для предотвращения утечек:
cpp
В данном примере std::unique_ptr владеет ресурсом Resource. Если исключение выбрасывается в конструкторе MyClass после инициализации res, деструктор std::unique_ptr будет вызван автоматически, гарантируя освобождение ресурса Resource.