Rust技术疑问：可变结构体移入闭包后为何可修改？某代码为何能编译？

嘿，这两个问题其实都和Rust闭包的move关键字以及引用类型的所有权细节有关，咱们一个个说清楚～

move闭包的核心作用是把捕获变量的所有权转移到闭包内部，但这绝不代表闭包内部的变量就不能被修改——只要闭包本身拥有这个变量的所有权，并且闭包是可变的（或者你持有闭包的可变引用），就完全有权修改它。

举个直观的例子：

#[derive(Debug)]
struct Abc { x: i32 }

fn main() {
    let mut n = Abc { x: 20 };
    // 闭包本身是mut的，因为我们要修改内部的n
    let mut c = move || {
        n.x = 30; // 闭包现在是n的所有者，有权修改它
        println!("{:?}", n);
    };
    c(); // 输出 Abc { x: 30 }
}

本质上和你自己持有一个mut变量就能修改它是一个逻辑——闭包拿到了所有权，自然拥有对变量的修改权限。

这是一个很容易踩的坑，核心原因是：你没有把move闭包本身赋值给c，而是赋值了一个闭包的不可变引用！

先看你的代码细节：

#[derive(Debug)]
struct Abc { x: i32, }
fn main() {
    let mut n = Abc { x: 20 };
    let c = &move || { println!("{:?}", n); }; // 重点：这里是闭包的不可变引用
    (*c)();
    n.x = 12; // 为什么还能改n？
}

这里的关键逻辑是：

• move关键字是表达闭包想要获取所有权的意愿，但Rust会根据闭包的实际使用场景调整行为。当你把move闭包立即包装成一个不可变引用时，闭包无法真正获取n的所有权——因为不可变引用只能借用变量，不能拿走所有权。
• 再加上你的闭包内部只是打印n（不可变操作），Rust会自动把move的行为降级为不可变借用，而不是真正转移所有权。
• 你可以做个验证：如果在闭包内部尝试修改n，代码会直接编译失败：

let c = &move || { n.x = 30; println!("{:?}", n); }; // 编译错误：无法修改不可变借用的变量

这是因为不可变引用指向的闭包属于Fn类型，只能不可变借用捕获的变量，没有修改权限。

回到你的原始代码：n从始至终都没被真正移入闭包，只是被闭包做了一次临时的不可变借用。当(*c)()执行完，借用就结束了，你仍然拥有n的所有权，自然可以修改它。

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