我有一个与 Rust 中的 move 语义相关的问题。 据我了解,Rust 中的“mut”关键字是使一些变量 可变的,即可变变量可以再次绑定(bind)到另一个值;然而,这种可变性仅适用于绑定(bind)。所以,如果我真的想改变变量的值,那么我应该像这样使用“&mut”关键字:
let mut two = 2;
let t = &mut two;
*t += 1;// update the value of two, not only bind t to another values
print!("{}", t); // here, t is 3
然而,在使用结构的情况下,它似乎不是这样的。
这是一个示例代码 ( https://doc.rust-lang.org/book/ch05-01-defining-structs.html ):
let mut user1 = User {
email: String::from("someone@example.com"),
username: String::from("someusername123"),
active: true,
sign_in_count: 1,
};
user1.email = String::from("anotheremail@example.com");
为什么我可以重写user1的“email”字段? 不像是重新绑定(bind)user1。
最佳答案
我认为您的问题源于对 mut
作为关键字的小混淆,类比可能会有所帮助。
假设我拥有一辆汽车。其实我们先来定义一下汽车是什么:
pub struct Car {
fuel: usize,
pub color: String,
pub wheel_count: u8
}
可变定义
让我们定义我的车
let mut my_car:Car = Car { fuel: 100, color: "Green".to_string(), wheel_count: 4 };
这是我的车。我已将其定义为可变实体 (let mut
),因此如果我愿意,我可以为它加油并将其变为蓝色
my_car.fuel += 20;
my_car.color = "Blue".to_string();
这取决于变量本身的定义。如果我只是让
我的车,我将无法做到这一点。用 let mut
分配一个变量表明它可以被修改,跨所有字段,由拥有以下之一的任何人:
- 拥有的对象
- 对其进行可变借用
引用/借用
然后我决定去加油站加油。我把车借给服务员,让他们帮我做:
pub fn lend_car_to_attendant(target_car: &mut Car) {
target_car.fuel += 20;
}
如果他愿意,他可以开车去油漆店更改汽车的颜色,因为整辆车暂时是他的。还值得注意的是,虽然他有车,但我不能用它做任何事。我把它借给他了,在他归还借用
之前,它就是他的。
当然,现在,除了他拥有汽车的时间之外,任何人都可以偷看我的汽车并欣赏它的颜色(或它的车轮数量)。 my_car
的所有公共(public)属性都可以由任何具有不可变借用的人公开检查。
然后我决定尝试另一个加油站,结果证明这是非常不诚实的:
pub fn lend_car_to_naughty_attendant(target_car: &mut Car) {
target_car.fuel += 20;
lend_car_to_paint_shop(target_car);
}
pub fn lend_car_to_paint_shop(target_car: &mut Car) {
target_car.color = "Bubblegum Pink".to_string();
}
我的车回来了泡泡糖粉色!
如果有人看管汽车,我们本可以避免这种情况。如果我们给某人一个不可变的借用给 &my_car
,然后尝试再次去那个糟糕的加油站,程序将根本无法编译 (example here)
关于rust - 是所有权的 "move"还是值(value)的 "copy"?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57840075/