Rust的闭包类型(Fn, FnMut, FnOne的区别)

闭包是什么?

先来看看*上的描述:

在计算机科学中,闭包(英语:Closure),又称词法闭包(Lexical Closure)或函数闭包(function closures),是引用了*变量的函数。这个被引用的*变量将和这个函数一同存在,即使已经离开了创造它的环境也不例外。所以,有另一种说法认为闭包是由函数和与其相关的引用环境组合而成的实体。闭包在运行时可以有多个实例,不同的引用环境和相同的函数组合可以产生不同的实例。

闭包的概念出现于60年代,最早实现闭包的程序语言是Scheme。之后,闭包被广泛使用于函数式编程语言如ML语言和LISP。很多命令式程序语言也开始支持闭包。

可以看到,第一句就已经说明了什么是闭包:闭包是引用了*变量的函数。所以,闭包是一种特殊的函数。

Rust里,闭包被分为了三种类型,列举如下

rust中,函数和闭包都是实现了FnFnMutFnOnce特质(trait)的类型。任何实现了这三种特质其中一种的类型的对象,都是 可调用对象 ,都能像函数和闭包一样通过这样name()的形式调用,()rust中是一个操作符,操作符在rust中是可以重载的。rust的操作符重载是通过实现相应的trait来实现,而()操作符的相应trait就是FnFnMutFnOnce,所以,任何实现了这三个trait中的一种的类型,其实就是重载了()操作符。

Rust中三种闭包的定义:

Rust的闭包类型(Fn, FnMut, FnOne的区别)

图片来源于知乎-Rust编程专栏

FnOnce

标准库定义

#[lang = "fn_once"]
pub trait FnOnce<Args> {
type Output;
extern "rust-call" fn call_once(self, args: Args) -> Self::Output;
}

参数类型是self,所以,这种类型的闭包会获取变量的所有权,生命周期只能是当前作用域,之后就会被释放了。

FnOnce例子:

#[derive(Debug)]
struct E {
a: String,
}

impl Drop for E {
fn drop(&mut self) {
println!("destroyed struct E");
}
}

fn fn_once<F>(func: F) where F: FnOnce() {
println!("fn_once begins");
func();
println!("fn_once ended");
}

fn main() {
let e = E { a: "fn_once".to_string() };
// 这样加个move,看看程序执行输出顺序有什么不同
// let f = move || println!("fn once calls: {:?}", e);
let f = || println!("fn once closure calls: {:?}", e);
fn_once(f);
println!("main ended");
}

打印结果如下:

fn_once begins
fn once closure calls: E { a: "fn_once" }
fn_once ended
main ended
destroyed struct E

FnOnce类型闭包-Rust playground例子

但是如果闭包运行两次,比如:

fn fn_once<F>(func: F) where F: FnOnce() {
println!("fn_once begins");
func();
func();
println!("fn_once ended");
}

则编译器就报错了,类似这样:

error[E0382]: use of moved value: `func`
--> src/main.rs:15:5
|
12 | fn fn_once<F>(func: F) where F: FnOnce() {
| - ---- move occurs because `func` has type `F`, which does not implement the `Copy` trait
| |
| consider adding a `Copy` constraint to this type argument
13 | println!("fn_once begins");
14 | func();
| ---- value moved here
15 | func();
| ^^^^ value used here after move

error: aborting due to previous error

FnOnce类型闭包错误-Rust playgroound例子

这是为什么呢?

还是回到FnOnce的定义,参数类型是self,所以在func第一次执行完之后,之前捕获的变量已经被释放了,所以已经无法在执行第二次了。所以,如果要运行多次,可以使用FnMut\Fn

FnMut

标准库定义

#[lang = "fn_mut"]
pub trait FnMut<Args>: FnOnce<Args> {
extern "rust-call" fn call_mut(&mut self, args: Args) -> Self::Output;
}

参数类型是&mut self,所以,这种类型的闭包是可变借用,会改变变量,但不会释放该变量。所以可以运行多次。

FnMut例子

和上面的例子差不多,有两个地方要改下:

fn fn_mut<F>(mut func: F) where F: FnMut() {
func();
func();
}

// ...
let mut e = E { a: "fn_once".to_string() };
let f = || { println!("FnMut closure calls: {:?}", e); e.a = "fn_mut".to_string(); };
// ...

打印结果如下:

fn_mut begins
fn mut closure calls: E { a: "fn_mut" }
fn mut closure calls: E { a: "fn_mut" }
fn_mut ended
main ended
destroyed struct E

FnMut类型闭包-Rust playground例子

可以看出FnMut类型的闭包是可以运行多次的,且可以修改捕获变量的值。

Fn

标准库定义

#[lang = "fn"]
pub trait Fn<Args>: FnMut<Args> {
extern "rust-call" fn call(&self, args: Args) -> Self::Output;
}

参数类型是&self,所以,这种类型的闭包是不可变借用,不会改变变量,也不会释放该变量。所以可以运行多次。

Fn例子

fn fn_immut<F>(func: F) where F: Fn() {
func();
func();
}

// ...
let e = E { a: "fn".to_string() };
let f = || { println!("Fn closure calls: {:?}", e); };
fn_immut(f);
// ...

打印结果如下:

fn_imut begins
fn closure calls: E { a: "fn" }
fn closure calls: E { a: "fn" }
fn_imut ended
main ended
destroyed struct E

可以看出Fn类型的闭包是可以运行多次的,但不可以修改捕获变量的值。

Fn类型闭包-Rust playground例子

常见的错误

有时候在使用Fn/FnMut这里类型的闭包,编译器经常会给出这样的错误:

# ...
cannot move out of captured variable in an Fn(FnMut) closure
# ...

看下如何复现这种情形:

fn main() {
fn fn_immut<F>(f: F) where F: Fn() -> String {
println!("calling Fn closure from fn, {}", f());
}

let a = "Fn".to_string();
fn_immut(|| a); // 闭包返回一个字符串
}

这样写就会出现上面的那种错误。但如何修复呢?

fn_immut(|| a.clone());

但原因是什么呢?

只要稍稍改下上面的代码,运行一次,编译器给出的错误就很明显了:

fn main() {
fn fn_immut<F>(f: F) where F: Fn() -> String {
println!("calling Fn closure from fn, {}", f());
}

let a = "Fn".to_string();
let f = || a;
fn_immut(f);
}

编译器给出的错误如下:

7 |     let f = move || a;
| ^^^^^^^^-
| | |
| | closure is `FnOnce` because it moves the variable `a` out of its environment
| this closure implements `FnOnce`, not `Fn`
8 | fn_immut(f);
| -------- the requirement to implement `Fn` derives from here

看到没,编译器推导出这个闭包是FnOnce类型的,因为闭包最后返回了a,交还了所有权,是不能再运行第二次了,因为闭包不再是a的所有者。

Fn/FnMut是被认定可以多次运行的,如果交还了捕获变量的所有权,则下次就不能运行了,所以会报出前面那个错误。

结语

因为闭包和rust里的生命周期,所有权紧紧联系在一起了,有时候不怎么好理解,但多写写代码,多试几次,大概就能明白这三者之间的区别。

总之,闭包是rust里非常好用的功能,能让代码变得简洁优雅,是值得去学习和掌握的!

上一篇:引用与借用


下一篇:C# 编写通用的JSON数据进行序列化和反序列化