面试题：C++ 析构函数异常对资源管理的影响

异常对内存资源管理的影响

内存泄漏：如果在析构函数释放文件句柄时抛出异常，并且该异常没有被恰当处理，那么析构函数将不会完整执行。这意味着在类中动态分配的内存可能无法被释放，从而导致内存泄漏。例如，如果类中有成员变量是通过new分配的内存，由于析构函数提前终止，对应的delete操作没有执行。
未定义行为：C++标准规定，从析构函数抛出异常且该异常未在析构函数内部被捕获时，会导致未定义行为。这可能会引起程序崩溃、数据损坏等难以调试的问题，尤其是在包含多个对象析构的复杂场景下。

设计析构函数避免问题的方法

在析构函数内捕获异常：

class MyClass {
private:
    void* dynamicMemory;
    FILE* fileHandle;
public:
    MyClass() {
        dynamicMemory = new char[100];
        fileHandle = fopen("test.txt", "r");
    }
    ~MyClass() {
        try {
            if (fileHandle) {
                int result = fclose(fileHandle);
                if (result != 0) {
                    // 模拟可能抛出异常的情况
                    throw std::runtime_error("Failed to close file");
                }
            }
        } catch (...) {
            // 捕获异常，避免异常传播出析构函数
            std::cerr << "Exception caught while closing file in destructor" << std::endl;
        }
        if (dynamicMemory) {
            delete[] static_cast<char*>(dynamicMemory);
        }
    }
};

使用RAII（Resource Acquisition Is Initialization）原则：可以将文件句柄的管理封装到一个RAII类中，例如std::unique_ptr<FILE, int(*)(FILE*)>，这样在std::unique_ptr析构时会自动调用fclose，并且不会抛出异常。

#include <memory>

class MyClass {
private:
    void* dynamicMemory;
    std::unique_ptr<FILE, int(*)(FILE*)> fileHandle;
public:
    MyClass() {
        dynamicMemory = new char[100];
        fileHandle.reset(fopen("test.txt", "r"), fclose);
    }
    ~MyClass() {
        if (dynamicMemory) {
            delete[] static_cast<char*>(dynamicMemory);
        }
        // std::unique_ptr会自动调用fclose，且不会抛出异常
    }
};

通过上述方法，可以有效避免在析构函数释放文件句柄抛出异常时对内存资源管理造成的负面影响。

星途面试题库

面试题：C++ 析构函数异常对资源管理的影响

知识考点

面试题答案

异常对内存资源管理的影响

设计析构函数避免问题的方法