在 Rust 中,Fn、FnMut和FnOnce是三个用于表示闭包类型的 trait。闭包是一种可以捕获其环境变量的函数。在创建闭包是会默认实现这几个 trait 中的一个。
以下是三个 trait 的区别:
?Fn:Fn是最基本的闭包 trait。它表示闭包可以捕获其环境变量的不可变引用。
?FnMut:FnMut表示闭包可以捕获其环境变量的可变引用。这意味着闭包可以修改其环境变量的值。
?FnOnce:FnOnce表示闭包只能调用一次。它表示闭包可以捕获其环境变量的所有权。这意味着闭包可以移动其环境变量的值。
以下是三个 trait 的一些示例:
//?Fn
let?add_one_closure?=?|x:?i32|?->?i32?{
let?y?=?10;
x?+?y
};
//?FnMut
let?add_two_closure?=?|mut?x:?i32|?->?i32?{
x?+=?2;
x
};
//?FnOnce
let?consume_string_closure?=?|s:?String|?->?String?{
println!("Consumed?string:?{}",?s);
s
};
输出结果:
Consumed?string:?Hello,?world!
总结:
?Fn:闭包可以捕获其环境变量的不可变引用。
?FnMut:闭包可以捕获其环境变量的可变引用。
?FnOnce:闭包只能调用一次,并可以捕获其环境变量的所有权。
选择哪个 trait 取决于闭包的用途。
??如果闭包只需要读取环境变量的值,则可以使用Fntrait。
??如果闭包需要修改环境变量的值,则可以使用FnMuttrait。
??如果闭包只需要使用环境变量的值一次,则可以使用FnOncetrait。
以下是一些使用建议:
??优先使用Fntrait,因为它是最通用的。
??只有在需要修改环境变量的值时才使用FnMuttrait。
??只有在需要使用环境变量的值一次时才使用FnOncetrait。
此外,Fn、FnMut和FnOnce还可以相互转换。
?Fn可以转换为FnMut和FnOnce。
?FnMut可以转换为FnOnce。
以下是转换示例:
//?Fn?->?FnMut
fn?add_one(x:?i32)?->?i32?{
let?y?=?10;
x?+?y
}
let?mut?add_one_fnmut:?FnMut(i32)?->?i32?=?add_one;
//?FnMut?->?FnOnce
fn?add_two(mut?x:?i32)?->?i32?{
x?+=?2;
x
}
let?add_two_fnonce:?FnOnce(i32)?->?i32?=?add_two;
从源码的角度看它们为什么能够转换:
pub?trait?FnOnce<Args:?Tuple>?{
...
}
pub?trait?FnMut<Args:?Tuple>:?FnOnce<Args>?{
...
}
pub?trait?Fn<Args:?Tuple>:?FnMut<Args>?{
...
}
从源码可以看出,Fn继承了FnMut,而FnMut又继承了FnOnce。这是类型逐渐泛化的过程,这就好像坤坤属于男人,男人属于灵长类一个道理。 Fn要求只能只能捕获环境变量,而FnMut不但捕获环境变量还需要修改环境变量,所以Fn一定能满足FnMut的条件。就像1是正整数,那么它必然也是整数。同样的,FnOnce要求拿到环境变量的所有权,如此一来,不管是Fn还是FnMut都是在没有所有权的基础上运行的,有了所有权那就是能无所无能了。因此,无论是Fn还是FnMut都可以
总结:
Fn、FnMut和FnOnce是三个用于表示闭包类型的 trait。选择哪个 trait 取决于闭包的用途。此外,Fn、FnMut和FnOnce还可以相互转换。
领取专属 10元无门槛券
私享最新 技术干货