面试题：C++构造函数和析构函数中的异常处理

在C++中构造函数抛出异常的情况

对象未完全构造：如果在构造函数中抛出异常，那么该对象的构造过程将被终止，对象不会被完整构造出来，即对象处于未完全初始化的状态。这意味着对象的成员变量可能只有部分被初始化，调用该对象的其他成员函数可能会导致未定义行为。
栈展开：当构造函数抛出异常时，程序会进行栈展开（stack unwinding）。这意味着从异常抛出点开始，沿着调用栈向上，自动销毁所有已经构造的局部对象，直到找到一个匹配的异常处理程序。

构造函数中正确处理异常以确保资源合理释放和对象状态一致性

使用智能指针管理资源：在构造函数中使用智能指针（如std::unique_ptr或std::shared_ptr）来管理资源。智能指针会在对象析构时自动释放其所管理的资源，即使构造函数抛出异常，已分配的资源也能得到正确释放。

以下是一个示例代码：

#include <memory>
#include <iostream>

class Resource {
public:
    Resource() {
        std::cout << "Resource constructed" << std::endl;
    }
    ~Resource() {
        std::cout << "Resource destructed" << std::endl;
    }
};

class MyClass {
private:
    std::unique_ptr<Resource> res;
public:
    MyClass() {
        res = std::make_unique<Resource>();
        // 假设这里可能会抛出异常
        if (/* 某些条件 */) {
            throw std::runtime_error("Exception in MyClass constructor");
        }
    }
};

在上述代码中，MyClass的构造函数使用std::unique_ptr来管理Resource对象。如果在构造函数后续部分抛出异常，std::unique_ptr会自动调用Resource的析构函数，释放资源。

异常安全的初始化方式：尽量采用异常安全的初始化方式，如成员初始化列表。如果成员对象的构造函数可能抛出异常，这种方式可以确保在成员对象构造失败时，对象的其他部分不会处于不一致的状态。

class AnotherClass {
private:
    int value;
public:
    AnotherClass(int v) try : value(v) {
        // 其他构造逻辑
    } catch(...) {
        // 捕获构造函数抛出的异常，可以在这里进行一些清理操作
        std::cerr << "Exception caught during AnotherClass construction" << std::endl;
        throw; // 重新抛出异常，让调用者处理
    }
};

在这个例子中，使用try - catch块在构造函数中捕获异常，并进行必要的清理或记录操作，然后重新抛出异常。

析构函数中处理异常

避免在析构函数中抛出异常：析构函数应该避免抛出异常。因为在栈展开过程中，如果析构函数抛出异常，会导致程序调用std::terminate，从而异常终止程序。如果在析构函数中有可能抛出异常的操作，应该捕获并处理这些异常，避免异常传播出去。

class ClassWithPotentialExceptionInDestructor {
private:
    std::unique_ptr<Resource> res;
public:
    ClassWithPotentialExceptionInDestructor() {
        res = std::make_unique<Resource>();
    }
    ~ClassWithPotentialExceptionInDestructor() {
        try {
            // 假设这里的操作可能抛出异常
            // 例如关闭文件、释放网络连接等操作
        } catch(...) {
            std::cerr << "Exception caught in destructor, handling it here" << std::endl;
            // 进行必要的错误处理，但不要让异常传播出去
        }
    }
};

在上述析构函数中，通过try - catch块捕获可能抛出的异常并进行处理，防止异常导致程序异常终止。

提供一个显式的释放资源的成员函数：如果确实需要在析构函数之外释放资源，并且这个操作可能抛出异常，可以提供一个显式的成员函数来进行资源释放，让调用者负责处理异常。

class ClassWithExplicitResourceRelease {
private:
    std::unique_ptr<Resource> res;
public:
    ClassWithExplicitResourceRelease() {
        res = std::make_unique<Resource>();
    }
    ~ClassWithExplicitResourceRelease() {
        try {
            if (res) {
                res.reset(); // 安全地释放资源，不会抛出异常
            }
        } catch(...) {
            std::cerr << "Exception caught in destructor, handling it here" << std::endl;
        }
    }
    void releaseResource() {
        try {
            res.reset();
            // 这里的操作可能抛出异常，由调用者处理
        } catch(...) {
            std::cerr << "Exception in releaseResource" << std::endl;
            throw;
        }
    }
};

在这个例子中，releaseResource函数用于释放资源，并且允许异常抛出，调用者可以捕获并处理这些异常。这样可以避免在析构函数中抛出异常的问题。

星途面试题库

面试题：C++构造函数和析构函数中的异常处理

知识考点

面试题答案

在C++中构造函数抛出异常的情况

构造函数中正确处理异常以确保资源合理释放和对象状态一致性

析构函数中处理异常