Нормально ли бросать исключения из конструктора

1️⃣ Как кратко ответить

Бросать исключения из конструктора нормально и является стандартной практикой в C++. Это позволяет сигнализировать о неудаче в инициализации объекта. Однако важно обеспечить, чтобы ресурсы, выделенные до возникновения исключения, были корректно освобождены.

2️⃣ Подробное объяснение темы

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

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

Пример кода, демонстрирующий бросание исключения из конструктора:

#include <iostream>
#include <stdexcept>
#include <string>
​
class FileHandler {
public:
    FileHandler(const std::string& filename) {
        // Попытка открыть файл
        file = fopen(filename.c_str(), "r");
        if (!file) {
            // Если файл не удалось открыть, бросаем исключение
            throw std::runtime_error("Не удалось открыть файл");
        }
    }
​
    ~FileHandler() {
        // Закрываем файл, если он был успешно открыт
        if (file) {
            fclose(file);
        }
    }
​
private:
    FILE* file;
};
​
int main() {
    try {
        // Пытаемся создать объект FileHandler
        FileHandler fh("non_existent_file.txt");
    } catch (const std::exception& e) {
        // Обрабатываем исключение, если файл не удалось открыть
        std::cerr << "Ошибка: " << e.what() << std::endl;
    }
​
    return 0;
}

• FileHandler(const std::string& filename): Конструктор класса FileHandler, который пытается открыть файл с заданным именем.
• file = fopen(filename.c_str(), "r"): Попытка открыть файл в режиме чтения. Если fopen возвращает nullptr, это означает, что файл не удалось открыть.
• throw std::runtime_error("Не удалось открыть файл"): Если файл не удалось открыть, бросается исключение std::runtime_error с сообщением об ошибке.
• ~FileHandler(): Деструктор, который закрывает файл, если он был успешно открыт.
• try и catch: В main создается объект FileHandler. Если конструктор бросает исключение, оно перехватывается в блоке catch, и выводится сообщение об ошибке.

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