元组

Rust 元组知识点总结

一、元组的基本概念

• 复合类型：元组由多种类型组合而成，属于复合类型。 • 固定性： • 长度固定：元组长度在声明时确定，不可动态增减。 • 顺序固定：元素的顺序与声明时一致，不可修改。 • 元素类型：可包含不同类型的元素（如 (i32, f64, u8)）。

二、元组的创建语法

• 声明方式：使用小括号 () 包裹元素，类型标注可选。

let tup: (i32, f64, u8) = (500, 6.4, 1); // 显式类型标注
let tup = (500, 6.4, 1);                // 隐式类型推断

三、元组元素的访问

1. 模式匹配解构（Destructuring）
   • 通过 let (x, y, z) 语法将元组元素绑定到变量。 • 示例：

   let tup = (500, 6.4, 1);
   let (x, y, z) = tup;
   println!("y = {}", y); // 输出：y = 6.4
   

2. 点号索引（Dot Notation）
   • 通过 .index 直接访问元素（索引从 0 开始）。 • 示例：

   let x: (i32, f64, u8) = (500, 6.4, 1);
   let five_hundred = x.0;   // 500
   let six_point_four = x.1; // 6.4
   

四、元组在函数返回值中的应用

• 多返回值场景：元组常用于函数返回多个值。

fn calculate_length(s: String) -> (String, usize) {
    let length = s.len();
    (s, length) // 返回元组（所有权转移）
}

fn main() {
    let s1 = String::from("hello");
    let (s2, len) = calculate_length(s1);
    println!("字符串 '{}' 的长度为 {}", s2, len);
}

• 所有权机制：函数返回元组时，若包含 String 类型，所有权会转移给接收变量（如 s2）。

五、元组的使用场景与限制

1. 适用场景： • 临时组合少量不同类型的值。 • 函数返回多个值。 • 作为轻量级数据结构（但可读性较差）。

2. 局限性： • 元素无命名：元组元素通过位置访问，缺乏语义化（如 (10, 20, 30) 难以表达三维点坐标）。 • 替代方案：使用元组结构体（如 struct Point(i32, i32, i32);）提升可读性。

总结

元组是 Rust 中灵活且轻量的复合类型，适用于组合少量不同类型的数据和函数多返回值场景。通过模式匹配或索引访问元素，但在需要语义化时建议使用元组结构体。