Rust中将函数传递给其他函数的最快实现方式是什么？

关于你提出的几个问题的解答如下： #

1. 对impl Fn传参方案的疑问解答

• 你的认知是正确的：Rust中每个普通函数都有独立的、零大小的专属类型，自动实现对应签名的Fn/FnMut/FnOnce trait，即使两个函数签名完全一致，类型也是相互独立的。
• 采用impl Fn作为参数的写法本质是静态分发泛型的语法糖，编译器会为每个不同的传入函数类型单独生成单态化版本的foo函数，只要目标函数符合内联条件（没有标注#[inline(never)]、函数复杂度在编译器内联阈值内），就100%可以被内联，和直接调用原函数没有性能差异。即使传入的是捕获了变量的闭包，只要是静态分发的impl Trait形式，也同样支持内联。

2. 两种方案的性能对比

你提到的第二种占位trait方案，底层逻辑和静态分发的impl Fn完全一致：都是编译期完成类型解析、生成单态化代码，运行时零开销，也支持内联。两种方案在release优化下生成的汇编代码完全相同，不存在任何性能差异。
第二种方案的写法完全是冗余的，不需要额外定义占位trait和空结构体就能实现相同效果。

3. 更优雅的编译期指定函数方案

如果你想要实现「不需要把函数作为运行时参数传入，编译期直接指定调用函数」的效果，不需要自定义trait，直接用Rust原生的Fn trait即可，写法如下：

// 把函数类型作为泛型参数，不需要运行时传参
fn add_outer<F: Fn(i32) -> i32>(i: i32) -> i32 {
    F(i)
}

// 定义要传入的普通函数
fn add_one(x: i32) -> i32 {
    x + 1
}

// 调用时直接把函数作为泛型参数传入即可
fn main() {
    let res = add_outer::<add_one>(32);
    assert_eq!(res, 33);
}

如果你的Rust版本较低不支持直接把函数项作为泛型参数传入，也可以用零大小的闭包实现，优化后效果完全一致：

let res = add_outer(32, |x| x + 1);

这种写法下编译器会完全消除闭包参数的运行时开销，和你自定义占位trait的效果没有任何区别，写法更简洁。

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