C++异常与动态内存结合使用技巧

使用智能指针可避免异常导致的内存泄漏。在C++中，new分配内存后若抛出异常，delete将无法执行，造成泄漏；而std::unique_ptr等智能指针通过RAII机制在析构时自动释放内存，确保异常安全。构造函数中应优先用std::make_unique管理资源，避免直接使用new，防止部分分配失败导致泄漏。自定义类应借助智能指针或正确实现析构、拷贝等函数。只要遵循RAII原则，结合智能指针管理动态内存，即可有效防止资源泄漏，实现异常安全的代码。

在C++中，异常处理和动态内存分配常常一起出现，尤其是在资源管理复杂或可能出现错误的场景中。如果处理不当，很容易导致内存泄漏或程序崩溃。正确结合使用异常处理和动态内存分配，是编写健壮C++程序的关键。

异常可能中断资源释放

当使用new分配内存后，如果在释放前发生异常，普通指针无法自动释放内存。例如：

int* p = new int(10);
if (some_error())
    throw std::runtime_error("Error occurred");
delete p; // 这行不会执行

此时，指针p指向的内存未被释放，造成内存泄漏。

使用智能指针避免泄漏

C++标准库提供了std::unique_ptr和std::shared_ptr，它们在析构时自动释放所管理的内存，即使异常发生也能保证资源被回收。

示例：

std::unique_ptr p = std::make_unique(20);
if (some_error())
    throw std::runtime_error("Error");
// 不需要手动 delete，异常抛出时 unique_ptr 会自动释放内存

智能指针利用RAII（资源获取即初始化）机制，在对象生命周期结束时自动清理资源，是结合异常和动态内存的最佳实践。

在构造函数中谨慎分配内存

对象构造过程中如果使用new且抛出异常，已分配的内存可能无法被释放，除非使用智能指针或提供异常安全的清理逻辑。

推荐做法：

• 在成员变量中使用std::unique_ptr管理动态内存
• 在构造函数体内分配资源时，确保使用智能指针包裹
• 避免在构造函数中执行可能失败且难以回滚的操作

例如：

class MyClass {
    std::unique_ptr buffer;
public:
    MyClass(size_t size) : buffer(std::make_unique(size)) {
        // 如果 make_unique 失败，抛出 bad_alloc，但不会泄漏
    }
};

异常安全的内存操作建议

编写异常安全代码时，注意以下几点：

• 优先使用std::make_unique和std::make_shared，避免直接使用new
• 不要在同一个表达式中混合多个new调用，防止部分成功导致泄漏
• 自定义类中，若需管理资源，实现析构函数、拷贝构造和赋值操作符，或使用智能指针代替原始指针
• 抛出异常前，确保所有已分配资源已被释放或交由智能指针管理

基本上就这些。只要坚持使用智能指针和RAII，C++中的异常和动态内存可以安全共存，不会造成资源泄漏。不复杂但容易忽略。