当一个不可变的结构体被移到向量中时为什么会变成可变的？

Question

当一个不可变的结构体被移到向量中时为什么会变成可变的？

4

我刚开始学习 Rust，正在了解该语言的可变性规则。我试图弄清楚结构体、对象和数组是否是深度不可变的。

所以我有这个结构体：

struct Foo {
    bar: String,
}

我希望能够了解关于深层可变性的规则。在创建结构体时，必须将其定义为mut，才能对其属性进行更改。

let mut f = Foo{ 
    bar: String::from("hello") 
};

f.bar = String::from("foo"); // Must be mut to change a property
println!("{:?}", f.bar);

然而，当我定义一个不可变结构体并将其移入可变向量中时，该结构体就变成了可变的。

let f = Foo{ 
    bar: String::from("hello") 
};

let mut strings: Vec<Foo> = vec![f];

strings[0].bar = String::from("foo");

println!("{:?}", strings[0].bar);

我猜测 f 被复制到了可变向量中（并从其作用域中删除了？），然后将该副本重新分配为可变的，但我并不确定。

我能否获得一些关于发生了什么的见解？

- David Alsh

1个回答

网页内容由stack overflow 提供, 点击上面的

可以查看英文原文，
原文链接

- Chayim Friedman · Accepted Answer

mut不是值的属性，它是绑定的属性（我特别指的是不可变引用而非可变引用，即只有let mut）。

let v的意思是“我不会尝试通过v直接或间接地更改它包含的值”，

但是一旦它不再在v中（即它已移动），更改它就没问题了。

因此，以下代码可以成功编译：

let v = Foo { bar: String::new() };
let mut mutable_v = v;
mutable_v.bar = "abc".to_owned();

自从我们将值从v中移出，v的可变性就不再相关了。

同样地，自从我们将值从f中移出并放入向量strings中，f的可变性就不再重要了，但strings的可变性很重要，因为我们不通过f而是通过strings改变这个值。