C++智能指针异常安全与内存泄漏防护

智能指针基于RAII机制确保异常安全：std::unique_ptr独占管理资源，通过移动语义传递所有权；std::shared_ptr采用引用计数，配合std::weak_ptr打破循环引用；使用make_unique和make_shared避免异常时内存泄漏；自定义删除器需不抛异常以保证析构安全。

智能指针在C++中是管理动态内存的核心工具，它们通过自动资源管理机制显著提升了程序的异常安全性，有效防止资源泄漏。当异常抛出时，局部对象会自动析构，这一特性被称为RAII（Resource Acquisition Is Initialization）。智能指针正是基于RAII实现的，确保即使在异常发生的情况下，动态分配的资源也能被正确释放。

std::unique_ptr：独占式资源管理

std::unique_ptr 是轻量级的独占式智能指针，一旦获取资源所有权，就不允许复制。它通过移动语义转移所有权，非常适合用于函数间传递资源或作为类成员管理单一资源。

在异常场景中，只要 unique_ptr 是栈上对象，无论函数正常退出还是抛出异常，其析构函数都会被调用，自动释放所管理的资源。

• 避免手动调用 delete，直接返回 unique_ptr 从函数传出资源
• 在构造函数中初始化 unique_ptr，防止构造中途异常导致泄漏
• 配合 make_unique 创建对象，防止表达式中因求值顺序导致的泄漏

std::shared_ptr 与 std::weak_ptr：共享资源安全

std::shared_ptr 使用引用计数管理资源，允许多个指针共享同一对象。异常发生时，每个 shared_ptr 的析构都会减少引用计数，当计数归零时自动释放资源。

它能有效防止因异常跳过释放逻辑而导致的泄漏，但需注意循环引用问题。此时应结合 std::weak_ptr 打破循环，避免资源无法释放。

• shared_ptr 的拷贝和赋值是异常安全的，内部操作不会抛出异常
• weak_ptr 用于观察资源状态，不增加引用计数，避免死锁和泄漏
• 从 weak_ptr 获取 shared_ptr 时使用 lock()，确保资源仍存活

异常安全的构造与赋值操作

智能指针的设计保证了其构造、移动、赋值等操作在异常情况下的安全性。例如，两个 shared_ptr 赋值时，系统会先更新右值的引用计数，再修改左值，确保即使中途抛出异常，原资源也不会泄漏。

使用 make_shared 和 make_unique 而非直接 new，不仅更高效，还能避免因表达式复杂度带来的异常风险。例如：

• auto ptr = std::make_shared();
• auto uptr = std::make_unique();

这种方式将内存分配和智能指针构造合并为原子操作，防止 new 成功但后续构造失败导致的泄漏。

自定义删除器与异常安全

智能指针支持自定义删除器，可用于管理非内存资源，如文件句柄、网络连接等。删除器必须是无状态或可安全复制的，且其调用不应抛出异常。

析构过程中若删除器抛出异常，可能导致程序终止。因此，自定义删除器内部应使用 try-catch 捕获所有异常，或确保操作本身不会失败。

• 用 shared_ptr 管理 FILE*：shared_ptr fp(fopen("a.txt", "r"), fclose);
• 删除器中避免复杂逻辑，仅执行必要清理动作

基本上就这些。智能指针结合RAII机制，从根本上解决了C++中因异常导致的资源泄漏问题。只要合理使用 make_unique / make_shared，并避免自定义删除器抛异常，就能构建出高度异常安全的资源管理体系。