为什么让表达式使用赋值运算符而不是相等运算符？

Question

我试图用if-let表达来概括我的大脑。我知道它的作用，但我找不到一些细节背后的基本原理。

第一个细节是赋值运算符而不是相等运算符的使用，第二个细节是操作数的位置。

例如：

let a = Some(5);

if let Some(i) = a {
    println!("Hello, {}!", i);
}

在我看来，这样更“清晰”：

if let Some(i) == a {
    println!("Hello, {}!", i);
}

或者更好：

if let a == Some(i) {
    println!("Hello, {}!", i);
}

有人能帮我理解这背后的原理吗？

Answer 1

Rust语法是

let Some(i) = a

因为我们正在创建一个新变量i，并用a中的包装值初始化它。运算符=用于创建新变量。左手边有一个图案，右手边有一个表达式。模式中左侧的所有变量都会根据右侧表达式中的相应值进行初始化。

比较运算符==在这里没有意义。说

let Some(i) == a

似乎返回了这个表达式

let Some(i)

等于表达式

a

当使用==时，您希望左侧和右侧是完整的表达式，它们已经有值，然后您返回它们是否相等。但这不是我们在if-let中所做的。当我们使用if-let时，我们正在创建一个新变量。==只有当它两边的表达式都可以计算时才有意义。

类似地，表达式

let a == Some(i)

很奇怪，因为a已经存在。我们当然不会创建一个新的变量a。反对使用==的相同论点适用于之前，因为i尚不存在。

总之，我们在创建新变量时使用=，在测试表达式的相等性时使用=（如果表达式中有变量，则此类变量必须已经存在）。