为什么返回捕获复制类型的闭合时需要移动关键字？

Question

godbolt

fn foo(c: char) -> impl Fn() -> i32 {
    || bar(c)
}

fn bar(_: char) -> i32 {
    42
}

引发错误的

error[E0597]: `c` does not live long enough
 --> src/lib.rs:2:12
  |
2 |     || bar(c)
  |     --     ^ borrowed value does not live long enough
  |     |
  |     value captured here
3 | }
  |  -
  |  |
  |  `c` dropped here while still borrowed
  |  borrow later used here

我认为原始类型 char> char 默认情况;为什么我需要明确移动 it（移动|| bar（c））以获取编译代码？

Answer 1

您是正确的， char 是 copy ，但是当执行副本时，棘手的恰好是。

假装复制特质具有一种称为复制的方法，类似于 clone :: clone 。作为编译器所做的示例，您的关闭变为：

|| {
    let c = Copy::copy(&c);
    bar(c)
}

闭合仅通过引用捕获 c ，因为在调用闭合时需要执行副本所需的一切。通过返回关闭，您将试图返回对本地的引用，这是禁止的。

使用移动迫使闭合以按值捕获 c 。

另请参阅：

• 如何复制而不是借用i64 to rust的关闭？
• 是否有任何方法可以返回对函数中创建的变量的引用？
• 所有原始类型是否实现了复制特征？

Answer 2

我认为像 char 这样的原始类型是默认复制的；为什么我需要显式移动它 (move || bar(c)) 才能编译代码？

实际上，因为 char 是 Copy 才出现问题：默认情况下，Rust 闭包是“智能”的，因此它们捕获内容的方式如下尽可能不受限制。

这意味着如果他们可以通过引用捕获，他们将通过引用捕获，如果他们不能但可以通过 mut ref 捕获，他们就会这样做，并且只有当他们不能时，他们才会通过值捕获（“移动”）。

在这里，因为 char 是 Copy 它可以通过引用捕获然后复制到被调用者中。因此闭包会执行此操作，并且您必须告诉它按值捕获（使用 move 关键字）。