Rust闭包|a: i32, b: i32| {a + b}的正确类型定义方法

Rust中每个闭包都是编译器生成的唯一匿名类型，你无法直接写出这个类型的具体名称。想要手动定义它的类型，需要借助 trait 抽象或 trait 对象，以下是几种可行方案：

1. 直接用impl Trait作为变量类型（Rust 1.63+） #

如果你的Rust版本在1.63及以上，可以直接在let绑定中使用impl Trait标注类型，这是最简洁的写法：

let x: impl Fn(i32, i32) -> i32 = |a: i32, b: i32| { a + b };

如果之前写这个报错，大概率是使用了低于1.63的Rust版本，建议升级或改用其他方案。

2. 使用Box<dyn Fn(...)> trait对象（兼容全版本） #

这是通用性最强的方案，适用于所有支持 trait 对象的Rust版本，也能用于结构体字段、函数返回值等场景：

let x: Box<dyn Fn(i32, i32) -> i32> = Box::new(|a: i32, b: i32| { a + b });

这种方式通过装箱实现动态分发，会带来极小的运行时开销，但换来了类型的灵活性。

3. 定义类型别名简化写法（Rust 1.75+） #

如果需要重复使用这个闭包的类型标注，可以用类型别名封装impl Trait（Rust 1.75及以上支持）：

type AddTwoI32 = impl Fn(i32, i32) -> i32;

let x: AddTwoI32 = |a: i32, b: i32| { a + b };

注意：每个这样的类型别名只能对应一种闭包类型，因为闭包的匿名类型是唯一的。

函数参数/返回值中的使用方式 #

如果是在函数参数或返回值中使用这个闭包类型，还可以用泛型约束：

// 泛型约束写法
fn apply_add<F: Fn(i32, i32) -> i32>(closure: F, a: i32, b: i32) -> i32 {
    closure(a, b)
}

// 或者用impl Trait简化参数标注
fn apply_add(closure: impl Fn(i32, i32) -> i32, a: i32, b: i32) -> i32 {
    closure(a, b)
}

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