`filter(func)` 和 `filter(|x| func(x))` 有什么区别？

有什么区别filter(|x| func(x)) and filter(func)？也许一个好的起点是了解如何filter(func)可以使用类似于以下的语法来编写filter(|x| func(x))。我的代码如下所示：

fn filter_out_duplicates(vec_of_vecs: Vec<Vec<u8>>) -> Vec<Vec<u8>> {
  vec_of_vecs
     .into_iter()
     .filter(all_unique)
     .collect()
}

pub fn all_unique<T>(iterable: T) -> bool
where
   T: IntoIterator,
   T::Item: Eq + Hash,
{
   let mut unique = HashSet::new();
   iterable.into_iter().all(|x| unique.insert(x))
}

error[E0599]: the method `collect` exists for struct `Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::<&Vec<u8>>}>`, but its trait bounds were not satisfied
  --> src/main.rs:44:56
   |
44 |             vec_of_vecs.into_iter().filter(all_unique).collect()
   |                                                        ^^^^^^^ method cannot be called on `Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::<&Vec<u8>>}>` due to unsatisfied trait bounds
   |
  ::: /.rustup/toolchains/stable-x86_64-apple-darwin/lib/rustlib/src/rust/library/core/src/iter/adapters/filter.rs:15:1
   |
15 | pub struct Filter<I, P> {
   | ----------------------- doesn't satisfy `_: Iterator`
   |
   = note: the following trait bounds were not satisfied:
           `<fn(&Vec<u8>) -> bool {tmp::all_unique::<&Vec<u8>>} as FnOnce<(&Vec<u8>,)>>::Output = bool`
           which is required by `Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::<&Vec<u8>>}>: Iterator`
           `fn(&Vec<u8>) -> bool {tmp::all_unique::<&Vec<u8>>}: FnMut<(&Vec<u8>,)>`
           which is required by `Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::<&Vec<u8>>}>: Iterator`
           `Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::<&Vec<u8>>}>: Iterator`
           which is required by `&mut Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::<&Vec<u8>>}>: Iterator`
           which is required by `&mut Filter<std::vec::IntoIter<Vec<Placement>>, fn(&Vec<Placement>) -> bool {all_unique::<&Vec<Placement>>}>: Iterator`

但是如果我使用代码可以编译|x| all_unique(x)。我知道破译编译器错误是解决 Rust 问题的推荐方法，但我发现这个错误非常难以理解。

我找到了一个讨论这似乎比解释强制更同情这个错误，但我发现关于强制的章节Rustonomicon 中的内容太短，无法提供理解。

本案与胁迫无关。这是另一个案例晚绑定生命周期与早绑定生命周期.

Rust 有两种生命周期：早期绑定 and 晚绑定。差异归结为决定使用哪个生命周期。

对于晚绑定生命周期，你会得到一个更高等级的特质绑定- 就像是for<'a> fn(&'a i32)。然后，仅在调用该函数时才选择生命周期。

另一方面，对于早期束缚的生命周期，你会得到fn(&'some_concrete_lifetime i32)。生命周期可以被推断，有时被省略，但它确实存在。并且必须在我们决定函数指针/项的类型时决定。

filter()期望 HRTB 函数，即具有晚绑定寿命。这是因为脱糖FnMut(&Self::Item) -> bool, 这是边界filter(), is for<'a> FnMut(&'a Self::Item) -> bool，或者，如果你愿意的话，for<'a> FnMut<(&'a Self::Item,), Output = bool>.

Your all_unique()，然而，是通用的T: IntoIterator。如果我们设置T = &'a Vec<u8>, then 'a是早期绑定的。这是因为泛型参数的生命周期总是早期绑定的——本质上，因为我们不能后期绑定泛型参数，因为 Rust 中没有办法表达for<T>，因为泛型类型参数是单态的，所以这通常是不可能的。

因此，如果我们揭示被省略的生命周期，您想要满足特征界限fn(&'some_lifetime Vec<u8>) -> bool: for<'all_lifetimes> FnMut(&'all_lifetimes Vec<u8>) -> bool，并且这个界限是假的。这就是您看到的错误的原因。

然而，如果我们使用闭包，我们会生成一个特定于该类型的闭包&'lifetime Vec<u8>。由于它在类型上不是通用的，因此生命周期可以被后期绑定。