trait core::ops::Fn
Fn 由只对捕获的变量进行不可变引用或根本不捕获任何内容
源码
Trait core::ops::Fn
的定义如下:
pub trait Fn<Args>: FnMut<Args> {
/// Performs the call operation.
#[unstable(feature = "fn_traits", issue = "29625")]
extern "rust-call" fn call(&self, args: Args) -> Self::Output;
}
官方文档
https://doc.rust-lang.org/core/ops/trait.Fn.html
采用不可变接收者的调用运算符的版本。
Fn
的实例可以在不改变状态的情况下重复调用。
请勿将此 trait (Fn
) 与 函数指针 (fn
) 混淆。
Fn
由闭包自动实现,闭包只对捕获的变量进行不可变引用或根本不捕获任何内容,还有 (安全) 函数指针 (有一些警告,请参见其文档以获取更多详细信息)。
此外,对于实现 Fn
的任何类型 F
,&F
也实现了 Fn
。
由于 FnMut
和 FnOnce
都是 Fn
的 supertraits,因此 Fn
的任何实例都可以用作参数,其中需要 FnMut
或 FnOnce
。
当您要接受类似函数类型的参数并且需要反复调用且不改变状态 (例如,同时调用它) 时,请使用 Fn
作为绑定。 如果不需要严格的要求,请使用 FnMut
或 FnOnce
作为界限。
有关此主题的更多信息,请参见 Rust 编程语言 中关于闭包的章节。
还要注意的是 Fn
traits 的特殊语法 (例如 Fn(usize, bool) -> usize
)。对此技术细节感兴趣的人可以参考 Rustonomicon 中的相关部分。
示例
调用一个闭包:
let square = |x| x * x;
assert_eq!(square(5), 25);
使用 Fn 参数:
fn call_with_one<F>(func: F) -> usize
where F: Fn(usize) -> usize {
func(1)
}
let double = |x| x * 2;
assert_eq!(call_with_one(double), 2);