3.2 Traits（特征） on 编程那些事儿

3.2.1 实现 Trait

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/methods-and-traits/traits/implementing.html

3.2.1 实现 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


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
trait Pet {
 fn talk(&self) -> String;

 fn greet(&self) {
 println!("Oh you're a cutie! What's your name? {}", self.talk());
 }
}

struct Dog {
 name: String,
 age: i8,
}

impl Pet for Dog {
 fn talk(&self) -> String {
 format!("Woof, my name is {}!", self.name)
 }
}

fn main() {
 let fido = Dog { name: String::from("Fido"), age: 5 };
 dbg!(fido.talk());
 fido.greet();
}

要为 Type 实现 Trait，使用 impl Trait for Type { .. } 块。

3.2.2 父 Trait

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/methods-and-traits/traits/supertraits.html

3.2.2 父 Trait

Trait 可以要求实现它的类型也实现其他 trait，称为_父 trait_（supertraits）。这里，任何实现 Pet 的类型都必须实现 Animal。

3.2.3 关联类型

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/methods-and-traits/traits/associated-types.html

3.2.3 关联类型

关联类型（associated types）是由 trait 实现方提供的占位类型。

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


// Copyright 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0
#[derive(Debug)]
struct Meters(i32);
#[derive(Debug)]
struct MetersSquared(i32);

trait Multiply {
 type Output;
 fn multiply(&self, other: &Self) -> Self::Output;
}

impl Multiply for Meters {
 type Output = MetersSquared;
 fn multiply(&self, other: &Self) -> Self::Output {
 MetersSquared(self.0 * other.0)
 }
}

fn main() {
 println!("{:?}", Meters(10).multiply(&Meters(20)));
}

关联类型有时也叫「输出类型」。关键点是：由实现方（而非调用方）选择该类型。