raii确保非堆资源在构造时获取、析构时释放:构造函数必须成功获取资源并失败即抛异常,析构函数须noexcept且仅安全释放,禁用拷贝、移动后原对象资源置空,优先用std::unique_ptr加自定义删除器。

你需要在C++中确保文件句柄、互斥锁或自定义句柄这类非堆资源,在对象一创建就拿到、一销毁就释放,且绝不能因异常或提前返回导致泄漏或 double free。
构造函数必须完成资源获取并失败即抛异常
RAII 的契约是:对象存在 = 资源已就绪。若 open() 返回 -1、fopen() 返回 nullptr、pthread_mutex_init() 失败,构造函数绝不能让对象“半成品”地活下来——否则析构时对无效句柄调 close() 或 pthread_mutex_destroy() 会触发未定义行为。
资源申请必须放在成员初始化列表中,或至少在构造函数体最开头原子执行;中间任何一步失败都必须立即 throw std::system_error(errno, std::generic_category()),不设 is_valid_ 标志位去“容忍失败”。
多步资源申请(如先 mmap 再 mlock)不要塞进一个构造函数,应拆成多个 RAII 对象,或用私有 static 工厂函数封装回滚逻辑。
【构造函数体内做资源分配而未在初始化列表中完成,会导致异常安全漏洞:若 new 成功但后续语句抛异常,析构函数不会被调用,资源永久泄漏】
析构函数必须 noexcept 且仅做安全释放
析构函数里调用 fclose()、close()、pthread_mutex_destroy() 等系统 API 时,即使失败也绝不能 throw——C++ 标准规定:析构中抛异常且栈正在展开时,程序直接调用 std::terminate()。
所有释放操作前必须判空:if (fd_ != -1) ::close(fd_);,无效句柄(-1、INVALID_HANDLE_VALUE、nullptr)不可传给释放函数。
忽略系统调用返回值是生产环境标准做法;若需调试感知失败,仅限 assert() 或写日志,不得阻塞、不得重试。
【析构函数未声明为 noexcept,编译器可能生成不符合 RAII 安全契约的代码,尤其在容器中析构元素时】
禁用拷贝,移动后原对象资源必须置空
方法一:显式删除拷贝构造与拷贝赋值
MyRAII(const MyRAII&) = delete;
MyRAII& operator=(const MyRAII&) = delete;
方法二:实现移动构造与移动赋值,并将源对象资源置为无效状态
移动构造中必须将 other.fd_ = -1; 或 other.ptr_ = nullptr;,否则移动后原对象析构仍会释放已被转移的资源。
移动后原对象需保持 “valid but empty” 状态——析构时仍要检查有效性,避免二次释放。
别写 = default:编译器生成的是浅拷贝,等同于没禁用。
模板参数必须分离资源类型与释放逻辑
第一步:定义双模板参数类 ScopedResource
ResourceT 可以是 int(fd)、FILE*、pthread_mutex_t*、HANDLE,而非仅限 T*;DeleterT 是可调用对象,如 [](int fd) { close(fd); } 或 [](FILE* f) { fclose(f); }。
第二步:构造函数接收资源句柄 r 和释放器 d,直接初始化成员 res_ 和 deleter_,并在初始化后立即检查有效性
第三步:析构函数中仅执行 if (res_) deleter_(res_);,不加 try-catch——释放函数本身必须保证 noexcept。
第四步:提供 release() 成员函数,将 res_ 置为默认空值(如 -1 或 nullptr)并返回原值,供需要移交控制权的场景使用。
优先用 std::unique_ptr + 自定义删除器,而非手写
std::unique_ptr 已覆盖绝大多数堆内存场景,语法简洁、零开销、经充分测试。
auto file = std::unique_ptr
auto buf = std::unique_ptr
手写 RAII 模板仅在以下情况必要:需管理非堆资源(如 mmap 区域)、带上下文的 C 资源(如 OpenSSL EVP_CIPHER_CTX)、定制释放前 flush/log/广播事件,或资源类型不支持指针语义(如 int fd 不是 nullptr 可判)。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











