所有权转移后的变异变量

如何解决所有权转移后的变异变量

我知道如何让代码工作，我只是想知道为什么会这样。

假设有以下程序：

fn dummy(name: String) {
    let last_name = " Wang".to_string();
    name.push_str(&last_name);
    println!("Hello,{}",name);
}

fn main() {
    println!("What is your name?");
    let mut name = String::new();
    std::io::stdin().read_line(&mut name).expect("Couldn't read input!");
    name.pop();
    dummy(name);
}

尝试编译时出现以下错误：

error[E0596]: cannot borrow `name` as mutable,as it is not declared as mutable
 --> print.rs:3:5
  |
1 | fn dummy(name: String) {
  |          ---- help: consider changing this to be mutable: `mut name`
2 |     let last_name = " Wang".to_string();
3 |     name.push_str(&last_name);
  |     ^^^^ cannot borrow as mutable

error: aborting due to previous error

For more information about this error,try `rustc --explain E0596`.

我知道只需在函数定义中的 mut 旁边添加 name 就可以解决这个问题，但是当变量 name 之前被定义为可变的时，为什么需要在函数定义中将其声明为可变的main 函数内部？

之前编译器难道不应该知道变量是可变的吗？为什么不能同时转移所有权和可变“属性”？

也许这是个愚蠢的问题，但我是 Rust 的新手。如果它表现得如此，它是否会引入一些新问题/错误的可能性？如果有，能举几个例子吗？

解决方法

name 作为参数传递的事实只是一个细节。在这个简化的例子中，我们可以重现相同的效果。

fn main() {
    let mut name1 = "first".to_owned();
    name1.push_str(" second");
    let mut name2 = name1;
    name2.push_str(" third");
    let name3 = name2;
    // name3.push_str(" fourth"); // rejected
    let mut name4 = name3;
    name4.push_str(" fifth");
    println!("{}",name4);
}

字符串的所有权从 name1 变为 name2，name3 然后 name4 并且这些变量（绑定）中的每一个都决定（有或没有 mut ) 如果它现在是唯一拥有者的字符串可以改变。

初始化函数的参数类似于初始化另一个变量（借用/所有权转移/复制...），一旦在函数内部，该参数被视为任何其他局部变量，在此上下文中可能是可变的或不可变的. 如果您打算修改此参数，您可以使用 mut 声明它或将其转移到另一个使用 mut 声明的局部变量。

请注意，我们在这里处理的是值，而不是引用。当然，您不能从 &mut T 初始化 &T。但是在引用前添加 mut（如在 mut &T 或 mut &mut T 中）提供了将此引用重新分配给另一个值的能力（是否考虑可变，取决于正确的 mut ）。如果您熟悉 C 或 C++，这类似于在声明指针时在星号之前或之后（或两侧）使用 const。

简而言之，在变量上使用 mut 是相对于您的意图来修改存储在您算法中此变量中的内容的，但这不是此内容的属性变量。

除了@prog-fh 的回答之外，Rust 的一个重要特性是它允许本地推理。换句话说，当您查看定义时，您应该拥有确定代码是否正确以及它可以做什么或不可以做什么所需的所有信息。在您的情况下，这意味着如何调用 dummy 以及传递什么参数并不重要，它的定义必须能够独立存在。因此，只需查看这部分代码，您就应该能够了解所有相关信息：

fn dummy(name: String) {
    let last_name = " Wang".to_string();
    name.push_str(&last_name);
    println!("Hello,{}",name);
}

这使得在使用其他人编写的函数时可以更轻松地作为一个团队编写代码，或者在您可能不记得最初编写一段代码时的所有细节时长期维护代码。

所有权转移后的变异变量

如何解决所有权转移后的变异变量

解决方法

相关推荐