不能直接用 raw pointer 管理类内动态数组,因为 new[] 分配的内存必须配对使用 delete[],而默认拷贝构造和赋值仅浅拷贝指针,导致多对象析构时重复 delete[],引发未定义行为(如 double free 崩溃);正确做法是优先使用 std::vector 或完整实现五法则(含移动)。

为什么不能直接用 raw pointer 管理类内动态数组
因为 new[] 分配的内存必须配对使用 delete[],而类的默认拷贝构造函数和赋值运算符只会浅拷贝指针——两个对象指向同一块内存,析构时会重复 delete[],触发未定义行为。常见现象是程序在第二次析构时报 double free or corruption 错误,或运行时崩溃。
典型错误场景包括:把对象传值进函数、放入 std::vector、或显式调用 = 赋值。
- 不写自定义拷贝控制函数 → 必然出问题
- 只写析构函数但没写拷贝/移动函数 → 仍不安全(C++11 后编译器可能隐式删除拷贝)
- 手动管理
size和capacity变量但没同步更新 → 迭代越界或内存泄漏
推荐方案:优先用 std::vector 替代裸数组
std::vector 自动处理分配、释放、拷贝、移动,且支持 RAII。它不是“黑盒”,底层仍是动态数组,但接口稳定、边界检查可选(at())、迭代器失效规则明确。
示例中只需声明 std::vector<int> data_;</int>,初始化时用 data_.resize(n) 或 data_(n) 构造,无需手动 new/delete:
class Buffer {
std::vector<char> buffer_;
public:
explicit Buffer(size_t n) : buffer_(n) {} // 自动分配并初始化
size_t size() const { return buffer_.size(); }
char* data() { return buffer_.data(); } // C++11 起支持
};</char>
- 若需兼容 C 接口,
data()返回非空时等价于原始指针 - 避免用
&buffer_[0]取地址(当buffer_为空时未定义) - 不用
reserve()当作“分配但不初始化”的替代——它不改变size(),访问未初始化元素仍是未定义行为
必须手写时:三法则(C++11 后是五法则)要全实现
如果因性能、嵌入式限制或教学目的必须用 int*,就必须同时定义析构函数、拷贝构造函数、拷贝赋值运算符;C++11 起还应补充移动构造和移动赋值(否则编译器会隐式删除拷贝,或退回到低效拷贝)。
关键点在于深拷贝 + 自我赋值保护 + 移动后置空原指针:
class IntArray {
int* ptr_;
size_t size_;
public:
IntArray(size_t n) : ptr_(new int[n]), size_(n) {}
~IntArray() { delete[] ptr_; }
<pre class="brush:php;toolbar:false;">IntArray(const IntArray& other)
: ptr_(new int[other.size_]), size_(other.size_) {
std::copy(other.ptr_, other.ptr_ + size_, ptr_);
}
IntArray& operator=(const IntArray& other) {
if (this == &other) return *this;
delete[] ptr_;
ptr_ = new int[other.size_];
size_ = other.size_;
std::copy(other.ptr_, other.ptr_ + size_, ptr_);
return *this;
}
IntArray(IntArray&& other) noexcept
: ptr_(other.ptr_), size_(other.size_) {
other.ptr_ = nullptr;
other.size_ = 0;
}
IntArray& operator=(IntArray&& other) noexcept {
if (this != &other) {
delete[] ptr_;
ptr_ = other.ptr_;
size_ = other.size_;
other.ptr_ = nullptr;
other.size_ = 0;
}
return *this;
}};
-
noexcept对移动操作很重要:影响std::vector在扩容时是否能移动而非拷贝元素 - 所有异常安全点都需考虑:比如
new失败时,不能让对象处于部分构造状态(当前示例中,new在初始化列表里失败,构造函数不执行,无析构风险) - 不要在拷贝赋值中先
delete[]再new[]—— 若new[]抛异常,对象已丢失原数据
调试时怎么确认内存管理是否正确
最直接的方式是加日志或断点观察构造 / 拷贝 / 移动 / 析构的调用次数是否匹配。更可靠的是用工具:
- Linux 下用
valgrind --leak-check=full ./a.out检查泄漏和非法访问 - Clang/GCC 编译时加
-fsanitize=address,运行时报错直接定位越界或重复释放位置 - MSVC 开启
/RTC1或使用 Application Verifier - 不要依赖“程序没崩就没事”——未定义行为可能在优化级别变化、不同平台或后续代码修改后才暴露
真正难的不是写完五个函数,而是确保每处资源获取都有对应释放路径,且所有异常分支都不破坏这一契约。哪怕只漏一个移动赋值,放进容器里就可能静默损坏。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











