Rust中结构体已被可变借用时可变借用其值出错（二叉搜索树insert方法实现问题）

兄弟，我太懂你在Rust里写二叉搜索树insert方法时被借用检查器卡得头大的感觉了！我当初第一次写这个功能的时候，跟你犯了一模一样的错——拿着父节点的可变引用，又想抓子节点的可变引用，结果被编译器一顿红报错，差点把我整emo了。

咱们先唠唠为啥会出这问题。Rust的借用检查器有个死规矩：同一时间，要么只能有一个可变引用指向某块数据，要么可以有多个不可变引用。你代码里的node_to_insert_at是个指向当前节点的可变引用，这时候你又想借用它的left或right字段当可变引用，还想把node_to_insert_at换成子节点的引用——在编译器看来，这相当于你同时攥着父节点和子节点的可变引用，万一后续操作改了父节点的结构，子节点的引用就变成悬垂引用了，所以它直接给你拦下来，绝不放行。

那怎么破？核心思路就是让借用检查器放心：当你把node_to_insert_at切换到子节点时，你再也不会碰原来的父节点引用了。咱们可以用loop配合match或者if let来实现，每次只在当前节点处理完分支后，把可变引用转移给子节点，旧的父节点引用直接丢弃，这样借用检查器就没话说了。

给你看我亲测能用的代码示例，先定义Node结构体：

#[derive(Debug)]
struct Node<T> {
    value: T,
    left: Option<Box<Node<T>>>,
    right: Option<Box<Node<T>>>,
}

impl<T> Node<T> {
    fn new(value: T) -> Self {
        Node {
            value,
            left: None,
            right: None,
        }
    }
}

然后是修复后的insert方法：

impl<T: Ord> Node<T> {
    fn insert(&mut self, value: T) {
        let mut current = self;
        
        loop {
            if value < current.value {
                // 往左边插
                match &mut current.left {
                    Some(next_node) => {
                        // 把current换成左子节点的可变引用，旧父节点引用直接丢了
                        current = next_node;
                    }
                    None => {
                        // 左子树是空的，直接插新节点
                        current.left = Some(Box::new(Node::new(value)));
                        break;
                    }
                }
            } else if value > current.value {
                // 往右边插，逻辑和左边完全一致
                match &mut current.right {
                    Some(next_node) => {
                        current = next_node;
                    }
                    None => {
                        current.right = Some(Box::new(Node::new(value)));
                        break;
                    }
                }
            } else {
                // 遇到重复值，这里我直接打印提示跳过了，你可以自己改逻辑
                println!("值 {} 已经在树里啦，不再重复插入", value);
                break;
            }
        }
    }
}

你看，每次在match分支里，当我们拿到子节点的可变引用next_node时，直接把current赋值为它——这时候原来的父节点可变引用就被彻底丢弃了，借用检查器能明确知道你不会再用它，自然就不会拦着你。要是子节点为空，直接给对应的字段塞新节点然后break循环，也完全不会有借用冲突。

对了，别忘了给泛型T加Ord trait约束哦，不然没法用<和>比较值，这可是二叉搜索树的基本要求。另外重复值的处理逻辑你可以自己调，比如改成覆盖旧值、给节点加计数字段都行，我上面只是简单跳过了。

备注：内容来源于stack exchange，提问作者firewuf