3. 生命周期与资源管理 | Felix’s Micro Space

🧠

核心结论

C++ 资源管理的关键，不是“记得手动释放”，而是让资源的生命周期绑定到对象：对象离开作用域，析构函数自动清理。优先使用值语义、标准容器和智能指针；裸 new/delete 应是少数情况。

同一作用域内，通常按定义顺序构造、逆序析构；成员按其在类中的声明顺序构造，而不是初始化列表的书写顺序。

上面的 Trace 示例只说明具名局部对象的构造与析构顺序，不能直接说明下面三类问题，因此单独讨论。

悬空指针：对象已经销毁，指针却仍保存原地址；此时解引用属于未定义行为。

内存泄漏：动态分配的对象仍存在，但程序丢失了用于释放它的地址。

📌

三者不是一回事：临时对象描述生命周期规则，悬空指针是对象已死、地址还在，内存泄漏是对象还在、地址没了。

⚠️

不要混用 new/free、malloc/delete，也不要用 delete 释放 new[] 的结果。这些都属于未定义行为。

RAII（资源获取即初始化）：对象构造时取得资源，对象析构时释放资源。资源不仅是内存，也包括文件、锁、套接字和线程句柄。

上例中的 out 是一个局部 std::ofstream 对象：构造时尝试打开并持有文件资源，离开作用域时析构函数自动关闭文件。因此，即使函数通过 return 提前返回，或后续代码抛出异常并发生栈展开，也不需要为每条退出路径重复调用 close()。

数字表示类通常需要关注或自定义的特殊成员函数数量。这些是 C++ 社区设计准则，并非语言强制规则。

Rule of 0：资源交给标准类型管理，业务类无需手写析构、拷贝和移动。例如用 std::vector<int> 保存数组，离开作用域时自动释放。

Rule of 3：C++98/03 中，若类需要自定义析构函数，通常还要自定义拷贝构造和拷贝赋值。例如持有 char* 的字符串类必须深拷贝，否则可能重复释放。

Rule of 5：C++11 后，在上述三个函数之外，再增加移动构造和移动赋值。例如 Buffer 移动时可直接转移内存所有权，避免复制整块数据。

工程上优先遵循 Rule of 0；只有类必须直接管理底层资源时，才考虑 Rule of 5。

这个 Buffer 表达的是独占所有权：

需要注意：默认移动后，源对象的 data_ 会变为空，但标量成员 size_ 仍保留原值。若类要求“空指针必须对应长度 0”，就应自定义移动操作并将源对象的 size_ 置为 0。