Rust中函数接收/返回闭包的惯用写法及三类实现差异辨析

三个写法的核心差异 #

你列的三种写法本质上分为两类：动态分发（写法1、2）和静态分发（写法3），具体差异如下：

• 写法1：pub fn run_with_envs_guard1(envs: &HashMap<&str, &str>, f: &dyn FnOnce())

  这个写法存在语法层面的不合理，实际无法使用。FnOnce的调用要求获取闭包的所有权，而你这里只传入了闭包的不可变引用，调用时无法拿到所有权，会直接编译报错。如果换成Fn/FnMut的trait对象引用才可以正常运行。
  属于动态分发，没有堆分配开销，调用侧只需传入闭包的引用即可，不需要转移闭包所有权。

• 写法2：pub fn run_with_envs_guard2(envs: &HashMap<&str, &str>, f: Box<dyn FnOnce()>)
  属于动态分发，闭包被分配在堆上，你拿到了闭包的所有权，可以正常调用FnOnce。存在堆分配的额外开销，调用侧需要手动把闭包包在Box::new()里传入。
• 写法3：pub fn run_with_envs_guard3<F: FnOnce()>(envs: &HashMap<&str, &str>, f: F)
  属于静态分发，没有运行时分发开销，也没有堆分配，性能最优。调用侧可以直接传入闭包，不需要额外封装，而且拿到了闭包所有权，可以正常调用FnOnce。

关于dyn关键字的疑问 #

dyn是Rust专门用来标记动态分发的trait对象的语法标识，只要你把trait作为独立的类型使用，就必须加dyn。
写法3里的FnOnce是作为泛型的约束条件，不是作为类型使用：编译时会根据你传入的具体闭包类型做单态化，每个调用的闭包类型在编译期都是确定的，不需要动态分发，所以不需要加dyn。
你之前的理解有错误：只有写法1和2是动态分发，写法3是静态分发，闭包的具体类型编译期完全可以确定，不需要运行时查虚表。

日常开发选型规范 #

优先选择写法3（泛型静态分发），这是Rust生态最惯用的闭包参数写法，性能最好，调用侧使用也最方便，没有额外的语法负担。
只有两种场景适合用动态分发的写法：

1. 函数逻辑复杂，单态化生成的实例太多导致二进制体积膨胀严重，可改用Box<dyn FnOnce()>降低体积。
2. 需要返回不同类型的闭包（比如同一个函数不同分支返回逻辑不同的闭包），泛型无法满足多类型返回的要求，必须用Box<dyn Fnxxx>作为返回值。
   如果是不需要转移闭包所有权的Fn/FnMut场景，也可以选择&dyn Fn/&mut dyn FnMut的写法避免堆分配，但不要像写法1一样用在FnOnce上。

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