RAII模板类必须在构造函数中申请资源、析构函数中无条件释放,严格绑定生命周期,禁用拷贝、实现移动语义并确保空状态明确,仅当std::unique_ptr无法满足非堆资源或定制释放逻辑时才手写。

RAII模板类必须接管原始指针的生命周期
RAII不是“有析构函数就行”,关键在于资源获取与释放必须严格绑定到对象生存期——构造函数中申请,析构函数中无条件释放,且禁止资源被意外转移或复制。否则一不小心就内存泄漏或 double free。
典型错误是把 new 放在别处、靠手动调用 reset() 释放,或者允许拷贝构造(导致两个对象指向同一块内存)。
- 构造函数内必须完成资源申请(如
new T、fopen、pthread_mutex_init),失败时抛异常或置空 - 析构函数必须无异常地释放(
delete ptr、fclose(fp)、pthread_mutex_destroy) - 禁用拷贝:显式删除
MyRAII(const MyRAII&)和operator= - 移动语义可选但推荐:实现
MyRAII(MyRAII&&)和operator=(MyRAII&&),将ptr置为nullptr后移交
std::unique_ptr 已覆盖绝大多数场景,手写需明确差异化需求
除非你要管理非堆内存(如 mmap 映射区)、带上下文的 C 资源(如 OpenSSL 的 EVP_CIPHER_CTX),或需要定制释放逻辑(比如释放前先 flush、log、广播事件),否则直接用 std::unique_ptr 更安全可靠。
手写 RAII 模板容易低估边界情况:例如构造中途抛异常(部分成员已构造成功)、析构中调用可能抛异常的清理函数(C++11 要求析构函数默认 noexcept)、多线程下资源句柄是否可重入等。
立即学习“C++免费学习笔记(深入)”;
- 若只是包装
new/delete,用std::unique_ptr<t deleter></t>配合 lambda 即可,无需重造轮子 - 若封装文件句柄,注意
int fd不是 nullptr 可判,得用-1判无效,且close(fd)失败通常忽略,但需检查是否真的关掉了 - 若封装 Windows HANDLE,记得用
CloseHandle()而非delete,且无效句柄是INVALID_HANDLE_VALUE,不是nullptr
自定义 deleter 必须满足函数对象可复制/移动,且不能抛异常
RAII 类析构时调用的 deleter 是其成员变量,编译器要能生成该类型的默认构造、赋值和析构。如果用了捕获局部变量的 lambda,就无法作为模板参数传入(除非用 std::function,但会引入 heap 分配和虚调用开销)。
更隐蔽的问题是:deleter 若抛异常,而此时栈正在展开(比如另一个异常已抛出),程序直接终止——这是 C++ 的硬性限制。
- 推荐用普通函数指针或无捕获 lambda:
[](int* p) { delete p; } - 避免在 deleter 中做复杂逻辑:不 new、不 throw、不调用可能 throw 的函数(如
std::cout ) - 若需日志,用
write(2)这类异步信号安全函数,或确保 logger 是 lock-free 且 nothrow - 模板参数中的 deleter 类型要能默认构造(
Deleter{}合法),否则MyRAII<int> x;</int>会编译失败
移动后原对象必须处于有效但空状态,否则 if (ptr) 判断失效
移动构造/赋值后,原对象的资源指针必须清零(或设为无效值),否则用户代码里常见的 if (res) do_something(); 会误触发,甚至重复释放。
这不是风格问题,是 RAII 正确性的底线:一个 RAII 对象,要么持有有效资源,要么明确表示“没资源”(即空状态),中间态不可接受。
- 移动构造函数中,把 other.ptr 设为
nullptr(或-1、INVALID_HANDLE_VALUE),再赋给 this->ptr - 移动赋值要先释放当前资源(防止 self-move 导致提前释放),再接管 other 的资源并清空 other
- 所有 public 成员函数(如
get()、release())都必须能正确处理空状态,返回nullptr或nullptr等价物 - 不要依赖 “移动后对象不可用” 的假设——标准只要求它处于有效但未指定状态,实际必须指定为“空”
真正难的不是写个能跑的 RAII 类,而是让它的空状态、移动语义、异常安全、线程安全全部对齐你所管理资源的真实契约。比如一个封装了 sqlite3_stmt* 的类,prepare 失败时怎么回滚?reset() 是否该自动 clear-bindings?这些细节决定了它能不能在真实项目里活过两周。


















