Rust中返回闭包时捕获Option值为何引发编译错误？

可正常编译的代码 #

let value = Some(0);
let closure = if value.is_some() {
    |value: i32| false
} else {
    |value: i32| true
};

编译错误的代码 #

let closure = if let Some(option_value) = value {
    |value: i32| option_value == value
} else {
    |value: i32| true
};

编译错误信息：

`if` and `else` have incompatible types
no two closures, even if identical, have the same type
consider boxing your closure and/or using it as a trait object

两段代码的核心差异 #

第一段的两个闭包没有捕获任何外部变量，属于无捕获闭包；第二段的第一个闭包捕获了外部的option_value变量，属于捕获型闭包。

编译错误的原因 #

Rust中每个闭包都是编译器生成的唯一匿名类型，哪怕逻辑完全一致，两个闭包的类型也不相同：

1. 对于无捕获闭包，编译器会自动将其转换为对应的函数指针类型（比如fn(i32) -> bool），因此第一段if和else分支的闭包最终会被统一成相同的函数指针类型，满足类型一致要求。
2. 而捕获了变量的闭包，其匿名类型会包含捕获变量的相关信息，和无捕获闭包的类型完全不兼容，也无法被转换为函数指针。这就导致if和else分支返回的类型不一致，触发编译错误。

使用Box解决的原理 #

将两个闭包都用Box::new()包裹，转换为Box<dyn Fn(i32) -> bool>类型的特征对象：

let closure = if let Some(option_value) = value {
    Box::new(move |value: i32| option_value == value)
} else {
    Box::new(|value: i32| true)
};

• 特征对象允许我们把不同类型但实现了同一特征（这里是Fn(i32) -> bool）的对象，统一到同一个 trait object 类型下，这样if和else分支的返回类型就一致了。
• 第一个闭包需要加move关键字，目的是将option_value的所有权转移到闭包内部，避免后续变量生命周期问题导致的悬垂引用。

内容的提问来源于stack exchange，提问作者김평강