4 控制流基础 on 编程那些事儿

4.1 块与作用域

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/control-flow-basics/blocks-and-scopes.html

4.1 块与作用域

Rust 中的块（block）是由花括号 {} 括起的一系列表达式。
块中最后一个表达式决定整个块的值和类型。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let z = 13;
 let x = {
 let y = 10;
 dbg!(y);
 z - y
 };
 dbg!(x);
 // dbg!(y);
}

如果最后一个表达式以 ; 结尾，则结果值和类型为 ()。

4.2 `if` 表达式

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/control-flow-basics/if.html

4.2 `if` 表达式

if 表达式的用法与其他语言中的 if 语句完全相同：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let x = 10;
 if x == 0 {
 println!("zero!");
 } else if x < 100 {
 println!("biggish");
 } else {
 println!("huge");
 }
}

此外，你还可以把 if 当作表达式使用。每个分支块的最后一个表达式会成为 if 表达式的值：

4.3 `match` 表达式

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/control-flow-basics/match.html

4.3 `match` 表达式

match 可用于将一个值与一个或多个选项进行匹配：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let val = 1;
 match val {
 1 => println!("one"),
 10 => println!("ten"),
 100 => println!("one hundred"),
 _ => {
 println!("something else");
 }
 }
}

与 if 表达式类似，match 也可以返回值：

4.6 函数

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/control-flow-basics/functions.html

4.6 函数

1
2
3
4
5
6
7
8
9


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn gcd(a: u32, b: u32) -> u32 {
 if b > 0 { gcd(b, a % b) } else { a }
}

fn main() {
 dbg!(gcd(143, 52));
}

声明参数后跟类型（与某些编程语言相反），然后是返回类型。

函数体（或任意块）中的最后一个表达式会成为返回值。只需省略表达式末尾的 ;。return 关键字可用于提前返回，但在函数末尾使用“裸值”形式是惯用写法（可把 gcd 改写成使用 return）。

有些函数没有返回值，返回的是“单元类型”()。若省略返回类型，编译器会推断为该类型。

不支持重载——每个函数只有一种实现。

始终接受固定数量的参数。不支持默认参数。可用宏来支持可变参数函数。

始终接受一组固定的参数类型。这些类型可以是泛型，稍后会介绍。

4.7 宏

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/control-flow-basics/macros.html

4.7 宏

宏在编译期间展开为 Rust 代码，可以接受可变数量的参数。它们以末尾的 ! 区分。Rust 标准库提供了一系列有用的宏。

println!(format, ..) 向标准输出打印一行，并应用 std::fmt 中描述的格式化。
format!(format, ..) 与 println! 类似，但把结果作为字符串返回。
dbg!(expression) 记录表达式的值并返回它。
todo!() 标记某段代码尚未实现。若执行到这里，会 panic。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn factorial(n: u32) -> u32 {
 let mut product = 1;
 for i in 1..=n {
 product *= dbg!(i);
 }
 product
}

fn fizzbuzz(n: u32) -> u32 {
 todo!()
}

fn main() {
 let n = 4;
 println!("{n}! = {}", factorial(n));
}

本节要带走的是：这些常用便利工具存在，以及如何使用它们。它们为何定义为宏、展开成什么，并不是特别关键。

4 控制流基础 on 编程那些事儿

4.1 块与作用域

4.1 块与作用域

4.2 `if` 表达式

4.2 if 表达式

4.3 `match` 表达式

4.3 match 表达式

4.6 函数

4.6 函数

4.7 宏

4.7 宏

4.2 `if` 表达式

4.3 `match` 表达式