Fn 类型未实现 Size

我想构建一个将列表分成两部分的函数：一个列表包含原始列表中满足特定谓词的元素，另一个列表包含所有不满足特定谓词的元素。以下是我的尝试：

fn split_filter<T: Clone + Sized>(a: &Vec<T>, f: Fn(&T) -> bool) -> (Vec<T>, Vec<T>) {
    let i: Vec<T> = vec![];
    let e: Vec<T> = vec![];
    for u in a.iter().cloned() {
        if f(&u) {
            i.push(u)
        } else {
            e.push(u)
        }
    }

    return (i, e);
}

fn main() {
    let v = vec![10, 40, 30, 20, 60, 50];
    println!("{:?}", split_filter(&v, |&a| a % 3 == 0));
}

但是，我收到两个错误：

error[E0277]: the trait bound `for<'r> std::ops::Fn(&'r T) -> bool + 'static: std::marker::Sized` is not satisfied
 --> src/main.rs:1:47
  |
1 | fn split_filter<T: Clone + Sized>(a: &Vec<T>, f: Fn(&T) -> bool) -> (Vec<T>, Vec<T>) {
  |                                               ^ `for<'r> std::ops::Fn(&'r T) -> bool + 'static` does not have a constant size known at compile-time
  |
  = help: the trait `std::marker::Sized` is not implemented for `for<'r> std::ops::Fn(&'r T) -> bool + 'static`
  = note: all local variables must have a statically known size

error[E0308]: mismatched types
  --> src/main.rs:17:39
   |
17 |     println!("{:?}", split_filter(&v, |&a| a % 3 == 0));
   |                                       ^^^^^^^^^^^^^^^ expected trait std::ops::Fn, found closure
   |
   = note: expected type `for<'r> std::ops::Fn(&'r {integer}) -> bool + 'static`
              found type `[closure@src/main.rs:17:39: 17:54]`

第二个错误似乎暗示闭包不是Fn。我尝试使用语法f: |&T| -> bool我在网上找到了它，但这似乎在最新版本的 Rust 中不起作用。

至于第一个错误，我本来希望使T Sized将使该函数具有已知的大小，但显然它没有。

你应该阅读 Rust 官方书籍，尤其是关于闭包的章节 https://doc.rust-lang.org/stable/book/second-edition/ch13-01-closures.html。您的函数声明不正确；你指定的是f有一个纯粹的特质类型，这是不可能的；这正是错误所在Sized是关于。您应该改用泛型类型参数：

fn split_filter<T: Clone, F>(a: &[T], f: F) -> (Vec<T>, Vec<T>)
where
    F: for<'a> Fn(&'a T) -> bool,

我也改变了类型a from &Vec<T> to &[T];在任何情况下，您都不会更喜欢前者而不是后者。&Vec<T>自动强制&[T]必要时。看

第二个错误与函数声明中的错误密切相关；你的原始函数声明指定了一个裸特征类型，但闭包没有这种类型，它们只是实现了函数特征。

最终程序如下所示：

fn split_filter<T: Clone, F>(a: &[T], f: F) -> (Vec<T>, Vec<T>)
where
    F: Fn(&T) -> bool,
{
    let mut i: Vec<T> = vec![];
    let mut e: Vec<T> = vec![];
    for u in a.iter().cloned() {
        if f(&u) {
            i.push(u);
        } else {
            e.push(u);
        }
    }

    return (i, e);
}

fn main() {
    let v = vec![10, 40, 30, 20, 60, 50];
    println!("{:?}", split_filter(&v, |&a| a % 3 == 0));
}

尝试一下.