跳转到主内容
新派编程网 - 新潮编程理念,全新技术课堂!

C++ 内存泄漏是什么?(如何利用 RAII 机制彻底避免)

内存泄漏指未释放动态分配的内存或资源,导致堆内存持续增长;RAII通过将资源绑定到对象生命周期来预防,但对全局对象、线程局部存储、dlopen插件及longjmp等场景无效。 内存泄漏在 C++ 里到底意味着什么 它不是程序崩溃,而是你 new 了内存却没 delete,或者 malloc 了却没 free,导致进程的堆内存持续增长、最终耗尽。更隐蔽的是:对象构造时申请资源(比如文件句柄、socket),但析构函数没释放——这也算内存泄漏的“远亲”。RAII 不是银弹,但它能让你在 95% 的日常场景里,根本写不出泄漏代码。 RAII 的核心不是“用智能指针”,而是“资源即对象” 关键在于:把资源生命周期绑定到栈对象的构造/析构上。不是所有资源都适合用
std::shared_ptr
,也不是所有对象都该被“智能指针化”。真正起作用的是—— 资源获取即初始化:构造函数里申请,失败就抛异常,不留下半成品对象 资源释放即销毁:析构函数里无条件释放,哪怕提前 return 或 throw 也保证执行 禁止裸指针跨作用域传递:一旦出现
new
后赋给非 RAII 对象(比如普通
int*
成员),RAII 就失效 例如打开文件:
class FileGuard { int fd_; public: FileGuard(const char* path) : fd_(open(path, O_RDONLY)) { if (fd_ == -1) throw std::runtime_error("open failed"); } ~FileGuard() { if (fd_ != -1) close(fd_); } // 禁用拷贝,允许移动(可选) FileGuard(const FileGuard&) = delete; FileGuard& operator=(const FileGuard&) = delete; };
std::unique_ptr 和 std::shared_ptr 哪个更容易踩坑
std::unique_ptr
安全边界清晰:独占所有权、不可拷贝、移动后原指针变空。但常见错误是—— 立即学习 “ C++免费学习笔记(深入) ”; C知道 CSDN推出的一款AI技术问答工具 下载 用
get()
拿到裸指针后存到别处(比如传给 C API 并长期持有),忘了自己仍是所有者 循环引用:两个
std::shared_ptr
互相持有时,引用计数永远不为 0,导致泄漏 自定义删除器写错:比如
std::shared_ptr(new int, [](int* p){ delete p; })
看似正常,但如果传入的是数组,
delete
就 UB 真要管理动态数组,请用
std::unique_ptr
,它会自动调用
delete[]
。 哪些地方 RAII 压根不起作用 RAII 依赖对象生命周期可控。以下场景它管不了—— 全局或静态对象的构造函数里分配资源:如果构造失败,C++ 标准不保证其析构会被调用 线程局部存储(
thread_local
)对象,若线程异常终止,析构可能被跳过 通过
dlopen
加载的插件中分配的资源,主程序卸载时无法触发其 RAII 对象析构 用
longjmp
跳出作用域:栈展开被绕过,析构函数不执行(C++ 中应避免
setjmp
/
longjmp
) 这些地方得靠人工检查 + 工具辅助(比如 ASan、Valgrind),RAII 只负责它能管的那一块。 最难防的泄漏,往往藏在“看起来很安全”的封装里:比如一个类内部用
std::vector
存数据,但忘了重写移动构造函数,导致浅拷贝后原始对象析构时清空了本该移交的数据——这种 bug 不报错,只悄悄泄漏。

相关文章