可变性，可以改变事物的能力，用在Rust中与其它语言有些许不同。可变性的第一方面是它并非默认状态： ~~~ let x = 5; x = 6; // error! ~~~ 我们可以使用`mut`关键字来引入可变性： ~~~ let mut x = 5; x = 6; // no problem! ~~~ 这是一个可变的[变量绑定](http://doc.rust-lang.org/nightly/book/variable-bindings.html)。当一个绑定是可变的，它意味着你可以改变它指向的内容。所以在上面的例子中，`x`的值并没有多大的变化，不过这个绑定从一个`i32`变成了另外一个。 如果你想改变绑定指向的东西（注：原文跟上面一样，有冲突啊。），你将会需要一个[可变引用](http://doc.rust-lang.org/nightly/book/references-and-borrowing.html)： ~~~ let mut x = 5; let y = &mut x; ~~~ `y`是一个（指向）可变引用的不可变绑定，它意味着你不能把`y`与其它变量绑定（`y = &mut z`），不过你可以改变`y`绑定变量的值（`*y = 5`）。一个微妙的区别。 当然，如果你想它们都可变： ~~~ let mut x = 5; let mut y = &mut x; ~~~ 现在`y`可以绑定到另外一个值，并且它引用的值也可以改变。 很重要的一点是`mut`是[模式](http://doc.rust-lang.org/nightly/book/patterns.html)的一部分，所以你可以这样做： ~~~ let (mut x, y) = (5, 6); fn foo(mut x: i32) { ~~~ ## 内部可变性 VS 外部可变性 然而，当我们谈到Rust中什么是“不可变”的时候，它并不意味着它不能被改变：我们说它有“外部可变性”。例如，考虑下[Arc](http://doc.rust-lang.org/nightly/std/sync/struct.Arc.html)： ~~~ use std::sync::Arc; let x = Arc::new(5); let y = x.clone(); ~~~ 当我们调用`clone()`时，`Arc`需要更新引用计数。以为你并未使用任何`mut`，`x`是一个不可变绑定，并且我们也没有取得`&mut 5`或者什么。那么发生了什么呢？ 为了解释这些，我们不得不回到Rust指导哲学的核心，内存安全，和Rust用以保证它的机制，[所有权](http://doc.rust-lang.org/nightly/book/ownership.html)系统，和更具体的[借用](http://doc.rust-lang.org/nightly/book/borrowing.html#The-Rules)： > 你可能有这两种类型借用的其中一个，但不同同时拥有： > > * 0个或N个对一个资源的引用（`&T`） > * 正好1个可变引用（`&mut T`） 因此，这就是是“不可变性”的真正定义：当有两个引用指向同一事物是安全的吗？在`Arc`的情况下，是安全的：改变完全包含在结构自身内部。它并不面向用户。为此，它用`clone()`分配`&T`。如果分配`&mut T`的话，那么，这将会是一个问题。 其它类型，像[std::cell](http://doc.rust-lang.org/nightly/std/cell/)模块中的这一个，则有相反的属性：内部可变性。例如： ~~~ use std::cell::RefCell; let x = RefCell::new(42); let y = x.borrow_mut(); ~~~ `RefCell`使用`borrow_mut()`方法来分配它内部资源的`&mut`引用。这难道不危险吗？如果我们： ~~~ use std::cell::RefCell; let x = RefCell::new(42); let y = x.borrow_mut(); let z = x.borrow_mut(); ~~~ 事实上这会在运行时引起恐慌。这是`RefCell`如何工作的：它在运行时强制使用Rust的借用规则，并且如果有违反就会`panic!`。这让我们绕开了Rust可变性规则的另一方面。让我先讨论一下它。 ## 字段级别可变性（Field-level mutability） 可变性是一个不是借用（`&mut`）就是绑定的属性（`&mut`）。这意味着，例如，你不能拥有一个一些字段可变而一些字段不可变的[结构体](http://doc.rust-lang.org/nightly/book/structs.html)： ~~~ struct Point { x: i32, mut y: i32, // nope } ~~~ 结构体的可变性位于它的绑定上： ~~~ struct Point { x: i32, y: i32, } let mut a = Point { x: 5, y: 6 }; a.x = 10; let b = Point { x: 5, y: 6}; b.x = 10; // error: cannot assign to immutable field `b.x` ~~~ 然而，通过使用`Cell`，你可以模拟字段级别的可变性： ~~~ use std::cell::Cell; struct Point { x: i32, y: Cell<i32>, } let mut point = Point { x: 5, y: Cell::new(6) }; point.y.set(7); println!("y: {:?}", point.y); ~~~ 这会打印`y: Cell { value: 7 }`。我们成功的更新了`y`。