通过不可变引用传递给函数的可变引用,如何处理?
在第一个示例中,它是否试图将可变引用
struct Foo { i: i32 }
struct Bar<'b> {
f: &'b mut Foo
}
impl<'a: 'b, 'b> Bar<'b> {
fn func(&'a self) -> &'b mut Foo {
self.f
}
}
fn main() {
let mut foo = Foo { i: 1 };
let bar = Bar { f: &mut foo };
bar.func();
}
会给出以下错误:
error[E0389]: cannot borrow data mutably in a `&` reference
--> src/main.rs:9:14
|
8 | fn func(&'a self) -> &'b mut Foo {
| -------- use `&'a mut self` here to make mutable
9 | self.f
| ^^^^^^ assignment into an immutable reference
我(有点)理解编译器在这里试图防止什么。但是我对错误信息“assignment into an immutable reference”感到困惑。究竟是将什么赋值给了self(或者是self.f内部)?
我写了以下代码模拟这个问题,并得到了相同的错误信息,与上面的不同,我能够理解。以下是代码:
fn main() {
let mut foo = Foo { i: 1 };
let bar = Bar { f: &mut foo };
let pbar = &bar;
pbar.f.i = 2; // assignment into an immutable reference
}
在第一个示例中,它是否试图将可变引用
f
从self
移出(因为&mut
不是Copy
类型),将其视为在不可变引用self
内的突变,因此出现错误消息assignment into an immutable reference
?