rust - 获得对不可变变量的可变引用？

Question

这是代码，因为a被声明为不可变的，所以我们无法从a获得可变引用，对吗？但是这个已经编译了，为什么呢？

struct Foo;

fn main() {
    let a = &mut Foo;
    a.mut_ref();
}

impl Foo {
    fn mut_ref(&mut self) { }
}

code-link

Answer 1

变量a的类型是&mut Foo，即a本身是对Foo对象的可变引用。更改a意味着使其指向另一个Foo对象。由于a本身是不可变的，因此您无法更改a指向的内容，并且您的代码也不会以任何方式对此进行反驳。
您的代码只是将&mut Foo作为self参数传递给mut_ref() –请注意，self的类型也是&mut Foo。不会进行自动取消引用– a已经具有与self参数对应的类型。但是，这里我们是triggering an implicit reborrow，因此调用等效于Foo::mut_ref(&mut *a)。但是，这种隐式重借并不是使代码正常工作的原因-将可变引用移出a也将是完全允许的。
尽管a作为变量是不可变的，但它仍然是可变的引用，因此您可以对它指向的Foo对象进行突变(假设Foo具有任何要突变的状态)。您无法获得对a的可变引用，该引用需要具有&mut &mut Foo类型。