元组

元组是一个可以包含各种类型的组合。元组使用括号 () 来构成，每个元组的值都是 (T1, T2, ...)
类型标记的形式，其中 T1,T2 是每个元素的类型。函数可以使用元组来返回多个值，因为元组可以
拥有任意数量的值。

  1. // 元组可以充当函数的参数和返回值
  2. fn reverse(pair: (i32, bool)) -> (bool, i32) {
  3.     // 可以使用 `let` 来绑定元组的各个变量
  4.     let (integer, boolean) = pair;
  6.     (boolean, integer)
  7. }
  9. // 在“动手试一试”的练习中要用到下面这个结构体。
  10. #[derive(Debug)]
  11. struct Matrix(f32, f32, f32, f32);
  13. fn main() {
  14.     // 包含各种不同类型的元组
  15.     let long_tuple = (1u8, 2u16, 3u32, 4u64,
  16.                       -1i8, -2i16, -3i32, -4i64,
  17.                       0.1f32, 0.2f64,
  18.                       'a', true);
  20.     // 通过元组的索引来访问具体的值
  21.     println!("long tuple first value: {}", long_tuple.0);
  22.     println!("long tuple second value: {}", long_tuple.1);
  24.     // 元组也可以充当元组的元素
  25.     let tuple_of_tuples = ((1u8, 2u16, 2u32), (4u64, -1i8), -2i16);
  27.     // 元组可以打印
  28.     println!("tuple of tuples: {:?}", tuple_of_tuples);
  30.     let pair = (1, true);
  31.     println!("pair is {:?}", pair);
  33.     println!("the reversed pair is {:?}", reverse(pair));
  35.     // 创建单元素元组需要一个额外的逗号，这是为了和括号包含的普通数据作区分。
  36.     println!("one element tuple: {:?}", (5u32,));
  37.     println!("just an integer: {:?}", (5u32));
  39.     // 解构元组，将值赋给创建的绑定变量
  40.     let tuple = (1, "hello", 4.5, true);
  42.     let (a, b, c, d) = tuple;
  43.     println!("{:?}, {:?}, {:?}, {:?}", a, b, c, d);
  45.     let matrix = Matrix(1.1, 1.2, 2.1, 2.2);
  46.     println!("{:?}", matrix)
  48. }

动手试一试

  1. 重新试一下：在上面的例子中给 Matrix 结构体 加上 fmt::Display trait，让你能够将
    打印调试格式 {:?} 切换成一般显示格式 {}，得到如下的输出：
    1. ( 1.1 1.2 )
    2. ( 2.1 2.2 )
    可以回顾之前学过的例子 打印显示。
  2. 以 reverse 函数作为样本，添加一个 transpose 函数，使它可以接受一个 Matrix 的参数，并
    返回一个两个元素元素交换后 Matrix。举个例子：
    1. println!("Matrix:\n{}", matrix);
    2. println!("Transpose:\n{}", transpose(matrix));
    输出结果：
    1. Matrix:
    2. ( 1.1 1.2 )
    3. ( 2.1 2.2 )
    4. Transpose:
    5. ( 1.1 2.1 )
    6. ( 1.2 2.2 )