Rust move语义：闭包捕获值后作用域访问报错原因咨询

• move是闭包的捕获模式修饰符，核心作用是强制闭包获取其使用的环境变量的所有权，覆盖Rust默认的优先借用捕获的规则。
• move的捕获行为遵循Rust通用所有权规则：如果闭包捕获的变量类型实现了Copy特征，捕获时会复制一份值，原变量在作用域内仍可正常使用；如果类型未实现Copy，变量所有权会直接转移到闭包中，原变量在所有权转移后无法再被访问。
• move只会捕获闭包体内实际引用到的环境变量，闭包没用到的变量不会受影响。

你观察到的"外层counter可用、循环内取消注释就报错"的现象，核心原因是变量遮蔽（Shadowing），和move的规则本身没有冲突：

1. 代码最外层let counter = Arc::new(Mutex::new(0));定义的counter作用域覆盖整个main函数，这个变量的所有权始终没有被转移到任何线程闭包中。
2. 循环体内的let counter = Arc::clone(&counter);是在每次循环迭代的局部作用域内，定义了一个和外层同名的新变量，这行代码基于外层counter克隆出一个新的Arc实例（引用计数+1），从这行开始，循环块内访问的counter都是这个新的局部变量，外层的同名变量被暂时遮蔽。
3. 后续thread::spawn(move || { ... })的闭包，实际捕获的是循环迭代内的这个局部counter，move关键字会把这个局部变量的所有权转移到spawn出的线程闭包中。

报错与正常运行的原因 #

你取消注释的Inter counter打印行位于循环块内、thread::spawn调用之后，这里访问的是已经被移动进闭包的循环局部counter。由于Arc没有实现Copy特征，所有权转移后局部counter已经失效，因此编译器抛出E0382所有权转移错误，完全符合规则。

循环外的Outer counter打印访问的是最外层定义的原始counter，这个变量从来没有被任何闭包捕获、移动过——所有闭包拿走的都是每次循环克隆出来的局部Arc实例，因此外层counter的所有权始终留在main作用域中，自然可以正常访问。

你可以做个简单验证：把循环内的克隆变量改个名字，比如写成let counter_clone = Arc::clone(&counter);，闭包内统一使用counter_clone，此时代码逻辑完全不变，但你会发现哪怕在thread::spawn之后打印循环内的counter（也就是外层的原始变量）也不会报错，因为闭包从始至终都没有捕获过外层的原始counter。

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