1. 什么是资源泄露资源泄露Resource Leak是指程序在运行过程中申请了系统资源如内存、文件句柄、网络连接、锁等但未能正确释放导致这些资源无法被系统回收再利用的现象。在 C 中最常见的资源泄露是内存泄露但广义的资源泄露还包括文件句柄泄露、数据库连接泄露等。2. 拷贝构造与赋值运算符的作用在 C 中当类管理动态资源如堆内存、文件句柄时编译器默认生成的拷贝构造函数和拷贝赋值运算符执行的是浅拷贝shallow copy即只复制指针的值而不复制指针指向的资源。这会导致多个对象共享同一份资源引发严重问题。2.1 默认拷贝构造的问题考虑以下管理动态数组的类class DynamicArray { private: int* data; size_t size; public: DynamicArray(size_t n) : size(n) { data new int[n]; } ~DynamicArray() { delete[] data; // 正确释放资源 } // 编译器默认生成的拷贝构造函数 // DynamicArray(const DynamicArray other) // : data(other.data), size(other.size) {} };默认拷贝构造函数只是简单复制指针data和size导致两个对象指向同一块内存。当这两个对象析构时同一块内存会被释放两次引发双重释放double free错误。2.2 默认赋值运算符的问题同样默认的拷贝赋值运算符也存在类似问题DynamicArray operator(const DynamicArray other) { // 默认实现data other.data; size other.size; return *this; }这种浅拷贝不仅会导致双重释放还会造成内存泄露赋值前对象原有的内存没有被释放。3. 未处理拷贝构造和赋值运算符的后果3.1 双重释放Double Free当两个对象共享同一块内存且都尝试释放时int main() { DynamicArray arr1(10); DynamicArray arr2 arr1; // 调用默认拷贝构造 // arr1 和 arr2 的 data 指向同一内存 return 0; // arr2 析构delete[] data // arr1 析构delete[] data同一内存再次释放→ 程序崩溃 }3.2 内存泄露Memory Leak在赋值操作中原有资源未被释放int main() { DynamicArray arr1(100); // 分配 100 个 int DynamicArray arr2(50); // 分配 50 个 int arr2 arr1; // 默认赋值arr2.data 指向 arr1 的内存 // arr2 原来分配的 50 个 int 的内存泄露了 return 0; }3.3 悬垂指针Dangling Pointer当一个对象被销毁后其他指向同一资源的对象仍然持有该指针DynamicArray* createArray() { DynamicArray local(20); return local // 返回局部对象的地址 } int main() { DynamicArray* ptr createArray(); // local 已析构ptr-data 成为悬垂指针 // 后续访问 ptr-data 是未定义行为 return 0; }3.4 数据竞争与不一致状态多个对象共享同一资源时一个对象的修改会影响其他对象DynamicArray arr1(5); DynamicArray arr2 arr1; // 浅拷贝 arr1.setValue(0, 100); // 修改 arr1 // arr2 的 data[0] 也变成了 100这可能不是预期行为4. 解决方案Rule of Three如果一个类需要自定义析构函数那么它通常也需要自定义拷贝构造函数和拷贝赋值运算符或明确禁用它们。这被称为三法则Rule of Three。4.1 实现深拷贝class DynamicArray { private: int* data; size_t size; public: // 构造函数 DynamicArray(size_t n) : size(n), data(new int[n]) {} // 拷贝构造函数深拷贝 DynamicArray(const DynamicArray other) : size(other.size) { data new int[size]; std::copy(other.data, other.data size, data); } // 拷贝赋值运算符深拷贝 异常安全 DynamicArray operator(const DynamicArray other) { if (this ! other) { // 防止自赋值 int* newData new int[other.size]; // 先分配新内存 std::copy(other.data, other.data other.size, newData); delete[] data; // 再释放旧内存 data newData; size other.size; } return *this; } // 析构函数 ~DynamicArray() { delete[] data; } };4.2 使用拷贝并交换惯用法Copy-and-Swapclass DynamicArray { // ... 其他成员 // 拷贝赋值运算符拷贝并交换 DynamicArray operator(DynamicArray other) { // 注意按值传递 swap(*this, other); // 交换当前对象与副本 return *this; // other 离开作用域时释放旧资源 } friend void swap(DynamicArray first, DynamicArray second) noexcept { using std::swap; swap(first.data, second.data); swap(first.size, second.size); } };4.3 禁用拷贝C11 以后如果不希望对象被拷贝可以明确删除拷贝操作class NonCopyable { public: NonCopyable() default; NonCopyable(const NonCopyable) delete; NonCopyable operator(const NonCopyable) delete; };5. 现代 C 的改进5.1 Rule of FiveC11 引入了移动语义因此需要同时考虑移动构造函数和移动赋值运算符形成五法则Rule of Five。5.2 使用智能指针使用std::unique_ptr或std::shared_ptr可以自动管理资源避免手动实现拷贝/移动语义#include memory class SafeArray { private: std::unique_ptrint[] data; // 自动管理内存 size_t size; public: SafeArray(size_t n) : size(n), data(std::make_uniqueint[](n)) {} // 不需要自定义析构、拷贝构造、赋值运算符 // unique_ptr 禁止拷贝但支持移动 };6. 总结资源泄露是 C 程序中常见且严重的问题特别是在类管理动态资源时。拷贝构造和赋值运算符的默认实现浅拷贝会导致双重释放程序崩溃内存泄露资源无法回收悬垂指针未定义行为数据不一致多个对象共享状态解决方案包括遵循三法则实现深拷贝的拷贝构造和赋值运算符使用拷贝并交换惯用法实现异常安全的赋值明确禁用拷贝如果不需要拷贝语义使用智能指针等 RAII 工具自动管理资源正确管理资源是编写健壮、安全 C 程序的基础理解这些原理对于避免资源泄露至关重要。