智能指针通过raii机制保障异常安全，确保资源在异常发生时仍能正确释放；1. std::unique_ptr、std::shared_ptr和std::weak_ptr通过自动管理资源生命周期，防止因异常导致的资源泄漏；2. 智能指针支持异常安全的基本保证，在析构时自动释放内存或调用自定义删除器；3. 可扩展至文件、锁等资源管理，需配合自定义删除器使用；4. 应避免直接使用new，优先采用make_unique和make_shared，防止中间状态泄漏；5. 注意shared_ptr循环引用问题，应结合weak_ptr解决；6. 自定义删除器不可抛出异常，且智能指针需配合try-catch等机制共同构建异常安全体系；因此，智能指针是实现异常安全的关键基础工具，但并非万能解决方案。
智能指针与异常安全之间的关系，核心在于自动资源管理。在C++中，异常一旦抛出而未被及时处理，程序执行流会跳过正常的清理代码（如delete、close等），极易导致资源泄漏。智能指针正是为了解决这类问题而设计的关键机制之一。
智能指针如何保障异常安全
智能指针通过RAII（Resource Acquisition Is Initialization） 技术，将资源的生命周期绑定到对象的生命周期上。只要智能指针对象在作用域内，其所管理的资源就会在对象析构时自动释放，无论函数是正常退出还是因异常退出。
常见的智能指类型包括：
-
std::unique_ptr
：独占式所有权，轻量高效，适用于单一所有者场景。
-
std::shared_ptr
：共享所有权，通过引用计数管理资源，适用于多所有者。
-
std::weak_ptr
：配合 shared_ptr 使用，打破循环引用。
这些智能指针在析构函数中自动调用 delete 或自定义删除器，确保动态分配的内存不会因异常而泄漏。
异常安全的三个级别与智能指针的支持
C++中通常将异常安全分为三个级别：
- 基本保证：异常抛出后，对象处于有效状态，无资源泄漏。
- 强保证：操作要么完全成功，要么回到调用前状态（事务式语义）。
- 无异常保证：操作不会抛出异常。
智能指针本身的设计满足基本异常安全保证，尤其是在资源释放方面。例如：
void problematic_function() { Resource* res = new Resource(); // 原生指针 some_operation_that_might_throw(); // 若抛出异常，res 泄漏 delete res; } void safe_function() { auto res = std::make_unique<Resource>(); // 自动管理 some_operation_that_might_throw(); // 即使抛出异常，res 也会被释放 }
在
safe_function
中，即使
some_operation_that_might_throw()
抛出异常，
res
作为局部对象会自动析构，其管理的资源被安全释放。
智能指针在复杂场景中的资源防护
除了内存，智能指针的思想也可扩展到其他资源管理（如文件句柄、锁、网络连接），但需配合自定义删除器使用。
例如，管理文件指针：
auto file = std::unique_ptr<FILE, decltype(&fclose)>( fopen("data.txt", "r"), &fclose ); // 即使后续操作抛出异常，文件也会自动关闭
这种方式将资源获取与释放完全封装，极大提升了异常安全性和代码可维护性。
使用智能指针的注意事项
虽然智能指针大大提升了异常安全性，但仍需注意以下几点：
- 避免在构造函数参数中直接使用
new
，应优先使用
make_unique
和
make_shared
，防止中间状态泄漏。
-
shared_ptr
的循环引用可能导致内存无法释放，应配合
weak_ptr
解决。
- 自定义删除器要确保不会抛出异常，否则在析构时可能引发未定义行为。
- 智能指针不能完全替代异常安全设计，仍需合理使用 try-catch 和异常中立代码。
基本上就这些。智能指针不是“银弹”，但它是构建异常安全程序最基础、最有效的工具之一。
评论（已关闭）
评论已关闭