Rust闭包疑问：x的捕获方式、FnOnce trait成因及赋值行为

1. 为什么add_to_x具备FnOnce trait？ #

Rust里所有闭包都会自动实现FnOnce——这个trait的核心要求是闭包能被调用至少一次，是闭包的基础 trait。

你的add_to_x闭包修改了捕获的外部变量x，因此它还会自动实现FnMut（允许可变借用捕获变量并被多次调用）。由于FnMut继承自FnOnce，所以add_to_x自然也满足FnOnce的约束。

2. 闭包对x的捕获方式：可变引用，而非复制 #

从代码运行结果（原x的值从5变为10）可以直接判断：闭包捕获的是x的可变引用（&mut i32），不是复制。

原因是闭包执行的是x += n这种原地修改操作，需要对x拥有可变访问权。如果是复制捕获，闭包里只会操作x的副本，原x的值不会变化。另外，因为闭包需要修改捕获的变量，所以闭包本身必须被声明为mut——调用可变闭包时，Rust会可变借用闭包自身，从而允许它修改内部捕获的可变引用。

3. 闭包赋值时的行为：移动，而非复制 #

Rust闭包默认不实现Copy trait（只有无捕获变量的闭包，或捕获变量全为Copy类型的Fn闭包才会自动实现Copy）。你的add_to_x捕获了外部变量的可变引用，不满足Copy条件，因此将它赋值给另一个变量时会发生所有权移动：原变量add_to_x在赋值后会失效，无法再被调用或访问。

比如尝试以下代码会编译报错：

let mut x = 5;
let mut add_to_x = |n: i32| { x += n; x };
let another_add = add_to_x;
add_to_x(3); // 错误：use of moved value: `add_to_x`

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