在C++程序开发中，异常机制为错误处理提供了便利，但如果资源在异常抛出前申请、异常抛出后没有对应的释放逻辑，就会导致资源泄漏。智能指针基于RAII（资源获取即初始化）思想设计，能够在对象生命周期结束时自动释放管理的资源，和异常安全有着天然的联系，是防护资源泄漏的核心工具之一。
异常安全与资源泄漏的基本问题
异常安全指的是当程序抛出异常时，不会泄露资源，也不会破坏数据结构。C++的异常安全分为三个等级：
- 基本异常安全：异常抛出后，程序的所有对象仍然保持有效状态，没有资源泄漏，但部分数据可能已经被修改。
- 强异常安全：异常抛出后，程序状态回滚到调用前的状态，就像没有发生过异常一样。
- 不抛异常安全：函数保证不会抛出异常。
如果手动管理动态内存、文件句柄等资源，在异常场景下很容易出现泄漏。比如下面的代码，当do_something抛出异常时，new int申请的内存没有机会被释放：
#include <iostream>
#include <stdexcept>
void do_something() {
throw std::runtime_error("发生异常");
}
void test_leak() {
int* ptr = new int(10);
do_something(); // 这里抛出异常，下面的delete不会执行
delete ptr;
}
int main() {
try {
test_leak();
} catch (const std::exception& e) {
std::cout << e.what() << std::endl;
}
return 0;
}
智能指针的异常安全特性
智能指针的核心原理是：将资源的管理权交给一个栈对象，当栈对象析构时，自动释放其管理的资源。因为栈对象在异常抛出时会被正确析构，所以管理的资源也会被自动释放，天然满足基本异常安全的要求。
unique_ptr的异常安全表现
std::unique_ptr是独占所有权的智能指针，它不允许拷贝，只能通过移动转移所有权。在异常场景下，只要unique_ptr对象本身被正确构造，其管理的资源就一定会被释放。
用unique_ptr改写上面的泄漏代码：
#include <iostream>
#include <memory>
#include <stdexcept>
void do_something() {
throw std::runtime_error("发生异常");
}
void test_safe() {
std::unique_ptr<int> ptr = std::make_unique<int>(10);
do_something(); // 抛出异常时，ptr作为栈对象会析构，自动释放内存
}
int main() {
try {
test_safe();
} catch (const std::exception& e) {
std::cout << e.what() << std::endl;
}
return 0;
}
这里即使do_something抛出异常，ptr离开test_safe函数作用域时会被析构，其管理的动态内存会被自动释放，不会出现泄漏。
shared_ptr的异常安全表现
std::shared_ptr是共享所有权的智能指针，通过引用计数管理资源，当最后一个指向资源的shared_ptr析构时，资源才会被释放。它的异常安全特性和unique_ptr类似，只要shared_ptr对象被正确构造，资源就不会泄漏。
需要注意的是，shared_ptr的引用计数本身是线程安全的，但指向的对象修改不是，不过这和异常安全下的资源泄漏防护无关，主要影响数据一致性。
智能指针对资源泄漏的防护机制
智能指针的防护机制本质是RAII的落地，具体可以总结为两点：
- 资源所有权绑定对象生命周期：资源申请完成后立即交给智能指针管理，资源的释放时机和智能指针对象的生命周期绑定，而栈对象的生命周期不受异常影响，只要离开作用域就会析构。
- 析构函数保证释放逻辑执行：智能指针的析构函数内部包含资源的释放逻辑，C++标准保证，即使函数因为异常退出，栈上所有已经构造完成的对象的析构函数都会被调用，因此释放逻辑一定会执行。
对比手动管理资源，智能指针不需要开发者手动编写释放逻辑，也不需要担心异常跳过释放代码的情况，大幅降低了资源泄漏的概率。
不同异常安全等级下的智能指针使用
智能指针可以满足不同等级的异常安全需求：
| 异常安全等级 | 智能指针的作用 |
|---|---|
| 基本异常安全 | 智能指针默认就能满足，只要资源被智能指针管理，异常抛出时资源一定会被释放，不会出现泄漏。 |
| 强异常安全 | 需要结合移动语义和智能指针的所有权转移，保证修改操作在临时对象上完成，成功后再替换原对象，失败时临时对象的资源自动释放，原对象状态不变。 |
| 不抛异常安全 | 智能指针的析构函数、释放函数如果保证不抛异常，那么管理资源的函数也可以做到不抛异常安全。 |
比如实现强异常安全的赋值操作，可以用unique_ptr的移动赋值来实现：
#include <memory>
#include <utility>
class MyClass {
private:
std::unique_ptr<int> data;
public:
MyClass(int val) : data(std::make_unique<int>(val)) {}
// 强异常安全的赋值运算符
MyClass& operator=(const MyClass& other) {
if (this != &other) {
// 先创建临时对象，这里如果new失败会抛异常，此时this的数据还没被修改
std::unique_ptr<int> temp = std::make_unique<int>(*other.data);
// 移动赋值，unique_ptr的移动赋值不会抛异常
data = std::move(temp);
}
return *this;
}
};
这个赋值运算符中，先在临时对象上完成资源申请，如果申请失败抛出异常，原对象的data没有被修改，状态不变，满足强异常安全的要求。
注意事项
使用智能指针防护资源泄漏时，需要注意两个问题：
- 不要将智能指针管理的资源再手动释放，否则会导致二次释放的问题。
- 避免在智能指针构造完成前抛出异常，比如
std::unique_ptr<int> ptr(new int(10))这种写法，如果new int(10)之后、ptr构造完成前抛出异常，内存还是会泄漏，因此推荐使用std::make_unique和std::make_shared来创建智能指针。
总的来说，智能指针是C++中实现异常安全、防护资源泄漏的核心工具，理解其原理和使用场景，能够帮助开发者写出更健壮的代码。