为什么引用称为“共享”?

时间:2019-11-19 07:58:32

标签: reference rust terminology

这是我的最小可复制代码(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引用?与谁共享?这个形容词是否意味着存在非共享的引用?如果是,它们是什么样的?

1 个答案:

答案 0 :(得分:6)

这是区分可变引用和不可变引用的另一种方法。

在Rust中,有一个明显的区别:数据可以是 可共享的(即使当前未共享),直接可变的,但不能一次全部。这可以通过两种类型的引用来实现:

  • 共享不可变的那些,可以复制但不能用于直接变异数据;
  • 唯一可变的那些,不能被复制(如果您以某种方式执行,则为UB),但可以用来对数据进行突变。 / li>

请注意“直接可变”位。当然,有时可以通过共享引用来修改数据-如果数据本身允许的话;这就是所谓的内部可变性,它基于CellMutex之类的多种类型,它们全部在内部使用UnsafeCell-唯一明确允许进行突变的类型共享参考的后面。

可能在此处找到更多信息:https://limpet.net/mbrubeck/2019/02/07/rust-a-unique-perspective.html