Rust参考手册闭包捕获模式示例编译结论与实际不符咨询

现象说明 #

Rust参考手册闭包捕获模式章节提到：如果闭包直接使用self.vec，会尝试以可变引用捕获self，与已经被借用执行迭代的self.set冲突导致编译失败，但如下代码实际可正常编译通过：

use std::collections::HashSet;

struct SetVec {
    set: HashSet<u32>,
    vec: Vec<u32>
}

impl SetVec {
    fn populate(&mut self) {
        let vec = &mut self.vec;
        self.set.iter().for_each(|&n| {
            vec.push(n);
        })
    }
}

核心原因 #

这个差异来自规则匹配的前提偏差，分两个层面说明：

• 手册描述的编译失败场景有明确约束：闭包内直接访问self.vec，且使用Rust 2018及更早版本的编译规则
  • 2018及更早版本中，闭包对结构体字段的捕获是整结构体粒度的：只要闭包用到结构体的某个可变字段，就会捕获整个结构体的可变引用。此时self.set.iter()已经持有了self.set的共享引用，和闭包需要的&mut self形成同值上可变引用、共享引用同时存在的冲突，确实会编译失败。
• 上述可编译代码本身就规避了手册提到的冲突场景，和Rust版本无关：
  • 代码在闭包定义前，就单独完成了字段级借用：let vec = &mut self.vec;仅可变借用了结构体的vec字段，后续self.set.iter()仅共享借用同结构体的set字段。Rust借用检查天然支持同一结构体不同不相交字段的独立借用，两个借用没有任何冲突。
  • 后续闭包捕获的是外部作用域提前借好的vec可变引用，全程没有在闭包内访问self，根本不会触发对self的捕获，自然不会和set的迭代借用产生冲突。

补充：即便是把代码改成闭包内直接写self.vec.push(n)，在Rust 2021及之后版本也可以正常编译。该版本稳定了闭包不相交捕获特性，闭包会精确捕获实际用到的字段而非整个结构体，此时闭包仅会持有&mut self.vec，和self.set的共享借用属于不同字段的不相交借用，不会触发冲突。

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