数组模拟树的核心是用下标映射父子关系，完全二叉树层序表示中根在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) 查找（牺牲空间换时间）