为何不直接使用Fn、FnMut或FnOnce作为类型，而非impl Trait？

DevOps 小满

2026-6-15

为什么Rust闭包要用impl Fn/FnMut/FnOnce而不是直接用这些trait作为类型？

核心原因一句话：Fn、FnMut、FnOnce是 trait，不是具体类型。每个闭包都是编译器自动生成的匿名专属类型——哪怕两个闭包的代码逻辑完全一样，它们的类型也完全不同，只是这些匿名类型分别实现了对应的Fn系列trait而已。

再往细了说：

如果你直接把trait当作参数类型写，比如：
```
// 编译报错！Fn是trait，不能直接用作参数类型
fn call_closure(f: Fn(i32) -> i32) -> i32 {
    f(10)
}
```
Rust会直接报错，因为trait本身没有固定的内存大小，编译器无法确定这个参数需要分配多少空间，也就没法生成正确的机器码。
用impl Fn(...) -> ...则是告诉编译器：“这个参数是某个具体类型，它实现了Fn trait”。编译期编译器会自动推导传入的闭包到底是哪个匿名类型，做静态分发——既保证类型安全，又能享受到静态分发的性能优势，不需要额外堆分配或者虚函数调用的开销。
当然，如果需要在运行时切换不同闭包（比如存到同一个容器里），你可以用Box<dyn Fn(...) -> ...>，但这是动态分发的场景，会带来堆分配和虚函数调用的成本，和impl Trait的静态场景完全是两回事。

举个直观的例子：

fn main() {
    let add_one = |x| x + 1;
    let add_one_copy = |x| x + 1;
    
    // 完全没问题：impl Fn能接收任何实现该trait的具体闭包类型
    println!("{}", call_impl(add_one));
    println!("{}", call_impl(add_one_copy));
    
    // 编译报错：add_one和add_one_copy是不同的匿名类型，没法直接放进同一个Vec
    // let closures = vec![add_one, add_one_copy];
}

fn call_impl(f: impl Fn(i32) -> i32) -> i32 {
    f(10)
}

总结一下：