2 元组与数组 on 编程那些事儿

2.1 数组

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/tuples-and-arrays/arrays.html

2.1 数组

1
2
3
4
5
6
7


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let mut a: [i8; 5] = [5, 4, 3, 2, 1];
 a[2] = 0;
 println!("a: {a:?}");
}

数组也可以用简写语法初始化，例如 [0; 1024]。当你希望所有元素设为同一值，或数组很大、手工初始化不便时，这很有用。

2.2 元组

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/tuples-and-arrays/tuples.html

2.2 元组

1
2
3
4
5
6
7


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let t: (i8, bool) = (7, true);
 dbg!(t.0);
 dbg!(t.1);
}

与数组一样，元组长度固定。

元组把不同类型的值组合成一个复合类型。

2.3 数组迭代

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/tuples-and-arrays/iteration.html

2.3 数组迭代

for 语句支持遍历数组（但不支持元组）。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let primes = [2, 3, 5, 7, 11, 13, 17, 19];
 for prime in primes {
 for i in 2..prime {
 assert_ne!(prime % i, 0);
 }
 }
}

该功能依赖 IntoIterator trait，但我们尚未讲到。

2.4 模式与解构

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/tuples-and-arrays/destructuring.html

2.4 模式与解构

Rust 支持用模式匹配把元组这类较大的值解构为各个组成部分：

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


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn check_order(tuple: (i32, i32, i32)) -> bool {
 let (left, middle, right) = tuple;
 left < middle && middle < right
}

fn main() {
 let tuple = (1, 5, 3);
 println!(
 "{tuple:?}: {}",
 if check_order(tuple) { "ordered" } else { "unordered" }
 );
}

这里用到的模式是“不可失败的”（irrefutable），意味着编译器能静态验证 = 右侧值的结构与模式一致。

变量名本身就是总能匹配任意值的不可失败模式，因此也可以用 let 声明单个变量。

Rust 还支持在条件中使用模式，从而同时完成相等比较与解构。这种模式匹配稍后会更详细讨论。

修改上面的例子，观察当模式与被匹配的值不匹配时编译器给出的错误。