所有权入门

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

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

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

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

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

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

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

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

results matching ""

    No results matching ""