3.3 扩展 Trait on 编程那些事儿

3.3.1 扩展外来类型

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/extension-traits/extending-foreign-types.html

3.3.1 扩展外来类型

扩展 trait（extension trait）是本地定义的 trait，其主要目的是给外来类型附加新方法。

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


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
mod ext {
 pub trait StrExt {
 fn is_palindrome(&self) -> bool;
 }

 impl StrExt for str {
 fn is_palindrome(&self) -> bool {
 self.chars().eq(self.chars().rev())
 }
 }
}

fn main() {
 // 将扩展 trait 引入作用域...
 pub use ext::StrExt as _;
 // ...然后像调用固有方法一样调用其方法
 assert!("dad".is_palindrome());
 assert!(!"grandma".is_palindrome());
}

按惯例，扩展 trait 名称会带 Ext 后缀。

3.3.2 方法解析冲突

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/extension-traits/method-resolution-conflicts.html

3.3.2 方法解析冲突

固有方法与扩展方法发生命名冲突时会怎样？

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


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
mod ext {
 pub trait CountOnesExt {
 fn count_ones(&self) -> u32;
 }

 impl CountOnesExt for i32 {
 fn count_ones(&self) -> u32 {
 let value = *self;
 (0..32).filter(|i| ((value >> i) & 1i32) == 1).count() as u32
 }
 }
}
fn main() {
 pub use ext::CountOnesExt;
 // 调用的是哪个 `count_ones` 方法？
 // 来自 `CountOnesExt` 的？还是 `i32` 的固有方法？
 assert_eq!((-1i32).count_ones(), 32);
}

外来类型可能在较新版本中添加与我们扩展方法同名的新固有方法。

3.3.3 Trait 方法冲突

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/extension-traits/trait-method-conflicts.html

3.3.3 Trait 方法冲突

为同一类型实现的两个不同 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
30
31


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
mod ext {
 pub trait Ext1 {
 fn is_palindrome(&self) -> bool;
 }

 pub trait Ext2 {
 fn is_palindrome(&self) -> bool;
 }

 impl Ext1 for str {
 fn is_palindrome(&self) -> bool {
 self.chars().eq(self.chars().rev())
 }
 }

 impl Ext2 for str {
 fn is_palindrome(&self) -> bool {
 self.chars().eq(self.chars().rev())
 }
 }
}

pub use ext::{Ext1, Ext2};

// 调用的是哪个方法？
// 来自 `Ext1` 的？还是来自 `Ext2` 的？
fn main() {
 assert!("dad".is_palindrome());
}

你正在扩展的 trait 可能在较新版本中添加与你的扩展方法同名的新 trait 方法。或者，同一类型的另一个扩展 trait 可能定义与你的扩展方法冲突的方法名。

3.3.4 扩展其他 Trait

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/extension-traits/extending-other-traits.html

3.3.4 扩展其他 Trait

与类型类似，有时希望扩展外来 trait。特别是，给给定 trait 的所有实现者附加新方法。

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


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
mod ext {
 use std::fmt::Display;

 pub trait DisplayExt {
 fn quoted(&self) -> String;
 }

 impl<T: Display> DisplayExt for T {
 fn quoted(&self) -> String {
 format!("'{}'", self)
 }
 }
}

pub use ext::DisplayExt as _;

assert_eq!("dad".quoted(), "'dad'");
assert_eq!(4.quoted(), "'4'");
assert_eq!(true.quoted(), "'true'");

强调我们如何一次为多个类型添加新行为。可对字符串切片、数字和布尔值调用 .quoted()，因为它们都实现了 Display trait。

3.3.5 该不该定义扩展 Trait？

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/idiomatic/leveraging-the-type-system/extension-traits/should-i-define-an-extension-trait.html

3.3.5 该不该定义扩展 Trait？

在什么场景下应优先选择扩展 trait 而非自由函数？

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


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
pub trait StrExt {
 fn is_palindrome(&self) -> bool;
}

impl StrExt for &str {
 fn is_palindrome(&self) -> bool {
 self.chars().eq(self.chars().rev())
 }
}

// vs

fn is_palindrome(s: &str) -> bool {
 s.chars().eq(s.chars().rev())
}

扩展 trait 的主要优势是易于发现。