堆数组不能直接插入，需手动扩容复制；应优先使用std::vector，其insert()和push_back()安全高效，而原始指针无成员函数且易出错。
堆数组不是动态容器，不能直接“插入”
在 C++ 中，new[] 分配的原始堆数组（比如 int* arr = new int[5];）没有内置的插入能力。它只是一段连续内存，大小固定。所谓“向堆数组中插入新元素”，本质是：重新分配更大内存 → 复制旧数据 → 在目标位置搬移/填充 → 释放旧内存。这不是 O(1) 操作，也不安全，除非你手动管理全部细节。
用 std::vector 替代原始堆数组才是正确做法
std::vector 就是为这种场景设计的：它底层用堆内存，但封装了扩容、移动、析构等逻辑。调用 push_back() 或 insert() 即可完成插入，无需关心内存重分配。
常见误操作：
- 试图对
int* p = new int[3];调用p.insert(...)—— 编译失败，原始指针没有成员函数 - 手写
realloc-风格扩容（C 风格）——new[]分配的内存不能用realloc，且 C++ 对象需调用构造/析构，memcpy会跳过这些
正确示例：
立即学习“C++免费学习笔记（深入）”；
std::vector<std::string> v = {"a", "b", "c"};
v.insert(v.begin() + 1, "x"); // 在索引 1 处插入 → {"a","x","b","c"}
v.push_back("d"); // 尾部追加 → {"a","x","b","c","d"}
如果非要用原始堆数组，必须手动模拟插入逻辑
仅限极特殊场景（如嵌入式无 STL、性能敏感且插入极少），且只适用于 trivial 类型（如 int、float）或你能保证正确调用构造/析构的类型。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
关键步骤：
- 申请新数组：大小 = 原长度 + 1
- 复制原数组前半段（0 到插入点）到新数组
- 在新数组插入点处赋值新元素
- 复制原数组后半段（插入点后）到新数组对应偏移位置
- 显式
delete[]原指针，再将指针指向新数组
示例（插入到索引 pos）：
int* insert_into_raw_array(int* arr, int& len, int pos, int value) {
if (pos < 0 || pos > len) return arr;
int* newArr = new int[len + 1];
for (int i = 0; i < pos; ++i) newArr[i] = arr[i];
newArr[pos] = value;
for (int i = pos; i < len; ++i) newArr[i + 1] = arr[i];
delete[] arr;
len++;
return newArr;
}
// 使用：arr = insert_into_raw_array(arr, len, 2, 99);
注意：std::string 等非 trivial 类型不能这样 memcpy；必须逐个调用构造函数和析构函数，代码复杂度陡增。
为什么 std::vector::insert() 不总是慢？
很多人以为 insert() 必然 O(n)，就回避它。其实：
- 尾部插入（
push_back）均摊 O(1)，因为 vector 预留了容量（capacity()≥size()） - 中间插入确实要搬移后续元素，但现代 CPU 缓存友好，
memmove优化极好 - 相比手写错误频发的原始数组管理，
vector的安全性和可维护性收益远大于那点理论开销
真正该警惕的是：反复在循环里对 vector 中间 insert() —— 这会导致 O(n²)。此时应考虑先收集数据，再批量构造或用 list（但注意 list 迭代器失效和缓存不友好）。
最常被忽略的一点：原始堆数组一旦交给函数处理，长度信息极易丢失。int* arr 本身不携带长度，所有插入逻辑都依赖外部传入的 len 变量 —— 这个变量很容易不同步、越界或未初始化。而 vector 把数据、大小、容量全绑在一起，从根源上规避这类错误。
