logo标签列表

在'while let'语句中Rust出现了双重可变借用问题。

rustborrow-checkeravl-treemutability
4

抱歉，如果这是一个愚蠢的问题，我对 Rust 还比较陌生，但我无法解决这个双重可变借用错误。 我正在尝试创建一个 AVL 树方法，找到适当的位置来插入新节点。 我不明白我需要做什么才能使第一个 borrow 放弃。

我正在尝试在没有 RC、RefCell 或 Unsafe 的情况下完成此操作，尽管我越来越不清楚我的方法是否可行。

Rust Playground 链接

    pub fn find_pos(&mut self, key: &K) -> &mut Link<K, V>{
        let mut current = &mut self.root;
        while let Some(node) = current.as_mut() {  // <- first mutable borrow
            match node.key.cmp(&key) {
                Ordering::Equal => break,
                Ordering::Greater => {
                    current = &mut node.right;
                },
                Ordering::Less => {
                    current = &mut node.left;
                },
            }
        };
        current  // <- second mutable borrow
    }

我也尝试了类似于这里描述的解决方案，但没有成功。

    pub fn find_pos(&mut self, key: &K) -> &mut Link<K, V> {
        let mut current = &mut self.root;
        loop {
            let tmp = current;
            if let Some(ref mut node) = *tmp {
               match node.key.cmp(&key) {
                   Ordering::Equal => {
                       current = tmp;
                       break
                   },
                   Ordering::Greater => {current = &mut node.right},
                   Ordering::Less => {current = &mut node.left},
               }
            } else {
                current = tmp;
                break
            }
        }
        current
    }
1
这里有一些有效的东西：https://play.rust-lang.org/?version=stable&mode=release&edition=2021&gist=632747b2845ddc2588ab2edb1c8b0e43。Unwraps应该被优化掉，但这并不理想。 - PitaJ
1个回答
7

这是借用检查器已知的限制。下一代Polonius将会解决这个问题。

同时，（不使用unsafe）的解决方案是重复计算。在您的情况下，这意味着需要使用一些 unwrap()：

pub fn find_pos(&mut self, key: &K) -> &mut Link<K, V> {
    let mut current = &mut self.root;
    while current.as_mut().is_some() {
        match current.as_mut().unwrap().key.cmp(&key) {
            Ordering::Equal => break,
            Ordering::Greater => {
                current = &mut current.as_mut().unwrap().right;
            }
            Ordering::Less => {
                current = &mut current.as_mut().unwrap().left;
            }
        }
    }
    current
}

另请参阅:

网页内容由stack overflow 提供, 点击上面的
可以查看英文原文，
原文链接