Rust闭包捕获：为何实现Copy的变量y会被借用触发报错？

问题复现 #

编写Rust代码时遇到如下编译错误：

fn create_fn_once() -> impl FnOnce(char) -> String {
    let text = "text".to_string();  // 未实现`Copy` trait
    let y = 1;                      // 实现了`Copy` trait

    |x| {
        move_x(text);   // 编译通过
        move_x(y);      // 报错：`y` is borrowed here
        x.to_string()
    }
}

fn move_x<T: Sized>(x: T) {}

编译报错信息如下：

error[E0373]: closure may outlive the current function, but it borrows `y`, which is owned by the current function
 --> src/lib.rs:5:5
  |
5 |     |x| {
  |     ^^^ may outlive borrowed value `y`
6 |         move_x(text);   // ok
7 |         move_x(y);      // error: `y` is borrowed here
  |                - `y` is borrowed here
  |
note: closure is returned here
 --> src/lib.rs:5:5
  |
5 | /     |x| {
6 | |         move_x(text);   // ok
7 | |         move_x(y);      // error: `y` is borrowed here
8 | |         x.to_string()
9 | |     }
  | |_____^
help: to force the closure to take ownership of `y` (and any other referenced variables), use the `move` keyword
  |
5 |     move |x| {
  |     ++++

已知在闭包定义前添加move关键字即可修复问题，但对背后的捕获逻辑存在疑问：未实现Copy trait的String变量text被闭包移动捕获符合预期，为什么实现了Copy trait的变量y反而会被闭包借用，进而触发E0373生命周期错误？

原理说明 #

这个现象的核心是Rust闭包的默认捕获规则和Copy特性无关，遵循优先借用、仅在必要时移动的判断逻辑：

• 闭包捕获环境变量的优先级从高到低为：不可变借用 → 可变借用 → 移动捕获，编译器会选择能满足闭包内部逻辑的、约束最弱的捕获方式。
• 对于text变量：它是未实现Copy的String类型，闭包内调用move_x(text)需要传入参数的所有权。如果闭包仅借用text，是无法把借来的值的所有权转移给move_x的，因此编译器只能选择将text的所有权直接移动进闭包，整个过程没有借用产生，自然不会触发生命周期问题。
• 对于y变量：它是实现了Copy的i32类型，闭包内调用move_x(y)时，编译器发现不需要获取y的所有权就能满足调用要求——只需要不可变借用y，在调用move_x时自动解引用复制一份值传入即可，因此默认选择了不可变借用的捕获方式。
• 由于这个闭包会作为函数返回值脱离当前作用域存活，但它借用的y是当前函数的局部变量，函数返回后y会被立即销毁，闭包持有的借用会变成悬垂引用，因此编译器抛出E0373错误。
• 给闭包添加move关键字的作用，是强制闭包对所有捕获的变量直接获取所有权：对于未实现Copy的类型走移动语义，对于实现Copy的类型走复制语义，全程不产生借用，自然就不存在悬垂引用的问题。

注意：Copy特性仅表示值在发生移动语义时会自动复制、原变量不会失效，它不会改变闭包默认优先借用的捕获策略，不要把两者的逻辑混淆。

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