\"let\" 在 Rust 中做什么？

Question

主要是两个问题：

1. let x = y如何翻译成伪英文/伪代码？
2. if let x = y {} 块如何逐步工作？

   ---

   总是假设让声明一个变量，直到我遇到如果让（下面的代码），然后去谷歌搜索。

   let config_max = Some(3u8);
   if let Some(max) = config_max {
       println!("The maximum is configured to be {}", max);
   } else {
       println!("xyz");
   }
   

   StackOverflow 线程解释说让实际上评估/检查模式.所以我把它理解为 let 只检查模式和值是否匹配，而不是自己声明变量：

   let y = Some(5);
   if let Some(x) = y { doZ(x); }
   // 1. let Some(x) = y -- see if pattern Some(x) matches value y, if yes execute next expression
   // 2. Some(x) = y -- the next expression, assign value of y to "variable Some(x)"
   // if ( 1 and 2 are successful) { execute this }
   

   但是，如果让只用于模式-值匹配/求值，那为什么用在变量声明中呢？ 答：因为它不仅用于模式匹配，而且还需要用于变量声明。

   let y = Some(5);
   if let Some(x) = y { doZ(x); }
   // if -- if
   // let Some(x) = y -- ( if pattern Some(x) matches Some(5), declare variable Some(x) and assign value Some(5) to it ) 
   // doZ(x) -- { execute doZ function and pass x as an argument}
   

   a - 上面的“翻译”是否意味着let Some(x) = Some(5) == let x = 5？如果是，那是怎么发生的？ b - Option<T> 和Enum 类型的重点不是与原始T 不同吗？

   if let x = 5 { doZ(x); } // a
   // Warning: x = 5 is irrefutable, consider using just "let" without "if".
   
   5 == Some(5) // b, false
   

   上面的错误也反驳了if let Some(x) = y中的ifif是一个正则if，寻找一个bool值，之后会运行“{}”里面的代码。但是 let 是一个语句，它不返回 bool 或任何东西，有或没有 if。那么这是否意味着在这种特定情况下if实际上不是if（需要一个布尔值来执行代码），而是一个耗尽的match？如果是，为什么是 if 而不是其他/新关键字？

Answer 1

1. let 本身只是变量赋值（如果模式是无可辩驳的，可能与模式匹配）。
2. if 本身是基于 bool 值的分支
3. if let 不仅仅是 let 和 if 的一些奇怪的混搭，而是一个单独的结构：

   if let 是做什么的？它尝试将值与模式相匹配，并在这样做时将部分值绑定到正在匹配的模式。只有当模式真正匹配成功时，它才会执行 if let 块中的代码：

   let x = 5; // simple variable assignment
   
   let (x, y) = (3, 4); // assignment with pattern matching
   
   if x % 2 == 0 { // only do this code if number is even
     println!("x is even");
   }
   
   // if let to do pattern-matching and assignment, 
   // but where the pattern might potentially not match
   if let Some(x) = function_that_returns_option() {
     println!("The function returned Some(x) with x = {}", x);
   }
   
   // if the function had returned None instead, then nothing would have been printed and nothing would have been assigned to that x.