RAII要求资源与对象生命周期严格绑定且禁用拷贝，std::unique_ptr无法直接管理非内存资源（如文件描述符），自定义RAII类需显式删除拷贝、正确实现移动语义、析构函数不抛异常、构造失败即抛出、注意析构顺序。
RAII 不是“加个析构函数就行”，关键在于资源生命周期必须与对象生命周期严格绑定，且禁止拷贝（或显式定义移动语义）——否则资源重复释放或悬空指针几乎必然发生。
为什么 std::unique_ptr 不能直接替代自定义 RAII 类
当你需要管理非内存资源（如文件描述符、GPU 句柄、POSIX 信号量、Windows HANDLE）时，std::unique_ptr 的默认删除器 delete 完全不适用；即使传入自定义 deleter，它仍强制要求指向堆对象，而很多资源根本不是 new 出来的。
- 文件描述符是
int，不是指针，无法用std::unique_ptr<int></int>管理（类型不匹配 + 无意义的解引用） -
std::unique_ptr的构造函数不接受右值引用的裸资源（如open()返回的int），需额外包装 - 某些系统 API 要求资源在特定线程/上下文中释放（如 OpenGL texture ID 必须在创建它的 GL 上下文中删），
std::unique_ptr的 deleter 无法感知上下文
手写 RAII 类必须禁用拷贝，且移动语义要明确转移所有权
拷贝构造函数和拷贝赋值运算符若未显式删除，编译器会生成浅拷贝——两个对象持同一资源句柄，析构时二次 close/fclose/delete 导致未定义行为。
- 在类定义中加：
FileHandle(const FileHandle&) = delete;和FileHandle& operator=(const FileHandle&) = delete; - 移动构造函数必须将原对象的资源句柄置为无效值（如 -1、nullptr），否则其析构仍会尝试释放已转交的资源
- 移动后原对象进入“有效但空”状态（valid but empty），析构时应跳过释放逻辑（例如检查
fd_ != -1）
class FileHandle {
int fd_ = -1;
public:
explicit FileHandle(int fd) : fd_(fd) {}
FileHandle(FileHandle&& other) noexcept : fd_(other.fd_) {
other.fd_ = -1; // 关键：清空源对象状态
}
~FileHandle() { if (fd_ != -1) ::close(fd_); }
FileHandle& operator=(FileHandle&& other) noexcept {
if (this != &other) {
if (fd_ != -1) ::close(fd_);
fd_ = other.fd_;
other.fd_ = -1;
}
return *this;
}
};析构函数里别抛异常——否则可能引发 std::terminate
C++ 规定：若栈展开过程中另一个异常被抛出（比如析构函数里 throw 或调用可能 throw 的函数），程序直接调用 std::terminate。而资源释放失败（如 close() 返回 -1）很常见，不能因日志或重试逻辑引入异常。
立即学习“C++免费学习笔记（深入）”；
- 用返回码或日志记录错误，而不是
throw std::runtime_error - 避免在析构函数中调用任何可能 throw 的标准库函数（如
std::string构造、std::vector::push_back） - 若真需上报错误（如调试模式），只写入
std::cerr或 syslog，不 throw
资源申请失败时，构造函数必须不留下“半构造对象”
如果构造函数中调用 open() 失败，不能让对象处于 “fd_ 为 -1 但已部分初始化” 的状态——用户无法安全析构（析构函数仍会执行，可能误操作）。
- 把资源获取作为构造函数唯一副作用，并在失败时直接 throw（此时对象未完成构造，析构函数不会被调用）
- 不要在构造函数里做多步初始化（如先 malloc 再 open），否则某步失败时前面分配的资源需手动清理，违背 RAII 原则
- 若必须多步，用函数 try block：
MyClass::MyClass() try : fd_(open(...)) { /* 其他初始化 */ } catch (...) { /* 清理已获资源 */ throw; }
最易被忽略的一点：RAII 类的析构顺序依赖栈对象声明顺序，若多个 RAII 对象存在依赖（如一个封装了 OpenGL context，另一个封装了该 context 下创建的 texture），必须确保 context 对象比 texture 对象**后声明、先析构**——C++ 栈对象按声明逆序析构，这点没法靠封装隐藏。
