Какие тонкости необходимо учитывать, если исключение выбрасывается из конструктора?

1. Частично созданный объект: Если исключение выбрасывается из конструктора, объект считается не полностью сконструированным. Его деструктор не будет вызван автоматически.
2. Утечки ресурсов: Ресурсы, захваченные до момента выброса исключения и не освобожденные, приведут к утечкам. Необходимо использовать механизмы RAII (Resource Acquisition Is Initialization) для управления ресурсами.
3. Порядок инициализации членов: Члены класса инициализируются в порядке их объявления, не в порядке инициализации в списке инициализации конструктора. Если инициализация члена выбрасывает исключение, члены, проинициализированные до него, будут разрушены (если они имеют деструктор).
4. Небезопасность вложенных исключений: Повторный throw в обработчике исключения конструктора может привести к std::terminate().
5. Смарт-указатели: Использование std::unique_ptr или std::shared_ptr для управления динамически распределенной памятью внутри конструктора позволяет обеспечить автоматическое освобождение при выбросе исключения.
6. Обработка в точке вызова: Код, создающий объект, должен быть обернут в блок try-catch для перехвата исключения из конструктора.

Пример с RAII:

#include <iostream>
#include <fstream>
#include <stdexcept>

class MyClass {
private:
    std::ofstream file;

public:
    MyClass(const std::string& filename) : file(filename) {
        if (!file.is_open()) {
            // Файл не открылся, выбрасываем исключение BEFORE the destructor is called
            // std::ofstream destructor will close the file automatically if exception is thrown AFTER opening
            throw std::runtime_error("Failed to open file: " + filename);
        }
        std::cout << "File successfully opened." << std::endl;
        // Могут быть другие операции инициализации, которые могут выбросить исключение
    }

    // Деструктор будет вызван только если конструктор завершился БЕЗ исключения
    ~MyClass() {
        std::cout << "Closing file." << std::endl;
        file.close(); // std::ofstream destructor handles closing, but explicitly closing is also an option
    }

    // Метод для демонстрации использования
    void write(const std::string& data) {
        file << data << std::endl;
    }
};

int main() {
    try {
        MyClass obj("output.txt");
        // MyClass another_obj("non_existent_dir/another.txt"); // Пример ошибки
        obj.write("Hello from MyClass!");
    } catch (const std::exception& e) {
        std::cerr << "Caught exception: " << e.what() << std::endl;
    }
    return 0;
}