C++ 中如何编写异常安全的代码？-JavaScript中文网-JavaScript教程资源分享门户

本题详细解读

1. RAII模式

RAII是C++中管理资源的核心思想。通过将资源绑定到对象的生命周期，确保资源在对象销毁时自动释放。例如：

// www.javascriptcn.com code example
class FileHandler {
public:
    FileHandler(const std::string& filename) : file_(std::fopen(filename.c_str(), "r")) {
        if (!file_) {
            throw std::runtime_error("Failed to open file");
        }
    }

    ~FileHandler() {
        if (file_) {
            std::fclose(file_);
        }
    }

    // 禁止拷贝构造和赋值
    FileHandler(const FileHandler&) = delete;
    FileHandler& operator=(const FileHandler&) = delete;

private:
    std::FILE* file_;
};

在这个例子中，FileHandler类负责管理文件句柄。当FileHandler对象销毁时，文件句柄会自动关闭，即使在构造函数中抛出异常，也不会发生资源泄漏。

2. 异常安全保证

基本保证

基本保证要求程序在抛出异常后保持有效状态，不会泄漏资源。例如：

void processFile(const std::string& filename) {
    FileHandler file(filename);
    // 处理文件
    // 如果抛出异常，FileHandler的析构函数会自动关闭文件
}

在这个例子中，即使processFile函数中抛出异常，FileHandler的析构函数也会确保文件被正确关闭。

强保证

强保证要求操作要么完全成功，要么完全失败，不会产生部分修改。例如：

void transferMoney(Account& from, Account& to, double amount) {
    from.withdraw(amount);  // 可能抛出异常
    to.deposit(amount);     // 可能抛出异常
}

为了提供强保证，可以使用“复制-交换”惯用法：

// www.javascriptcn.com code example
void transferMoney(Account& from, Account& to, double amount) {
    Account fromCopy = from;
    Account toCopy = to;

    fromCopy.withdraw(amount);
    toCopy.deposit(amount);

    // 如果没有异常，交换数据
    from = fromCopy;
    to = toCopy;
}

在这个例子中，只有在所有操作都成功的情况下，才会修改原始数据。

不抛出保证

不抛出保证要求操作不会抛出异常。例如：

void noThrowFunction() noexcept {
    // 确保不会抛出异常
}

3. 避免裸指针

使用智能指针可以避免手动管理内存，减少资源泄漏的风险。例如：

void useSmartPointer() {
    std::unique_ptr<int> ptr(new int(42));
    // 不需要手动释放内存
}

4. 异常处理

在适当的地方捕获异常，并确保资源在异常处理过程中得到正确释放。例如：

void handleException() {
    try {
        // 可能抛出异常的代码
    } catch (const std::exception& e) {
        // 处理异常
    }
}

5. 事务性操作

对于需要多个步骤的操作，使用事务性操作来确保操作的原子性。例如：

// www.javascriptcn.com code example
void transactionalOperation() {
    try {
        // 步骤1
        // 步骤2
        // 步骤3
    } catch (...) {
        // 回滚操作
        throw;
    }
}

在这个例子中，如果任何一个步骤失败，可以回滚之前的操作，确保数据的一致性。

C++ 中如何编写异常安全的代码？

推荐答案