Statements

语句

statements.md
commit: 82517788e162791dad3305a8c8d8d20d49510ad6
本章译文最后维护日期：2024-06-15

^句法
Statement :
      ;
   | Item
   | LetStatement
   | ExpressionStatement
   | MacroInvocationSemi

语句是块(block)¹的一个组件，反过来，块又是其外层表达式或函数的组件。

Rust 有两种语句：声明语句(declaration statements)和表达式语句(expression statements)。

Declaration statements

声明语句

声明语句是在它自己封闭的语句块的内部引入一个或多个名称的语句。 声明的名称可以表示新变量或新的程序项。

这两种声明语句就是程序项声明语句和 let声明语句。

Item declarations

程序项声明语句

程序项声明语句的句法形式与模块中的程序项声明的句法形式相同。 在语句块中声明的程序项会将其作用域限制为包含该语句的块。 这类程序项以及在其内声明子项(sub-items)都没有给定的规范路径。 例外的是，只要程序项和 trait（如果有的话）的可见性允许，在（程序项声明语句内定义的和此程序项或 trait 关联的）实现中定义的关联项在外层作用域内仍然是可访问的。 除了这些区别外，它与在模块中声明的程序项的意义也是相同的。

程序项声明语句不会隐式捕获包含它的函数的泛型参数、参数和局部变量。如下，inner 不能访问 outer_var。

outer_var.

#![allow(unused)]
fn main() {
fn outer() {
  let outer_var = true;

  fn inner() { /* outer_var 的作用域不包括这里 */ }

  inner();
}
}

let statements

let语句

^句法
LetStatement :
   OuterAttribute^* let PatternNoTopAlt ( : Type )^? (= Expression † ( else BlockExpression) ^? ) ^? ;

† 当指定了 else块时， Expression 不能是 LazyBooleanExpression，也不能以 } 结尾。

let语句通过一个不可反驳型模式引入了一组新的变量，变量由该模式给定。模式后面有一个可选的类型标注(annotation)，再后面是一个可选的初始化表达式。当没有给出类型标注时，编译器将自行推断类型，如果没有足够的信息来执行有限次的类型推断，则将触发编译器报错。由变量声明引入的任何变量从声明点到封闭块作用域的结束都是可见的，除非它们被另一个变量声明遮蔽。

let语句使用模式引入了一组新的变量。 模式后面有一个可选的类型标注(annotation)，之后表达式要么直接结束，要么是一个初始化表达式附加一个可选的 else块。 当没有给出类型标注时，编译器将自行推断类型，如果没有足够的信息来执行有限次的类型推断，则将触发报错。 由变量声明引入的任何变量从声明点到封闭块作用域的结束都是可见的，除非它们被另一个变量声明遮蔽。

如果没有 else块存在，那此模式一定是不可反驳的。 如果有 else块存在，那此模式可以是可反驳的。 如果模式没有被匹配上（这种情况需要模式是可反驳的），else块会被执行。 else块的返回必须是发散的（就是被求值为!）。

#![allow(unused)]
fn main() {
let (mut v, w) = (vec![1, 2, 3], 42); // 绑定可以是 mut 或 const
let Some(t) = v.pop() else { // 可反驳模式需要一个 else块
    panic!(); // else块的返回必须时发散的
};
let [u, v] = [v[0], v[1]] else { // 此模式时不可反驳的，所以这里的 else块会被编译器当作冗余给 lint 掉。
    panic!();
};
}

Expression statements

表达式语句

^句法
ExpressionStatement :
      ExpressionWithoutBlock ;
   | ExpressionWithBlock ;^?

表达式语句是对表达式求值并忽略其结果的语句。通常，表达式语句存在的目的是触发对其内部的表达式的求值时的效果。

仅由块表达式或控制流表达式组成的表达式，如果它们在允许使用语句的上下文中使用时，是可以省略其后面的分号的。这有可能会导致解析歧义，因为它可以被解析为独立语句，也可以被解析为另一个表达式的一部分；下例中的控制流表达式被解析为一个语句。注意 ExpressionWithBlock 形式的表达式用作语句时，其类型必须是单元类型(())。

#![allow(unused)]
fn main() {
let mut v = vec![1, 2, 3];
v.pop();          // 忽略从 pop 返回的元素
if v.is_empty() {
    v.push(5);
} else {
    v.remove(0);
}                 // 分号可以省略。
[1];              // 单独的表达式语句，而不是索引表达式。
}

当省略后面的分号时，结果必须是 () 类型。

#![allow(unused)]
fn main() {
// bad: 下面块的类型是i32，而不是 `()` 
// Error: 预期表达式语句的返回值是 `()` 
// if true {
//   1
// }

// good: 下面块的类型是i32，（加`;`后的语句的返回值就是 `()`了）
if true {
  1
} else {
  2
};
}

Attributes on Statements

语句上的属性

语句可以有外部属性。在语句中有意义的属性是 cfg 和 lint检查类属性。