数组模拟树的核心是用下标映射父子关系，完全二叉树层序表示中根在0，左子2i+1、右子2i+2、父节点⌊(i−1)/2⌋；支持递归DFS搜索、条件匹配及BFS优化。
用数组模拟树结构进行搜索，核心是把树的父子关系映射为数组下标关系，再通过遍历或递归定位目标节点值。关键不在于“是否用链表”，而在于如何解读数组——它既是存储容器，也是隐式树结构。
理解数组表示的树结构
最常见的是**完全二叉树的层序数组表示法**：根节点在索引 0，对任意节点索引 i，其左子节点在 2i + 1，右子节点在 2i + 2，父节点在 Math.floor((i - 1) / 2)。这种表示天然适合堆、线段树等场景。
例如数组 [10, 5, 15, 3, 7, null, 18] 表示如下树（null 表示空节点）：
10
/ \
5 15
/ \ \
3 7 18
实现基于索引的递归搜索
给定目标值 target，从根（索引 0）开始，按规则跳转子节点，跳过 null 或越界位置：
- 若当前索引超出数组长度或值为 null，返回 false
- 若当前值等于 target，返回 true
- 否则递归检查左子（2i + 1）和右子（2i + 2）
JavaScript 示例：
function searchInArrayTree(arr, target, i = 0) {
if (i >= arr.length || arr[i] === null) return false;
if (arr[i] === target) return true;
return searchInArrayTree(arr, target, 2 * i + 1) ||
searchInArrayTree(arr, target, 2 * i + 2);
}实战匹配变量节点值（带条件筛选）
实际中常需匹配满足某条件的节点（如大于 5 的最小偶数），而非精确值。此时可改造搜索逻辑为收集+过滤，或一步到位：
- 传入一个判断函数 predicate 替代 target
- 遇到首个满足 predicate 的节点即返回该值（或下标）
- 支持提前终止，避免全量遍历
示例：找第一个大于 6 的节点值
function findFirstMatch(arr, predicate, i = 0) {
if (i >= arr.length || arr[i] === null) return undefined;
if (predicate(arr[i])) return arr[i];
const left = findFirstMatch(arr, predicate, 2 * i + 1);
if (left !== undefined) return left;
return findFirstMatch(arr, predicate, 2 * i + 2);
}
// 调用：findFirstMatch([10,5,15,3,7,null,18], x => x > 6) → 10注意边界与优化点
数组树搜索看似简单，但易忽略几个关键细节：
- 数组必须按层序补全（空位用 null/undefined 占位），否则下标关系失效
- 非完全二叉树可用对象数组替代，如 [{val:10, left:1, right:2}, {val:5, left:3, right:4}, ...]，用字段显式存子节点索引
- 广度优先搜索（BFS）更适合找最近匹配节点；深度优先（DFS）更省内存且易写递归
- 若频繁查询，可预处理生成值→索引映射表，将 O(n) 搜索降为 O(1) 查找（牺牲空间换时间）
