Rust 元组类型详解 - 来自 rust-by-practice 的实践指南-优快云博客

Rust 元组类型详解 - 来自 rust-by-practice 的实践指南

rust-by-practice Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects. 项目地址: https://gitcode.com/gh_mirrors/ru/rust-by-practice

元组基础概念

元组(Tuple)是 Rust 中一种复合数据类型，它允许你将多个不同类型的值组合成一个复合值。与数组不同，元组的元素可以是不同类型，这使得它在需要临时组合不同类型数据时非常有用。

元组类型签名

元组的类型签名格式为 (T1, T2, ...)，其中 T1、T2 等是元组成员的类型。例如：

let _t0: (u8, i16) = (0, -1);  // 包含 u8 和 i16 类型的元组

嵌套元组

元组可以包含其他元组作为成员，形成嵌套结构：

let _t1: (u8, (i16, u32)) = (0, (-1, 1));  // 第二个元素本身是一个元组

元组操作实践

1. 元组成员访问

可以通过索引 .n 来访问元组的第 n 个元素（从 0 开始）：

let t = ("i", "am", "sunface");
assert_eq!(t.1, "am");  // 访问第二个元素

2. 元组打印限制

Rust 标准库默认只支持打印最多 12 个元素的元组。超过这个长度的元组需要特殊处理：

let too_long_tuple = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12);  // 12个元素可以打印
// let too_long_tuple = (1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13);  // 13个元素会报错
println!("tuple: {:?}", too_long_tuple);

3. 元组解构

Rust 支持通过模式匹配解构元组，这是一种非常强大的特性：

let tup = (1, 6.4, "hello");
let (x, y, z) = tup;  // 解构元组到三个变量

assert_eq!(x, 1);
assert_eq!(y, 6.4);
assert_eq!(z, "hello");

4. 解构赋值

可以在声明变量后使用解构赋值：

let (x, y, z);
(y, z, x) = (1, 2, 3);  // 注意赋值的顺序

assert_eq!(x, 3);
assert_eq!(y, 1);
assert_eq!(z, 2);

5. 元组作为函数参数和返回值

元组非常适合作为函数参数和返回值，特别是在需要返回多个值时：

fn sum_multiply(nums: (i32, i32)) -> (i32, i32) {
    (nums.0 + nums.1, nums.0 * nums.1)  // 返回和与积
}

fn main() {
    let (sum, product) = sum_multiply((2, 3));  // 解构返回值
    assert_eq!(sum, 5);
    assert_eq!(product, 6);
}