为什么Rust无法推断带显式return语句的闭包返回类型？

Rust的类型推断完全依托块表达式的默认规则运行，两个场景的推断结果差异本质是类型锚点的缺失：

• 无显式return的可编译示例中，闭包块最后一个不带分号的表达式num+1.0会直接作为闭包返回类型的推断锚点。编译器结合后续println!传入的入参1.0完成双向推导：入参num为f64，返回值也为f64，整个推断链路没有断点。
• 单显式return的报错示例中，闭包块仅包含一条带值的return语句，没有任何非发散的尾表达式作为类型锚点。编译器处理闭包块时，会按照块表达式的默认规则，先把块的返回占位类型设为单元类型()；此时块内return语句携带的f64返回值，就会和这个默认占位类型产生不匹配，触发E0308类型错误——哪怕后续调用点本可以提供完整的类型约束，这个默认占位的判断已经先一步阻断了推导流程。

• 给闭包块补充可作为类型锚点的普通尾表达式。只要块内存在一条非发散、不带return的普通表达式作为块尾值，就能把编译器的块返回占位类型从默认的()调整到和表达式一致的类型，此时提前分支的return语句会自动和这个锚点做类型匹配，不需要手动编写类型标注。这种写法也是日常开发中最常见的模式，对应闭包内有提前返回分支的场景：

fn main() {
    let a_closure = |num| {
        // 实际开发中的提前返回场景
        if num < 0.0 {
            return 0.0;
        }
        num + 1.0 // 作为类型锚点的尾表达式
    };
    println!("{}", a_closure(1.0)); // 可正常编译运行
}

• 如果闭包确实需要无条件通过return返回值，也可以通过补全兜底尾表达式的方式提供锚点。虽然兜底代码实际运行时不会被执行，但足以给编译器提供类型推导的依据：

fn main() {
    let a_closure = |num| {
        let res = num + 1.0;
        return res;
        // 兜底表达式，提供类型锚点，运行时不会触发
        #[allow(unreachable_code)]
        res
    };
    println!("{}", a_closure(1.0)); // 可正常编译运行
}

注：如果闭包逻辑本身就是全程通过return返回、没有正常尾路径的场景，最简洁的处理方式是显式标注闭包的返回类型，不需要为了补锚点写无效代码：

let a_closure = |num| -> f64 {
    return num + 1.0;
};

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