4.2 元组结构体

02-元组结构体 — Comprehensive Rust

  1分钟内可阅读完  

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/user-defined-types/tuple-structs.html

4.2 元组结构体

若字段名不重要，可以使用元组结构体（tuple struct）：

1
2
3
4
5
6
7
8

// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
struct Point(i32, i32);

fn main() {
    let p = Point(17, 23);
    println!("({}, {})", p.0, p.1);
}

这常用于单字段包装类型（称为 newtype）：

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

// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
struct PoundsOfForce(f64);
struct Newtons(f64);

fn compute_thruster_force() -> PoundsOfForce {
    todo!("Ask a rocket scientist at NASA")
}

fn set_thruster_force(force: Newtons) {
    // ……
}

fn main() {
    let force = compute_thruster_force();
    set_thruster_force(force);
}
  • Newtype 是在原始类型上编码额外信息的好方法，例如：
    • 数值带有单位：上例中的 Newtons。
    • 值在创建时已通过校验，后续使用不必再反复验证：如 PhoneNumber(String) 或 OddNumber(u32)。
  • Newtype 模式在 「地道 Rust」模块 中有更详细的讲解。
  • 演示如何通过访问 newtype 中的唯一字段，把一个 f64 加到 Newtons 类型上。
    • Rust 一般避免隐式转换，例如自动解包，或把布尔值当作整数。
  • 当元组结构体没有字段时，可以省略 ()。结果是零大小类型（ZST, zero-sized type），该类型只有一个值（即类型名本身）。
    • 这常见于实现某种行为但不携带数据的类型（例如总是返回 EOF 的 NullReader）。
  • 本例隐约呼应 火星气候轨道器 事故。
最后修改 August 11, 2026: 更新 (70a5af133)