错误“表达式的左手无效”是什么意思？

Question

我编写这段代码是为了看看当我将两个字符串传递给一个函数并再次返回它们时会发生什么：

fn main() {
    let mut s3 = String::from("hello");
    let mut s4 = String::from("wolrd");

    (s3, s4) = take_n_giveback(s3, s4);

    println!("{0} and {1}", s3, s4);
}

fn take_n_giveback(x: String, y: String) -> (String, String) {
    (x, y)
}

我收到一个无用的错误：

error[E0070]: invalid left-hand side expression
 --> src/main.rs:5:5
  |
5 |     (s3, s4) = take_n_giveback(s3, s4);
  |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ left-hand of expression not valid

此操作在传递单个字符串并返回时工作正常。

fn main() {
    let mut s3 = String::from("hello");
    s3 = take_n_giveback(s3);
    println!("{0} ", s3);
}

fn take_n_giveback(x: String) -> (String) {
    x
}

这里有什么问题？错误是什么意思，在代码中会遇到什么情况？

Answer 1

let ... = ... // or let mut

是一个绑定：它创建新变量。

... = ...

（没有let）是一个赋值：它改变已经绑定的变量（或其部分）的值。有关此差异的更多说明，请参阅What's the semantic of assignment in Rust?。

绑定的左手必须是模式；赋值的左边必须是 place 表达式（以前称为左值）。如https://doc.rust-lang.org/reference/expressions.html#place-expressions-and-value-expressions

中所述

位置表达式是表示内存位置的表达式。这些表达式是引用局部变量、静态变量、取消引用 (*expr)、数组索引表达式 (expr[expr])、字段引用 (expr.f) 和带括号的位置表达式的路径。所有其他表达式都是值表达式。

(s3, s4) 是一个模式，但它不是一个位置表达式，因为它不是上述之一；它不代表一个固定的内存位置。

此操作在传递单个字符串并返回时工作正常。

变量名称，如s3，既可以用作模式，也可以用作位置表达式。但有不同的含义！在作业中使用时

let mut s3 = String::from("hello");
s3 = take_n_giveback(s3);

它代表let mut s3声明的变量的位置，所以只有一个变量；但是在

let mut s3 = String::from("hello");
let s3 = take_n_giveback(s3);

它创建了一个名为s3 的新变量，因此有两个不同的变量恰好具有相同的名称。这就是为什么即使第一个不是 mut 也能正常工作的原因。

Answer 2

您缺少let 关键字；它应该是一个变量或一个 let 语句：

let (s3, s4) = take_n_giveback(s3, s4);

Answer 3

fn main() {
    let s3 = String::from("hello");
    let s4 = String::from("wolrd");

    let (s3, s4) = take_n_giveback(s3, s4);

    println!("{0} and {1}", s3, s4);
}

fn take_n_giveback(x: String, y: String) -> (String, String) {
    (x, y)
}