块表达式

block-expr.md
commit: 23672971a16c69ea894bef24992b74912cfe5d25
本章译文最后维护日期：2021-4-5

^句法
BlockExpression :
   {
      InnerAttribute^*
      Statements^?
   }

Statements :
      Statement⁺
   | Statement⁺ ExpressionWithoutBlock
   | ExpressionWithoutBlock

块表达式或块是一个控制流表达式(control flow expression)，同时也是程序项声明和变量声明的匿名空间作用域。作为控制流表达式，块按顺序执行其非程序项声明的语句组件，最后执行可选的最终表达式(final expression)。作为一个匿名空间作用域，在本块内声明的程序项只在块本身围成的作用域内有效，而块内由 let语句声明的变量的作用域为下一条语句到块尾。

块的句法规则为：先是一个 {，后跟内部属性，再后是任意条语句，再后是一个被称为最终操作数（final operand）的可选表达式，最后是一个 }。

语句之间通常需要后跟分号，但有两个例外： 1、程序项声明语句不需要后跟分号。 2、表达式语句通常需要后面的分号，但它的外层表达式是控制流表达式时不需要。

此外，允许在语句之间使用额外的分号，但是这些分号并不影响语义。

在对块表达式进行求值时，除了程序项声明语句外，每个语句都是按顺序执行的。如果给出了块尾的可选的最终操作数(final operand)，则最后会执行它。

块的类型是最此块的最终操作数(final operand)的类型，但如果省略了最终操作数，则块的类型为 ()。

#![allow(unused)]
fn main() {
fn fn_call() {}
let _: () = {
    fn_call();
};

let five: i32 = {
    fn_call();
    5
};

assert_eq!(5, five);
}

注意：作为控制流表达式，如果块表达式是一个表达式语句的外层表达式，则该块表达式的预期类型为 ()，除非该块后面紧跟着一个分号。

块总是值表达式，并会在值表达式上下文中对最后的那个操作数进行求值。

注意：如果确实有需要，块可以用于强制移动值。例如，下面的示例在调用 consume_self 时失败，因为结构体已经在之前的块表达式里被从 s 里移出了。

#![allow(unused)]
fn main() {
struct Struct;

impl Struct {
    fn consume_self(self) {}
    fn borrow_self(&self) {}
}

fn move_by_block_expression() {
    let s = Struct;

    // 将值从块表达式里的 `s` 里移出。
    (&{ s }).borrow_self();

    // 执行失败，因为 `s` 里的值已经被移出。
    s.consume_self();
}
}

`async`块

^句法
AsyncBlockExpression :
async move^? BlockExpression

*异步块(async block)*是求值为 future 的块表达式的一个变体。块的最终表达式（如果存在）决定了 future 的结果值。（译者注：单词 future 对应中文为“未来”。原文可能为了双关的行文效果，经常把作为类型的 future 和字面意义上的 future 经常混用，所以译者基本保留此单词不翻译，特别强调“未来”的意义时也会加上其英文单词。）

执行一个异步块类似于执行一个闭包表达式：它的即时效果是生成并返回一个匿名类型。类似闭包返回的类型实现了一个或多个 std::ops::Fn trait，异步块返回的类型实现了 std::future::Future trait。此类型的实际数据格式规范还未确定下来。

注意： rustc 生成的 future类型大致相当于一个枚举，rustc 为这个 future 的每个 await点生成一个此枚举的变体，其中每个变体都存储了对应点再次恢复执行时需要的数据。

版本差异: 异步块从 Rust 2018 版才开始可用。

#![allow(unused)]
fn main() {
loop {
    async move {
        break; // 这将打破循环。
    }
}
}

非安全(`unsafe`)块

^句法\23672971a16c69ea894bef24992b74912cfe5d25e` 的信息_

可以在代码块前面加上关键字 unsafe 以允许非安全操作。例如：

#![allow(unused)]
fn main() {
在以下上下文中，允许在块表达式的左括号之后直接使用[内部属性][inner attributes]：

* [函数][function]和[方法][method]的代码体。
* 循环体（[`loop`], [`while`], [`while let`], 和 [`for`]）。
* 被用作[语句][statement]的块表达式。
* 块表达式作为[数组表达式][array expressions]、[元组表达式][tuple expressions]、[调用表达式][call expressions]、[元组结构体][struct]表达式和[枚举变体][enum variant]表达式的元素。
* 作为另一个块表达式的尾部表达式(tail expression)的块表达式。
<!-- 本列表需要和 expressions.md 保持同步 -->

在块表达式上有意义的属性有 [`cfg`] 和 [lint检查类属性][the lint check attributes]。

例如，下面这个函数在 unix 平台上返回 `true`，在其他平台上返回 `false`。

```rust
fn is_unix_platform() -> bool {
    #[cfg(unix)] { true }
    #[cfg(not(unix))] { false }
}
}

Rust 参考手册中文版

块表达式

`async`块

捕获方式

异步上下文

控制流操作符

非安全(`unsafe`)块

Rust 参考手册 中文版

块表达式

async块

捕获方式

异步上下文

控制流操作符

非安全(unsafe)块

Rust 参考手册中文版

`async`块

非安全(`unsafe`)块