Rust闭包底层实现的解释是否正确？我的理解是否合理？

那个论坛的解释完全正确，咱们拆解说清楚：

闭包trait的核心区别 #

Rust里闭包的三个trait本质是根据调用时对捕获变量的操作权限划分的：

• FnOnce：调用时会把闭包自身“用掉”——因为要转移捕获变量的所有权，所以只能调用一次。
• FnMut：调用时可变借用捕获的变量，能多次调用，但不会动所有权。
• Fn：调用时只做不可变借用，最宽松，能无限次调用。

如果你的闭包在执行时需要把捕获的变量（比如那个x）的所有权移走，那它必然只能实现FnOnce——毕竟调用一次后，闭包里的x已经不在了，闭包本身状态废了，没法再调用第二次。

关于你的猜测 #

你的思路沾边，但核心点不对：
悬垂引用不是这里的关键原因，真正的问题是所有权转移导致闭包无法重复调用。当闭包调用时把x的所有权转移出去，闭包结构体里对应的字段就变成了未初始化的状态，Rust绝对不允许使用这种无效状态的变量，所以编译器直接禁止这个闭包被多次调用，自然只能归为FnOnce。

你说的“移动到&self.x0后被销毁”逻辑不对：&self.x0是引用，所有权不会转移到引用上，引用只是临时借用。真正确认所有权转移的情况是闭包里写了类似let y = self.x0;这种代码——这时候self.x0的所有权彻底移给y，原闭包的x0字段就空了。

编译器的判定规则 #

编译器判断闭包实现哪个trait的逻辑很直接：

1. 先看闭包调用时会不会转移捕获变量的所有权：如果是，直接锁死FnOnce。
2. 如果不转移所有权，再看会不会修改捕获的变量：如果是，就实现FnMut（顺带自动实现FnOnce，因为FnMut是FnOnce的子trait）。
3. 要是既不转移也不修改，就实现最灵活的Fn（同时自动实现另外两个trait）。

举个实际代码例子：

// 这个闭包捕获了String类型的x的所有权，调用时把x移给了新的String
let x = String::from("hello");
let closure = move || {
    String::from(x)
};
closure(); // 第一次调用没问题
// closure(); // 编译报错：闭包已经被消耗，没法再调用

对应的近似结构体实现大概是这样：

struct Closure {
    x: String,
}

impl FnOnce<()> for Closure {
    type Output = String;
    extern "rust-call" fn call_once(self, _args: ()) -> String {
        String::from(self.x) // 这里self是值传递，调用后原闭包实例被销毁
    }
}

看这个call_once方法，它接收的是self（值传递），而不是&self或&mut self——这就意味着调用一次后，原闭包实例就被消耗掉了，根本不存在第二次调用的可能。

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