数组实现二叉树本质是按层序编号存储，仅天然支持完全二叉树；非完全二叉树需补空位维持索引关系，推荐0起始索引（左子=2i+1，右子=2i+2，父=(i−1)/2），容量须为最大编号+1，适用于堆等静态场景。
用数组存二叉树，本质是层序编号
数组实现二叉树不是“模拟指针”，而是利用完全二叉树的编号规律：根节点下标为 0（或 1），左子节点在 2*i+1（0 起始）或 2*i（1 起始），右子节点在 2*i+2 或 2*i+1。这要求你明确接受「必须按层序连续存储」——中间空缺位置也要占位，否则父子关系会错乱。
常见错误是把普通二叉树直接往数组里塞，结果发现 left_child 算出来指向了无关元素，或者插入时覆盖了已有节点。根本原因是：数组实现只天然支持完全二叉树结构；非完全二叉树必须补空节点（如用 nullptr 或特殊哨兵值）来维持编号连续性。
0 起始 vs 1 起始：选错索引规则会越界
两种编号习惯，影响所有计算。C++ 数组默认 0 起始，推荐统一用 0 起始，避免手动减一出错：
- 根节点索引 =
0 - 节点
i的左子 =2*i+1，右子 =2*i+2 - 节点
i的父节点 =(i-1)/2（整除，对 i > 0 成立）
如果误用 1 起始公式（比如写成 left = 2*i）但数组仍是 0 起始，i=0 时 left 变成 0，导致父子重叠；i=1 时又跳过下标 0，整个结构偏移。调试时常见报 std::out_of_range 或读到未初始化值，大概率是索引规则混用。
内存分配：大小必须预估，且留足空位
数组长度不是节点总数，而是「最大可能编号 + 1」。例如想存最多 3 层的满二叉树（7 个节点），编号最大是 6（0~6），数组至少要 std::vector<treenode>(7)</treenode>。但如果第 2 层只存了左子、没存右子，编号 3 存在、4 就必须留空——此时实际用了 5 个位置（0,1,2,3,空,空,6），不能只开 4 个。
容易踩的坑：
- 用
vector.size()当前节点数，误以为就是所需容量 → 实际需要的是最大索引+1 - 动态插入时没检查
2*i+2 >= vec.size()就直接写入 → 触发vector::at()异常或静默越界（用[]） - 用原生数组（
TreeNode arr[100]）但忘了初始化空位 → 读取未初始化内存触发未定义行为
插入与遍历：操作逻辑和链式完全不同
插入不是找空位，而是按层序找第一个空槽。比如当前有 3 个节点（索引 0,1,2），下一个插入位置是索引 3（左子）还是 4（右子），取决于父节点是否已满。代码上通常用 push_back() 并维护当前 size，而非递归查找。
遍历也受限：中序/后序无法像指针树那样自然递归，必须靠索引推算子树范围（例如根在 i，左子树在 [2*i+1, ...] 区间），实现复杂且易错。实际中，数组实现几乎只用于堆（heap）或静态完全二叉树场景，比如哈夫曼编码表、线段树底层、或序列化后的树还原。
真正要用它，先问自己：是否确定树形态接近完全二叉树？能否接受空间浪费？插入是否总是追加在末尾？如果不是，链式 TreeNode* 仍是更稳妥的选择。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
