为什么 Rust 迭代器的 FnMut 是谓词而不是 Fn？

Question

看看skip_while 和take_while 这样的谓词，它们是

skip_while<P>(self, predicate P) -> ...
  where Self: Sized, P: FnMut(&Self::Item) -> bool;

如果谓词只是返回真或假，而不修改值，为什么它必须是FnMut 而不是Fn（如Fn(&Self::Item) -> bool）？

Answer 1

FnMut 中的Mut 表示谓词可以具有可变状态。它没有说明参数。

另外，FnMut 是Fn 的超特征，因此您也可以传递Fn，其中FnMut 被接受。

作为一个愚蠢的例子，考虑这个存储状态的闭包（因此是FnMut，但不是Fn），但不能修改迭代器中的元素：

fn main() {
    let v = vec![1, 2, 3, 4, 0, 5, 6, 7];

    println!("{:?}", v.iter().skip_while(|&&v| v != 0).collect::<Vec<_>>());

    let mut state = false;
    let one_after_zero = |&&v: &&u32| {
        if state {
            false
        } else if v == 0 {
            state = true;
            true
        } else {
            true
        }
    };

    println!("{:?}", v.iter().skip_while(one_after_zero).collect::<Vec<_>>());
}

(Permalink to the playground)

输出：

[0, 5, 6, 7]
[5, 6, 7]