C++如何实现简单的动态扩容数组容器-C++-PHP中文网

std::vector不适用底层练习、嵌入式或原理学习场景，因其封装过深、扩容因子等策略不可控；需手动管理内存、指针迁移、容量边界及对象构造/析构生命周期。

c++如何实现简单的动态扩容数组容器

如果你在写底层数据结构练习、嵌入式受限环境，或想理解动态数组原理，std::vector 就不适用——它封装太深，内部策略（如扩容因子、内存对齐、异常处理）不可控。你需要自己管理 new/delete、指针迁移和容量边界。

核心是「倍增扩容」：每次容量不足时，分配新内存（通常是原容量的 1.5 或 2 倍），拷贝旧数据，再释放旧内存。别用固定增量（比如 +1 或 +10），否则插入 n 个元素会退化成 O(n²) 时间复杂度。

实操建议：

初始容量设为 1 或 4，避免频繁小分配
用 size_t 管理 size 和 capacity，防止有符号/无符号混用导致的隐式转换错误
扩容前检查 capacity 是否已满：if (size_ == capacity_) { resize(capacity_ * 2); }
拷贝必须用 std::memcpy（POD 类型）或逐个调用拷贝构造（非 POD），不能直接 std::copy 原始指针——析构和构造逻辑必须显式控制

裸指针数组不自动调用构造/析构函数，这是手动容器最容易崩溃的地方。例如，T* data_ = new T[capacity_] 会默认构造所有元素；但你通常只希望在 push_back 时构造当前元素，在 pop_back 或销毁时析构对应元素。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

正确做法是用 operator new 分配原始内存，再用 placement new 构造：

data_ = static_cast<t>(operator new(capacity_ * sizeof(T)));
// 插入第 i 个元素：
new (&data_[i]) T(value); // placement new</t>

对应地，pop_back 要显式调用析构函数：data_[--size_].~T();，析构整个容器时也要遍历调用每个存活元素的析构函数，再 operator delete(data_)。

真实调试中，以下几点几乎必踩：

capacity_ == 0 时调用 push_back：未初始化 data_ 就解引用 → 段错误
移动语义没实现：std::move 后源容器仍持有有效指针，析构时二次释放
拷贝构造里只复制指针，没深拷贝数据 → 两个容器指向同一块内存
异常安全缺失：placement new 抛异常后，已构造的部分没被析构 → 内存泄漏 + 对象状态残缺
模板参数 T 是 const 或引用类型：new T[...] 编译失败，需用 std::is_trivially_constructible_v<t></t> 等 trait 做 SFINAE 限制