动态数组核心是手动管理堆内存:用new T[capacity]分配并调用构造函数,扩容时1.5倍增长,逐个移动构造新元素并显式析构旧对象,确保异常安全与资源释放。

怎么写一个能自动扩容的动态数组
核心就三件事:申请堆内存、记录当前长度和容量、扩容时重新分配并拷贝。别用 std::vector 就行,手写重点在控制内存生命周期和异常安全边界。
典型错误是扩容后只 memcpy 原始字节,没调用元素的构造/析构函数——对 std::string 或自定义类会直接崩溃或泄漏。
- 用
new T[capacity]分配,不用malloc,否则无法调用构造函数 - 扩容倍数建议用 1.5 倍(不是 2 倍),减少内存浪费又避免频繁 realloc
- 每次
push_back前检查size_ == capacity_,触发扩容逻辑
扩容时怎么安全转移已有元素
不能简单 memcpy,必须逐个调用新内存位置上的移动构造(C++11+)或拷贝构造。老内存里的对象还得显式析构,否则资源不释放。
常见坑:忘了在旧内存上调用析构函数,尤其容器里存了文件句柄或锁;或者移动后没置空原对象,二次析构出错。
立即学习“C++免费学习笔记(深入)”;
- 先在新内存用
new(&new_data[i]) T(std::move(old_data[i]))构造 - 再对每个
old_data[i].~T()显式析构 - 最后
delete[] old_data,不是delete
如何支持 emplace_back 和迭代器失效控制
emplace_back 的本质是在末尾“原地构造”,绕过临时对象和拷贝。实现它需要可变参数模板 + 完美转发,但关键点是:只在 size_ 时才允许原地构造,否则仍得走扩容流程。
迭代器失效是用户最常踩的雷:只要扩容发生,所有指向旧内存的指针、引用、迭代器全部失效。别试图“保留”它们,C++ 标准明确要求此时行为未定义。
- 扩容后返回的
iterator必须指向新内存的对应位置,不是偏移量复用 -
begin()和end()每次都该返回新地址,别缓存 - 如果用户在循环中
push_back,必须提醒他“迭代器会失效”,这不是 bug 是设计
析构和异常安全怎么兜底
析构函数里必须遍历已构造的元素调用析构,再 delete[]。难点在构造中途抛异常:比如第 5 个 T 构造失败,前 4 个必须被正确析构,否则泄漏。
标准做法是用 try-catch 包裹批量构造过程,或改用 std::uninitialized_copy 等工具函数——但手写时最容易漏的就是这部分。
- 扩容时用
std::uninitialized_move(C++17)比手写循环更安全 - 若编译器不支持,自己写循环必须带异常捕获:构造失败就反向析构已成功的部分
-
data_初始化为nullptr,size_和capacity_初始化为 0,避免析构空指针
最难的不是扩容逻辑本身,而是每一步都要考虑对象生命周期和异常分支。哪怕一个 std::string 成员没正确移动,整个容器就不可靠。










