为何Rust的Fn trait用作trait bound时采用函数签名式语法？

你看到的Fn(u32) -> u32是Rust为Fn系列trait（Fn/FnMut/FnOnce）提供的语法糖，用来简洁声明trait的函数签名要求，本质是对带关联类型的trait约束的简化写法。

语法拆解 #

• 括号内的u32：指定该trait对应的可调用对象（函数、闭包或自定义类型）需要接受一个u32类型的参数；如果是多个参数，会写成Fn(u32, String) -> bool这样的形式。
• -> u32：指定该可调用对象的返回值类型为u32。

放到你的示例代码里，where T: Fn(u32) -> u32这句话的意思是：类型参数T必须实现满足「接受单个u32参数、返回u32」签名的Fn trait。任何符合这个签名的函数、闭包，甚至是你手动实现了对应Fn trait的自定义类型，都可以作为Cacher的calculation字段的类型。

原始写法对比 #

这个语法糖简化了原本冗长的trait约束写法。如果不用语法糖，等价的约束是：

T: Fn<(u32,), Output = u32>

其中(u32,)是参数类型组成的元组，Output = u32是Fn trait定义的关联类型，用来指定返回值。显然语法糖的写法更符合我们对函数签名的直觉，可读性更高。

关于文档的说明 #

这个语法糖的定义其实在Rust官方核心文档的闭包和trait约束章节有明确提及，并非文档缺失。你可以在核心指南里查找「闭包作为trait」「trait约束语法糖」相关内容，能找到更详细的说明。

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