二叉树LCA的本质是递归回传子树存在性信息：若左右子树均含p/q则当前节点为LCA；若仅一侧含则返回该侧结果；若当前节点为p或q则直接返回。路径回溯仅为辅助理解，非核心逻辑。
二叉树中查找最近公共祖先（lca），本质不是靠“路径回溯”来定位，而是利用递归返回值传递子树信息——路径记录是辅助理解的手段，不是核心逻辑。真正高效、简洁、无额外空间开销的解法，依赖对“节点存在性”的判断和向上回传状态。
为什么不用显式路径回溯
显式维护从根到当前节点的路径（如 vector
- 空间开销大：最坏情况路径长度 O(h)，每条路径存一份，找 LCA 前需先获取两条路径，总空间 O(2h)
- 需要两次 DFS：分别找 p 和 q 的路径，再线性比对，效率低
- 易出错：路径 push/pop 顺序、空指针访问、边界遗漏（如 p 或 q 不存在）都可能引发崩溃或漏判
标准递归解法的核心逻辑
函数 TreeNode* lowestCommonAncestor(TreeNode* root, TreeNode* p, TreeNode* q) 的语义是：在以 root 为根的子树中，如果包含 p 和/或 q，就返回它们的最近公共祖先；否则返回 nullptr。关键在于三个返回场景：
- 若 root == p 或 root == q，直接返回 root（当前节点就是目标之一）
- 递归查左子树得 left，右子树得 right
- 若 left 和 right 都非空 → p 和 q 分居两侧 → root 就是 LCA，返回 root
- 若仅 left 非空 → p 和 q 全在左子树 → 返回 left
- 若仅 right 非空 → p 和 q 全在右子树 → 返回 right
- 若 left 和 right 都为空 → 当前子树不含 p 或 q → 返回 nullptr
如何理解“隐式路径信息”
递归本身已天然携带路径方向信息：每次调用都是从父到子的一次“向下”，而 return 是“向上回传结果”。不需要显式存路径，也能知道：
- p 出现在哪棵子树，由哪一层递归首次返回 p 得知
- q 同理
- 当某层同时收到左右非空返回值，说明它正是分叉点——即 LCA
这比手动 push/pop 路径更轻量、更鲁棒，也天然兼容空树、单节点、p/q 相同等边界情况。
何时才需要显式路径（及注意事项）
仅当题目明确要求返回完整路径（如“输出从根到 LCA 的路径”），或需调试验证时，才需额外 DFS 记录路径。此时注意：
- 必须使用引用传参 vector
& path，否则回溯失效 - 空指针检查必须放在入口第一行：if (!root) return false;
- 找到目标节点后立即返回 true，并在回退时 pop_back()；未找到则不修改 path
- 不要在每层都拼接字符串，避免重复分配；统一在找到后转为路径结果
