rust - 是所有权的 "move"还是值(value)的 "copy"?

标签 rust move-semantics

我有一个与 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/

相关文章:

rust - rustfmt 的夜间构建不能在另一台 Windows PC 上运行

c++ - 从 std::vector<std::vector<T>> 中删除任意项目列表

c++ - 调用左值引用构造函数而不是右值引用构造函数

c++ - 为什么 std::forward 不能自己推导模板参数?

c++ - move 赋值运算符和 `if (this != &rhs)`

c++ - C++ 标准对于 move 事件对象存储有何规定?

rust - 如何将 *const 指针转换为 Vec 以正确删除它?

html - 如何使用 Kuchiki 获取 HTML 文档的所有文本(除了 script/style/noscript 标签)?

rust - 这个 `unsafe` 代码是 Rust 中的未定义行为吗?

rust - 使用 Rust 编译器防止忘记调用方法