过滤器内的变异向量

Question

所以，我有以下代码在向量中成功执行过滤：

let mut v1 : Vec<i32> = vec!(1,2,3);
let v2 : Vec<&mut i32> = v1.iter_mut().filter(|x| {**x == 2}).collect();
println!("{:?}", v2);

由于过滤函数中谓词的类型签名是 FnMut(&Self::Item) -> bool，我假设里面的突变 关闭将起作用：

let mut v1 : Vec<i32> = vec!(1,2,3);
let v2 : Vec<&mut i32> = v1.iter_mut().filter(|x| {**x = 3; **x == 2}).collect();
println!("{:?}", v2);

但是上面的代码会导致编译错误。如何解决？笔记 我正在玩 rust 以获得更好的理解，所以 abpve 示例没有意义（通常，没有人会尝试变异 过滤器内的东西）。

Answer 1

您混淆了两个概念：FnMut 表示函数可以更改其捕获的变量，例如：

fn main() {
    let v1 = vec![1, 2, 3];
    let mut i = 0usize;
    let v2: Vec<_> = v1
        .into_iter()
        .filter(|x| {
            i = i + 1;
            *x == 2
        })
        .collect();
    println!("We iterate {} times and produce {:?}", i, v2);
}

这并不意味着函数的每个参数都是可变的。

在您的代码中，filter() 采用 &Self::Item，这与采用 Self::Item 的 map() 非常不同。因为真正的类型将转换为Map<Item=&mut i32> 和Filter<Item=&&mut i32>。如果引用位于非可变引用后面，Rust 会禁止你改变引用：

fn test(a: &&mut i32) {
    **a = 5;
}

error[E0594]: cannot assign to `**a` which is behind a `&` reference

这是因为 Rust 遵循 the-rules-of-references:

• 在任何给定时间，您都可以拥有一个可变引用或任意数量的不可变引用。
• 引用必须始终有效。

这意味着您可以拥有多个&&mut，但只能拥有一个&mut &mut。如果 Rust 没有阻止您，您可以修改 &&mut，这会毒害任何其他 &&mut。

很遗憾，E0594 的完整错误描述仍然不可用，请参阅#61137。

注意：使用迭代器 API 时要避免副作用，我认为改变 FnMut 状态而不是项目是可以的，你应该在 for 循环中执行此操作，例如：

fn main() {
    let mut v1 = vec![1, 2, 3];
    for x in v1.iter_mut().filter(|x| **x == 2) {
        *x = 1;
    }
    println!("{:?}", v1);
}