При возникновении исключения в конструкторе объекта, вызываемого через оператор new, оператор new освободит память, выделенную для этого объекта, прежде чем перебросить исключение. Это поведение гарантируется стандартом C++.
Риск утечки памяти в данном конкретном случае, касающемся памяти, выделенной самим оператором new для объекта, отсутствует.
Однако, если в конструкторе были выделены другие ресурсы (например, динамическая память через new для членов класса, открыты файловые дескрипторы и т.д.), и их освобождение не было корректно обработано до возникновения исключения, риск утечки этих дополнительных ресурсов существует.
Для предотвращения утечек ресурсов в случае исключений в конструкторах используются следующие подходы:
RAII (Resource Acquisition Is Initialization): Ресурсы связываются со временем жизни объекта, и при уничтожении объекта (в том числе при раскрутке стека из-за исключения) ресурс автоматически освобождается.
cpp
Умные указатели: Используются для автоматического управления динамической памятью.
cpp
Блоки try-catch внутри конструктора (менее предпочтительно): Позволяет перехватить исключение и освободить ресурсы перед перебросом или обработкой.
cpp
Этот последний подход усложняет код и менее безопасен, чем RAII или умные указатели, так как требует тщательного отслеживания выделенных ресурсов в каждом блоке catch.
В итоге, сам new гарантирует освобождение памяти под объект при исключении в конструкторе, но ответственность за освобождение других ресурсов лежит на разработчике, и наилучшим способом для этого является использование RAII и умных указателей.