Rust中函数参数传递与泛型实现的性能对比及选型指南

以下是你提供的可编译代码示例：

use std::marker::PhantomData;

struct SomeStruct;

impl SomeStruct {
    fn add_5(num: u8, get_fn: impl Fn() -> u8) {
        let res = num + get_fn();
        print!("{}", res);
    }
}

fn get_5() -> u8 {
    5
}

trait Get5 {
    fn get_5() -> u8;
}

struct Get5Struct;
impl Get5 for Get5Struct {
    fn get_5() -> u8 {
        5
    }
}

struct GenericStruct<T: Get5>(PhantomData<T>);

impl<T:Get5> GenericStruct<T> {
    fn add_5(num: u8) {
        let res = num + T::get_5();
        print!("{}", res);
    }
}

fn main() {
    SomeStruct::add_5(0, get_5);
    GenericStruct::<Get5Struct>::add_5(0);
}

运行时性能差异 #

在开启编译优化（--release模式）的前提下，这两种实现的运行时性能完全一致。

原因在于：

• 传递无捕获环境的静态函数给impl Fn() -> u8参数时，编译器会完成单态化与内联优化，直接把get_5()的逻辑嵌入add_5函数中，没有额外调用开销。
• 泛型trait实现采用静态分发，编译器会为Get5Struct生成专属的GenericStruct::add_5版本，同样会内联T::get_5()的调用。

只有当闭包捕获外部变量，或者使用dyn Fn做动态分发时，才会产生性能损耗——但你的示例中不存在这些情况，两种实现的机器码完全等价。

选型通用指导原则 #

优先选择闭包/函数参数的场景 #

• 需要动态切换行为：如果运行时要根据不同条件选择不同的逻辑（比如换不同的数值生成规则），闭包或dyn Fn函数指针更灵活，不用为每个逻辑额外定义trait和结构体。
• 单次轻量逻辑注入：只为单个函数传递简单逻辑时，闭包写法更简洁，省去定义trait和关联结构体的冗余代码。

优先选择泛型Trait的场景 #

• 编译期绑定的关联行为：如果需要把行为和类型绑定，或者要用到trait的关联类型、关联常量等特性，泛型trait是更合适的方案。
• 多方法共享行为约束：如果多个函数/方法都依赖同一套逻辑，用泛型结构体可以统一类型约束，避免在每个函数里重复传闭包，代码结构更清晰。
• 类型级抽象需求：当需要把行为作为类型参数传给其他泛型组件（比如集合、适配器）时，泛型trait能更好地适配Rust的类型系统。

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