可变性,可以改变东西的能力,与其他语言相比它在 Rust 中有点不同。可变性的第一个方面是它的非默认状态:
let x = 5;
x = 6; // error!
我们可以应用 mut 关键字来介绍可变性:
let mut x = 5;
x = 6; // no problem!
这是一个可变的变量绑定。当一个绑定是可变时,这意味着你可以更改绑定的指向。所以在上面的例子中,不是 x 的值发生变化,而是这个绑定从 i32 更改为其他。
如果你想要更改绑定的指向,你将需要一个可变的引用:
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 是<模式的一部分是非常重要的,你可以这样编写代码:
let (mut x, y) = (5, 6);
fn foo(mut x: i32) {
然而,在 Rust 中当我们说有些东西是‘不变’的,这并不意味着它不可以更改:我们说的是它有‘外部可变性’。考虑如下例子,Arc<T>:
use std::sync::Arc;
let x = Arc::new(5);
let y = x.clone();
当我们调用 clone() 时,Arc<T> 需要更新引用计数。然而我们在这里还没有使用 mut,x 是一个不可变绑定,同时我们没有使用 &mut 5 或者任何东西。所以谁给?
要理解这一点,我们需要回到 Rust 的指导哲学的核心,内存安全,和 Rust 保证的机制,所有权系统,和更具体的,借用:
You may have one or the other of these two kinds of borrows, but not both at the same time:
one or more references (&T) to a resource.
exactly one mutable reference (&mut T)
所以,这就是‘不变’的真正定义:有两个指针指向内容是否安全?在 Arc<T> 的例子中,是的:变化完全包含在内部结构本身中。它不是面向用户的。为此,将 &T 传递给 clone()。但是,如果将 &mut T 传递给 clone(),将会成为一个问题:
其它类型,诸如 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 的不变规则的另一方面。让我们先讲讲吧。
可变性是借用 ( &mut ) 或者绑定 ( let mut ) 的一个属性。这意味着,例如,你不能有一个结构体既有一些字段可变还有一些不可变:
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<T>,你可以模仿字段级可变性:
use std::cell::Cell;
struct Point {
x: i32,
y: Cell<i32>,
}
let point = Point { x: 5, y: Cell::new(6) };
point.y.set(7);
println!("y: {:?}", point.y);
以上代码将打印 y: Cell { value: 7 }。我们已经成功更新 y。