这是我的最小可复制代码(playground):
struct MyStruct {
my_string: String,
}
fn accepts_string(my_string: String) {
println!("my_string: {}", my_string)
}
fn accepts_struct_reference(my_struct: &MyStruct) {
accepts_string(my_struct.my_string);
}
fn main() {
let my_struct = MyStruct {
my_string: String::from("hi"),
};
accepts_struct_reference(&my_struct);
}
产生:
error[E0507]: cannot move out of `my_struct.my_string` which is behind a shared reference
--> src/main.rs:10:20
|
10 | accepts_string(my_struct.my_string);
| ^^^^^^^^^^^^^^^^^^^ move occurs because `my_struct.my_string` has type `std::string::String`, which does not implement the `Copy` trait
我相信我理解为什么会发生此错误:accepts_string
尝试将字符串从结构中移走。
为什么该引用称为shared
引用?与谁共享?这个形容词是否意味着存在非共享的引用?如果是,它们是什么样的?
答案 0 :(得分:6)
这是区分可变引用和不可变引用的另一种方法。
在Rust中,有一个明显的区别:数据可以是 可共享的(即使当前未共享),或直接可变的,但不能一次全部。这可以通过两种类型的引用来实现:
请注意“直接可变”位。当然,有时可以通过共享引用来修改数据-如果数据本身允许的话;这就是所谓的内部可变性,它基于Cell
或Mutex
之类的多种类型,它们全部在内部使用UnsafeCell
-唯一明确允许进行突变的类型共享参考的后面。
可能在此处找到更多信息:https://limpet.net/mbrubeck/2019/02/07/rust-a-unique-perspective.html