简介
在本实验中,我们了解到闭包可以用作输入参数,也可以通过使用 impl Trait 并指定有效的 trait(Fn、FnMut、FnOnce)作为输出参数返回。move 关键字用于指示所有捕获都是按值进行的,从而避免无效引用。
注意:如果实验未指定文件名,你可以使用任何你想要的文件名。例如,你可以使用
main.rs,并通过rustc main.rs &&./main进行编译和运行。
作为输出参数
闭包可以作为输入参数,那么将闭包作为输出参数返回也应该是可行的。然而,根据定义,匿名闭包类型是未知的,所以我们必须使用 impl Trait 来返回它们。
用于返回闭包的有效 trait 有:
FnFnMutFnOnce
除此之外,必须使用 move 关键字,这表明所有捕获都是按值进行的。这是必需的,因为一旦函数退出,任何通过引用的捕获都会被丢弃,从而在闭包中留下无效引用。
fn create_fn() -> impl Fn() {
let text = "Fn".to_owned();
move || println!("This is a: {}", text)
}
fn create_fnmut() -> impl FnMut() {
let text = "FnMut".to_owned();
move || println!("This is a: {}", text)
}
fn create_fnonce() -> impl FnOnce() {
let text = "FnOnce".to_owned();
move || println!("This is a: {}", text)
}
fn main() {
let fn_plain = create_fn();
let mut fn_mut = create_fnmut();
let fn_once = create_fnonce();
fn_plain();
fn_mut();
fn_once();
}
总结
恭喜你!你已经完成了“作为输出参数”实验。你可以在 LabEx 中练习更多实验来提升你的技能。