C++异常与容器操作技巧

C++中结合异常处理与容器操作需理解标准容器的异常安全保证，如vector和map在push_back或at操作时可能抛出bad_alloc或out_of_range异常，应使用try-catch捕获并处理；利用RAII确保资源安全，自定义异常类型可提升错误处理灵活性，从而增强程序健壮性。

在C++中，异常处理与容器操作结合使用时，关键在于理解标准库容器的异常安全保证，并合理使用try-catch机制来应对可能的错误。标准容器如vector、map等在大多数操作中提供基本异常安全（basic exception safety）或强异常安全（strong exception safety），但某些操作仍可能抛出异常，比如内存分配失败或访问越界。合理设计异常处理逻辑，能提升程序的健壮性。

了解容器操作可能抛出的异常

常见容器操作中可能抛出异常的情况包括：

• std::vector::push_back：当容器需要重新分配内存时，若内存不足会抛出std::bad_alloc
• std::map::at 或 std::vector::at：访问不存在的索引或键时抛出std::out_of_range
• 构造对象时抛出异常，例如元素类型构造函数失败

在容器操作中使用try-catch保护关键代码

当执行可能抛出异常的容器操作时，应将其放入try块中，并捕获相应异常类型：

#include 
#include 
#include 

int main() {
    std::vector vec = {1, 2, 3};

    try {
        vec.at(10) = 4;  // 可能抛出 std::out_of_range
    } catch (const std::out_of_range& e) {
        std::cerr << "越界访问: " << e.what() << '\n';
    }

    try {
        vec.push_back(1000000); // 可能抛出 std::bad_alloc（极少见）
    } catch (const std::bad_alloc& e) {
        std::cerr << "内存分配失败: " << e.what() << '\n';
    }

    return 0;
}

确保资源管理与异常安全

使用RAII（资源获取即初始化）原则可避免异常导致资源泄漏。标准容器本身是异常安全的，配合智能指针和局部对象能自动清理资源：

• 容器析构函数会自动释放内存，无需手动清理
• 在函数中创建的vector，即使抛出异常，也会正确调用其析构函数
• 避免在可能抛出异常的容器操作后直接操作原始指针或资源

例如：

void process_data() {
    std::vector lines;
    lines.reserve(1000); // 可能抛出 bad_alloc

    // 若 reserve 失败，lines 仍处于有效状态，可安全析构
    // 后续插入操作也受异常安全保护
}

自定义异常与容器结合使用

可在操作容器时抛出自定义异常，便于上层统一处理：

struct empty_container_error : public std::runtime_error {
    empty_container_error() : std::runtime_error("容器为空") {}
};

double get_average(const std::vector& vec) {
    if (vec.empty()) {
        throw empty_container_error();
    }
    int sum = 0;
    for (int x : vec) sum += x;
    return static_cast(sum) / vec.size();
}

// 调用示例
try {
    std::vector data;
    std::cout << get_average(data);
} catch (const empty_container_error& e) {
    std::cerr << "错误: " << e.what() << '\n';
}