Rust中filter(func)与filter(|x| func(x))的差异及编译错误解析

问题场景 #

为过滤嵌套向量中含重复元素的子向量，编写了如下代码：

use std::collections::HashSet;

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::&lt;&Vec<u8>&gt;}>`, 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::&lt;&Vec<u8>&gt;}>` 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::&lt;&Vec<u8>&gt;} as FnOnce<(&Vec<u8>,)>>::Output = bool`
           which is required by `Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::&lt;&Vec<u8>&gt;}>: Iterator`
           `fn(&Vec<u8>) -> bool {tmp::all_unique::&lt;&Vec<u8>&gt;}: FnMut<(&Vec<u8>,)>`
           which is required by `Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::&lt;&Vec<u8>&gt;}>: Iterator`
           `Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::&lt;&Vec<u8>&gt;}>: Iterator`
           which is required by `&mut Filter<std::vec::IntoIter<Vec<u8>>, fn(&Vec<u8>) -> bool {tmp::all_unique::&lt;&Vec<u8>&gt;}>: Iterator`
           which is required by `&mut Filter<std::vec::IntoIter<Vec<Placement>>, fn(&Vec<Placement>) -> bool {all_unique::&lt;&Vec<Placement>&gt;}>: Iterator`

改用filter(|x| all_unique(x))后代码可正常编译，以下是原理解析：

两种写法的核心区别 #

1. filter(func)的约束 #

Iterator::filter要求传入的参数必须实现FnMut(&Self::Item) -> bool，核心要求：

• 参数必须是迭代器元素的引用——无论迭代器是按值（into_iter()）还是按引用（iter()）遍历，filter都会传递元素的引用给闭包/函数。
• 若直接传递函数func，其签名必须严格匹配fn(&Item) -> bool，且编译器必须能明确推断函数的类型（对于泛型函数，需要上下文足够确定泛型参数）。

2. filter(|x| func(x))的作用 #

这种写法是显式创建闭包，闭包接收filter传递的元素引用x，再调用func(x)，优势在于：

• 闭包的参数类型x由filter上下文明确给出，编译器可基于此推断func的泛型参数（如果func是泛型函数）。
• 闭包自动适配FnMut(&Item) -> bool的约束，无需额外类型推断。

编译错误的深层原因 #

你的all_unique是泛型函数，直接传递给filter时，编译器需要推断泛型参数T的类型。虽然&Vec<u8>满足IntoIterator约束，但filter的上下文无法给编译器提供足够的推断线索，导致无法正确实例化all_unique为符合FnMut(&Vec<u8>) -> bool的函数指针。

而使用闭包|x| all_unique(x)时，x的类型明确为&Vec<u8>，编译器可直接实例化all_unique::<&Vec<u8>>，闭包调用该实例化函数后自然满足filter的约束，因此编译通过。

替代修正方案 #

除了闭包写法，也可通过显式指定泛型参数让filter(all_unique)编译通过：

fn filter_out_duplicates(vec_of_vecs: Vec<Vec<u8>>) -> Vec<Vec<u8>> {
  vec_of_vecs
     .into_iter()
     .filter(all_unique::<&Vec<u8>>) // 显式指定泛型参数
     .collect()
}

不过这种写法不如闭包直观，推荐使用filter(|x| all_unique(x))的方式。

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