Question

我有一个函数创建一个FnMut闭包，move捕获其中一个参数。我收到编译器错误，因为参数不是mut。我不明白问题出在哪里，因为我move出现了问题，并且闭包实际上并没有使用参数本身。

代码：

pub struct Position {
    pub x: usize,
    pub y: usize,
}

fn map_it(p: Position) -> impl FnMut(usize) -> usize {
    move |param| {
        p.x += 1;
        p.x + p.y + param
    }
}

错误：

error[E0594]: cannot assign to `p.x`, as `p` is not declared as mutable
 --> src/lib.rs:8:9
  |
6 | fn map_it(p: Position) -> impl FnMut(usize) -> usize {
  |           - help: consider changing this to be mutable: `mut p`
7 |     move |param| {
8 |         p.x += 1;
  |         ^^^^^^^^ cannot assign

Answer 1

即使变量p已被移动，您也没有引入新的变量绑定。绑定p不可更改，因此您无法通过p来更改值。

闭包实际上是一个看起来像这样的结构：

struct MyClosure {
    p: Position,
}

impl FnMut<usize, usize> for MyClosure {
    fn call_mut(&mut self, param: usize) -> usize {
        self.p.x += 1;
        self.p.x + p.y + param
    }
}

因此，p 应该在闭包内部是可变的绝对令人信服。

但是，Rust避免直接公开此实现细节。变量p的可变性语义是词法的，就像闭包的主体是外部函数的一部分一样。

您无法做任何事情来使该变量在闭包内部可变。相反，您需要使原始p可变，或在闭包外部引入新的可变绑定。

为什么我不能可变地捕获不可变的变量？

1 个答案: