Rust代码编译报错E0382：借用已移动值问题求助

错误原因 #

你遇到的E0382错误核心是Rust的借用规则冲突：

• 当你写for clause in f时，f作为&mut Vec<Clause>会被隐式调用into_iter()，这个方法会拿走f的所有权（移动），此时f不再可用。
• 之后你尝试调用f.remove()，相当于对已经被移动的f进行可变借用，违反了Rust的借用规则。

另外你的代码还有一个隐藏问题：正向遍历并删除元素会导致索引错位——删除某个索引的元素后，后面的元素会向前移位，下一次循环的索引会跳过移位后的元素，导致部分元素没有被检查。

修复方案 #

方案1：使用Vec::retain（推荐） #

retain是Vec提供的专门用来过滤元素的方法，它会保留所有满足闭包条件的元素，内部安全处理了借用和索引问题，代码最简洁：

pub fn propogate_unit(f: &mut Formula, v: Variable, b: bool) {
    if b {
        // 保留所有不包含Base(v)的子句，等价于移除包含Base(v)的子句
        f.retain(|clause| !hasBase(clause, v));
    }
}

方案2：反向遍历索引 #

如果需要手动管理索引，可以采用反向遍历的方式，避免删除元素后索引错位，同时符合Rust的借用规则：

pub fn propogate_unit(f: &mut Formula, v: Variable, b: bool) {
    if b {
        let mut index = f.len();
        // 从最后一个元素往前遍历
        while index > 0 {
            index -= 1;
            if hasBase(&f[index], v) {
                f.remove(index);
            }
        }
    }
}

验证 #

两种方案都能正确移除所有包含Atom::Base(v)的Clause，并且通过编译。retain方法更符合Rust的惯用写法，代码可读性更高，优先推荐。

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