compiler/pitfalls/multiple-mutable-references

[giscus[bot]]

compiler/pitfalls/multiple-mutable-references

https://course.rs/compiler/pitfalls/multiple-mutable-references.html

[hangj]

最后这个闭包中的例子 目前不会报错

[soloist-v]

#![allow(unused)]
fn main() {
fn increase_a (&mut self) {
    self.a += 1;
}

fn increase(&mut self) {
    let b = &mut self.b;
    self.increase_a();
    *b += 1;
}
}

为什么不行？
因为关联函数increase_a参数是&mut self，在这个函数中是可以继续访问借用任何成员的，显然成员b已经借用出去了，在生命结束之前是不能再借用的，因此编译器说借用了两次是没问题的。可以看到借用也分级，a，b同级，互不影响，a、b和self是有交集的，有交集权限就有交集。

1. 在任意给定时间，要么 只能有一个可变引用，要么 只能有多个不可变引用。
2. 引用必须总是有效的。

[zdl361]

struct Test {
    a : u32,
    b : u32
}

impl Test {

    fn func_1 (&mut self) {
        self.a+=1;
		}
	fn func_2(&mut self){
		self.b+=1;
		}
	fn func_3(&mut self){
		self.a+=1;self.b+=1;
		}
    fn increase(&mut self) {
        let b = &mut self.b;
		self.func_1();
		self.func_2();
        self.func_3();
        *b += 1;
    }
}

上例中编译器在编译increase函数时，increase函数调用了func_1,func_2,func_3()这三个函数,这三个函数的签名完全相同：fun(&mut Test);。
她们的细节不同，分别操作了a、b、a和b。

1. increase函数的编译过程中，编译器并不会去理会被调用函数的细节，并不会去分析被调用函数的源代码，因为这些函数可能来自一个二进制rust lib，或者是个二进制c lib，根本就没有源代码。
2. 当编译self.func_1();时
   编译器能做的仅仅是根据函数的签名
   fun(&mut Test);去生成“将参数表入栈、函数跳转”的二进制码，被调用函数的指针的值在编译阶段也是未知的，此时仅仅是留下一个func_1的标记符。直至链接器链接时，才会填入所有被静态链接函数的函数地址。以上编译过程C/C++也是一样的。
3. 编译器不需要，也不能够获取被调用的函数细节。言外之意，在函数签名中的引用是会客观发生的：func_1,func_2,func_3的函数签名都一样：fun(&mut Test);。self.func_1();self.func_2();self.func_3();在调用时都会产生对& mut self的完整引用，编译器无法去理会函数的细节。

综上所述：

fn increase(&mut self) {
    let b = &mut self.b;
    self.increase_a();
    *b += 1;
}
}

let b = &mut self.b;只生成了对self.b元素的可变引用
self.increase_a();生成了对self的可变引用，和元素b被可变借用了2次。