所有权入门

在我们能够创建一个列表之后，自然会想用它进行实际操作。我们使用“普通”（非静态）方法来实现这一点。方法在Rust中是一种特殊的函数，它的第一个参数是self，并且没有类型声明：

  1. fn foo(self, arg2: Type2) -> ReturnType {
  2.     // body
  3. }

主要存在3种self可以采用的形式：self, &mut self 和 &self。它们代表了Rust中所有权的三种主要形式：

  • self - 值（value）
  • &mut self - 可变引用（mutable reference）
  • &self - 共享引用（shared reference）

一个值代表了真正的所有权。你可以对值做你想做的任何事：移动它，销毁它，改变它的内容，或者通过一个引用借出它。当你通过值传递东西时，它就被移动到了新的位置。这个新位置现在拥有了这个值，并且老位置不能再访问该值。因此，对于大部分函数我们都不想使用self——如果调用函数让我们无法再访问它，那还真是很糟糕啊。

一个可变引用代表了对你不拥有的一个值的临时唯一访问权。当你拥有一个可变引用时，你被允许做几乎任何想做的事，只要满足该引用过期时，被借用者仍然可以看见合法的值。这意味着你可以完全覆盖这个值。一个有用的特殊情况是把这个值和另外一个做交换——我们会经常使用这一技巧。唯一不能对&mut做的一件事是不加替换的将它的值移出。对于要对self加以修改的方法，&mut self是极好的。

一个共享引用代表对你不拥有的值的临时共享访问。由于访问是共享的，通常改变任何内容是不被允许的。可以把&想作把值丢到博物馆里用于展览。如果我们只想观察self的值，&是很好用的。

晚些我们会见到在一些特殊情况下，允许进行值的修改的规则。这就是为什么共享引用不被称为不可变引用。实际上，可变引用还可以称为唯一引用，但是我们发现在99%的情况下，将可变性和所有权联系起来可以带来正确的直觉。