我的二叉树插入代码存在什么问题？IDE提示‘root = newNode’不可达

关于IDE提示root = newNode不可达 #

你的代码逻辑里，其实存在root == null且newNode != null的场景，这时候这段代码是会执行的，IDE的提示大概率是静态分析的误判。但真正的问题是：这段代码就算执行了也没用——Java是值传递，你在方法里修改的root只是个局部变量，调用这个方法的地方根本看不到变化，等于白赋值。

怎么正确实现二叉树节点插入？ #

有两种常用的改法：

方法1：让方法返回更新后的根节点 #

把方法返回值改成BinaryTreeNode，这样调用时接收返回值就能拿到新的根节点：

public BinaryTreeNode addNode(BinaryTreeNode root, BinaryTreeNode newNode) {
    // 空节点直接返回原根
    if (newNode == null) {
        return root;
    }
    // 根为空，直接把新节点作为根返回
    if (root == null) {
        return newNode;
    }
    // 下面是二叉搜索树的插入逻辑，可根据需求调整
    if (newNode.val < root.val) {
        root.left = addNode(root.left, newNode);
    } else {
        root.right = addNode(root.right, newNode);
    }
    return root;
}

调用时需要接收返回值：

root = addNode(root, newNode);

方法2：把方法放到二叉树类里，直接操作内部的根节点 #

如果用类封装二叉树，直接将addNode作为成员方法，操作类内部的根变量：

public class BinaryTree {
    private BinaryTreeNode root;

    public void addNode(BinaryTreeNode newNode) {
        if (newNode == null) {
            return;
        }
        // 根为空，直接赋值
        if (root == null) {
            root = newNode;
            return;
        }
        // 迭代方式寻找插入位置（以二叉搜索树为例）
        BinaryTreeNode current = root;
        while (true) {
            if (newNode.val < current.val) {
                if (current.left == null) {
                    current.left = newNode;
                    break;
                }
                current = current.left;
            } else {
                if (current.right == null) {
                    current.right = newNode;
                    break;
                }
                current = current.right;
            }
        }
    }
}

原代码的冗余可以去掉 #

原代码里if (root == null && newNode == null)这个判断完全多余，因为后面的else if (newNode == null)已经覆盖了所有newNode == null的情况，不管root是否为空。

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