C++中的异常处理机制会在异常被抛出后触发栈展开过程，此时所有从抛出点到捕获点之间的栈上对象都会被自动销毁。如果栈上存在裸指针指向动态分配的资源，这些资源很容易因为指针本身被销毁而没有被释放，造成资源泄漏。智能指针通过封装裸指针并遵循RAII原则，能够在栈展开时自动释放管理的资源，从根源上避免这类问题。
栈展开的基本执行逻辑
当程序执行过程中抛出异常时，运行时系统会从异常抛出的位置开始，沿着调用栈向上查找匹配的catch块。在查找过程中，调用栈上所有已经创建但还没有完成生命周期的局部对象，都会按照与构造相反的顺序被自动析构，这个整个过程就是栈展开。
栈展开只会销毁栈上的对象，不会主动处理堆上分配的资源。如果栈上的局部变量是裸指针，指针本身作为栈对象会被销毁，但它指向的堆内存不会被自动释放，这就是资源泄漏的常见原因。
裸指针在栈展开时的资源风险
下面通过一个简单的示例展示裸指针在异常场景下的资源问题：
#include <iostream>
#include <stdexcept>
void func_with_raw_pointer() {
int* raw_ptr = new int(10); // 动态分配资源
std::cout << "分配资源成功，值为：" << *raw_ptr << std::endl;
throw std::runtime_error("模拟异常抛出"); // 抛出异常触发栈展开
delete raw_ptr; // 这行代码永远不会执行
}
int main() {
try {
func_with_raw_pointer();
} catch (const std::exception& e) {
std::cout << "捕获到异常：" << e.what() << std::endl;
}
return 0;
}
上述代码中，func_with_raw_pointer函数内部分配了堆内存后抛出异常，栈展开时raw_ptr作为局部变量被销毁，但delete语句没有执行，导致分配的int内存永远无法被释放，出现内存泄漏。
智能指针的资源保障原理
智能指针的核心是遵循RAII（资源获取即初始化）原则，将资源的管理和对象的生命周期绑定。智能指针本身是一个栈对象，当它被销毁时，其析构函数会自动释放管理的资源。在栈展开过程中，智能指针作为局部对象被析构，自然就会触发资源的释放逻辑。
C++标准库提供了三种常用的智能指针，分别是std::unique_ptr、std::shared_ptr和std::weak_ptr，其中前两种都可以直接用于管理动态资源，在栈展开时保障资源安全。
std::unique_ptr的示例
std::unique_ptr是独占所有权的智能指针，同一时间只能有一个unique_ptr管理某个资源，资源释放逻辑在析构函数中直接执行。
#include <iostream>
#include <memory>
#include <stdexcept>
void func_with_unique_ptr() {
std::unique_ptr<int> unique_ptr(new int(10)); // 用unique_ptr管理资源
std::cout << "分配资源成功，值为：" << *unique_ptr << std::endl;
throw std::runtime_error("模拟异常抛出"); // 抛出异常触发栈展开
// 栈展开时unique_ptr被析构，自动释放管理的int资源
}
int main() {
try {
func_with_unique_ptr();
} catch (const std::exception& e) {
std::cout << "捕获到异常：" << e.what() << std::endl;
}
return 0;
}
上述代码中，即使抛出异常触发栈展开，unique_ptr作为局部对象被析构时，会自动调用delete释放管理的int内存，不会出现资源泄漏。
std::shared_ptr的示例
std::shared_ptr是共享所有权的智能指针，通过引用计数管理资源，当最后一个指向资源的shared_ptr被销毁时，才会释放资源。
#include <iostream>
#include <memory>
#include <stdexcept>
void func_with_shared_ptr() {
std::shared_ptr<int> shared_ptr = std::make_shared<int>(10); // 用shared_ptr管理资源
std::cout << "分配资源成功，值为：" << *shared_ptr << std::endl;
std::cout << "当前引用计数：" << shared_ptr.use_count() << std::endl;
throw std::runtime_error("模拟异常抛出"); // 抛出异常触发栈展开
// 栈展开时shared_ptr被析构，引用计数减为0，自动释放资源
}
int main() {
try {
func_with_shared_ptr();
} catch (const std::exception& e) {
std::cout << "捕获到异常：" << e.what() << std::endl;
}
return 0;
}
shared_ptr在栈展开时同样会被析构，引用计数减少，当计数为0时自动释放管理的资源，也能保障资源安全。
智能指针使用的注意事项
- 不要将裸指针和智能指针混合管理同一份资源，否则可能导致重复释放的问题。
- 优先使用
std::make_unique和std::make_shared创建智能指针，这两个函数可以避免一些潜在的异常安全问题。 std::weak_ptr本身不持有资源的所有权，不会增加引用计数，通常用于解决shared_ptr的循环引用问题，不能直接用于保障栈展开时的资源释放。
通过智能指针管理动态资源，开发者不需要手动编写资源释放逻辑，即使程序抛出异常触发栈展开，资源也能被自动正确释放，大幅降低了资源泄漏的风险，是C++异常场景下资源管理的首选方案。
C++_smart_pointerexceptionstack_unwindingresource_management修改时间：2026-07-05 02:24:24