递归遍历二叉树无法访问右子树，因式分解树验证函数异常排查

嘿，我来帮你拆解这几个问题，都是二叉树递归验证里常见的坑，咱们一个个解决：

1. 无法遍历右子节点 & 空指针异常 #

这俩问题基本是绑定在一起的，大概率是你的遍历逻辑没做好空值处理，或者漏掉了右子节点的处理：

• 缺少空值检查：在访问节点的left/right或val属性前，没先判断节点是否为null，直接访问就会触发空指针异常，导致遍历提前终止，看起来像是没走到右子节点。
• 遍历逻辑只处理左子节点：比如你的递归代码里只写了处理node.left的逻辑，完全没提及node.right；或者错误地加了条件（比如只有左子节点存在才继续递归），直接跳过了右子节点的遍历。

给你一个符合因式分解树逻辑的基础遍历示例（以Java为例，其他语言逻辑通用）：

boolean isValidFactorTree(TreeNode node, int target) {
    // 终止条件1：空节点直接无效
    if (node == null) {
        return false;
    }

    // 终止条件2：叶子节点（因式分解树的叶子必须是质数）
    if (node.left == null && node.right == null) {
        return isPrime(node.val);
    }

    // 非叶子节点必须同时有左右子节点（因式分解是拆成两个因数）
    if (node.left == null || node.right == null) {
        return false;
    }

    // 验证当前节点值等于左右子节点的乘积
    if (node.val != node.left.val * node.right.val) {
        return false;
    }

    // 递归验证左右子树，必须都有效才返回true
    return isValidFactorTree(node.left, target) && isValidFactorTree(node.right, target);
}

// 辅助函数：判断一个数是否为质数
boolean isPrime(int num) {
    if (num <= 1) return false;
    for (int i = 2; i <= Math.sqrt(num); i++) {
        if (num % i == 0) return false;
    }
    return true;
}

这个示例里，每次递归先判空，非叶子节点强制要求同时存在左右子节点，确保不会漏掉右子节点，也避免了空指针。

2. return true 被标记为死代码 #

这种情况说明你的代码逻辑中，所有可能的执行路径都已经通过return false结束，return true的分支永远走不到，常见原因有两个：

• 终止条件缺失：没有设置触发return true的场景，比如没判断叶子节点是否符合要求，直接在所有分支返回false。
• 递归结果未正确组合：比如你递归调用左右子树后，直接忽略结果返回false，而不是判断左右都为true时才返回true。

举个典型的错误写法（导致死代码）：

// 错误示例：递归结果被忽略，最后直接返回false
boolean isValid(TreeNode node) {
    if (node == null) return false;
    if (node.val != node.left.val * node.right.val) return false;
    isValid(node.left);
    isValid(node.right);
    return false; // 这里之后的return true永远执行不到
}

修复办法很简单：确保当遍历到符合要求的叶子节点时返回true，并且递归时用逻辑与（&&）组合左右子树的验证结果，这样当所有层级都验证通过时，自然会触发return true。

关键修复总结 #

• 访问节点属性前必须先做空值检查，避免空指针异常；
• 非叶子节点必须同时存在左右子节点，递归时同时处理左右子树，不能只走左分支；
• 明确设置触发return true的终止条件（比如符合要求的叶子节点），并正确组合递归结果。

内容的提问来源于stack exchange，提问作者Karoline