4 标准库 Trait on 编程那些事儿

4.1 比较

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/std-traits/comparisons.html

4.1 比较

这些 trait 支持值之间的比较。若类型的字段都实现了这些 trait，则可为该类型派生它们。

`PartialEq` 与 `Eq`

PartialEq 是偏等价关系，必需方法是 eq，并提供方法 ne。== 与 != 运算符会调用这些方法。

4.2 运算符

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/std-traits/operators.html

4.2 运算符

运算符重载通过 std::ops 中的 trait 实现：

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


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
#[derive(Debug, Copy, Clone)]
struct Point {
 x: i32,
 y: i32,
}

impl std::ops::Add for Point {
 type Output = Self;

 fn add(self, other: Self) -> Self {
 Self { x: self.x + other.x, y: self.y + other.y }
 }
}

fn main() {
 let p1 = Point { x: 10, y: 20 };
 let p2 = Point { x: 100, y: 200 };
 println!("{p1:?} + {p2:?} = {:?}", p1 + p2);
}

讨论点：

4.3 `From` 与 `Into`

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/std-traits/from-and-into.html

4.3 `From` 与 `Into`

类型实现 From 与 Into 以便于类型转换。与 as 不同，这些 trait 对应无损、不可失败的转换。

1
2
3
4
5
6
7
8
9


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let s = String::from("hello");
 let addr = std::net::Ipv4Addr::from([127, 0, 0, 1]);
 let one = i16::from(true);
 let bigger = i32::from(123_i16);
 println!("{s}, {addr}, {one}, {bigger}");
}

实现了 From 时，会自动实现 Into：

4.4 强制转换

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/std-traits/casting.html

4.4 强制转换

Rust 没有_隐式_类型转换，但支持用 as 做显式强制转换。在 C 语义有定义的地方，它们通常遵循 C 语义。

1
2
3
4
5
6
7
8


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let value: i64 = 1000;
 println!("as u16: {}", value as u16);
 println!("as i16: {}", value as i16);
 println!("as u8: {}", value as u8);
}

as 的结果在 Rust 中_总是_有定义，且跨平台一致。这可能与你对改符号或转到更小类型的直觉不符——请查阅文档，并加注释说明意图。

4.5 `Read` 与 `Write`

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/std-traits/read-and-write.html

4.5 `Read` 与 `Write`

使用 Read 与 BufRead，可以对 u8 源做抽象：

 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
use std::io::{BufRead, BufReader, Read, Result};

fn count_lines<R: Read>(reader: R) -> usize {
 let buf_reader = BufReader::new(reader);
 buf_reader.lines().count()
}

fn main() -> Result<()> {
 let slice: &[u8] = b"foo\nbar\nbaz\n";
 println!("lines in slice: {}", count_lines(slice));

 let file = std::fs::File::open(std::env::current_exe()?)?;
 println!("lines in file: {}", count_lines(file));
 Ok(())
}

类似地，Write 让你对 u8 汇点做抽象：

4.6 `Default` 与结构体更新语法

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/std-traits/default.html

4.6 `Default` 与结构体更新语法

Default trait 为类型产生一个默认值。

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29


// Copyright 2023 Google LLC
// SPDX-License-Identifier: Apache-2.0
#[derive(Debug, Default)]
struct Derived {
 x: u32,
 y: String,
 z: Implemented,
}

#[derive(Debug)]
struct Implemented(String);

impl Default for Implemented {
 fn default() -> Self {
 Self("John Smith".into())
 }
}

fn main() {
 let default_struct = Derived::default();
 dbg!(default_struct);

 let almost_default_struct =
 Derived { y: "Y is set!".into(), ..Derived::default() };
 dbg!(almost_default_struct);

 let nothing: Option<Derived> = None;
 dbg!(nothing.unwrap_or_default());
}

可以直接实现，也可以通过 #[derive(Default)] 派生。

派生实现会生成所有字段都设为其默认值的值。

这意味着结构体中的所有类型也都必须实现 Default。

标准 Rust 类型通常以实现合理值（例如 0、"" 等）的方式实现 Default。

部分结构体初始化与 default 配合得很好。

Rust 标准库知道类型可以实现 Default，并提供使用它的便捷方法。

.. 语法称为结构体更新语法。

4 标准库 Trait on 编程那些事儿

4.1 比较

4.1 比较

PartialEq 与 Eq

4.2 运算符

4.2 运算符

4.3 `From` 与 `Into`

4.3 From 与 Into

4.4 强制转换

4.4 强制转换

4.5 `Read` 与 `Write`

4.5 Read 与 Write

4.6 `Default` 与结构体更新语法

4.6 Default 与结构体更新语法

`PartialEq` 与 `Eq`

4.3 `From` 与 `Into`

4.5 `Read` 与 `Write`

4.6 `Default` 与结构体更新语法