4.7 dyn Trait 示例 on 编程那些事儿

4.7.1 组合 Trait

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

组合 Trait

原文链接: https://quinedot.github.io/rust-learning/dyn-trait-combining.html

Rust 不支持直接将多个主 trait（非自动 trait）组合为一个 dyn Trait1 + Trait2：

1
2
3
4
5


trait Foo { fn foo(&self) {} }
trait Bar { fn bar(&self) {} }

// 失败
let _: Box<dyn Foo + Bar> = todo!();

然而，超 trait 的方法对子 trait 可用。什么是超 trait？超 trait 是在子 trait 定义中对 Self 的 trait 约束，如下所示：

4.7.2 为 Box 实现 Trait

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

为 Box 实现 Trait

原文链接: https://quinedot.github.io/rust-learning/dyn-trait-box-impl.html

让我们看看如何实现 Trait for Box<dyn Trait + '_>。首先要注意的是，大多数方法都会涉及调用 box 内 dyn Trait 的方法，但若直接使用 self.method()，我们会立刻与正在编写的方法（<Box<dyn Trait>>::method）递归！

4.7.3 可克隆的 Box

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

可克隆的 Box

原文链接: https://quinedot.github.io/rust-learning/dyn-trait-clone.html

若你希望 Box<dyn Trait> 可以克隆，该怎么办？你不能将 Clone 作为超 trait，因为 Clone 要求 Sized，这会使 Trait 变为 dyn 不兼容。

你可能会想这样做：

4.7.4 dyn PartialEq

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

dyn PartialEq

原文链接: https://quinedot.github.io/rust-learning/dyn-trait-eq.html

现在让我们转向稍复杂的内容。我们之前提到，Self 不能在接收者之外使用，例如作为另一个参数，因为无法保证另一个参数与接收者具有相同的基类型（若基类型不同，则没有可调用的实际实现）。

4.7.5 泛化借用

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

泛化借用

原文链接: https://quinedot.github.io/rust-learning/dyn-trait-borrow.html

许多核心 trait 围绕某种字段投影构建：实现类型包含另一种类型 T，你可以将 &self 转换为 &T，或将 &mut self 转换为 &mut T。

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


pub trait Deref {
 type Target: ?Sized;
 fn deref(&self) -> &Self::Target;
}

pub trait Index<Idx: ?Sized> {
 type Output: ?Sized;
 fn index(&self, index: Idx) -> &Self::Output;
}

pub trait AsRef<T: ?Sized> {
 fn as_ref(&self) -> &T;
}

pub trait Borrow<Borrowed: ?Sized> {
 fn borrow(&self) -> &Borrowed;
}

// `DerefMut`、`IndexMut`、`AsMut`……

若你想返回的类型并非包含在 Self 内，通常无法实现这些 trait（除非返回对某个静态值等的引用，这很少是你想要的）。

4.7.6 擦除 Trait

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

擦除 Trait

原文链接: https://quinedot.github.io/rust-learning/dyn-trait-erased.html

假设你有一个现有 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
32
33
34
35
36


pub mod useful {
 pub trait Iterable {
 type Item;
 type Iter<'a>: Iterator<Item = &'a Self::Item> where Self: 'a;
 fn iter(&self) -> Self::Iter<'_>;
 fn visit<F: FnMut(&Self::Item)>(&self, mut f: F) {
 for item in self.iter() {
 f(item);
 }
 }
 }

 impl<I: Iterable + ?Sized> Iterable for &I {
 type Item = <I as Iterable>::Item;
 type Iter<'a> = <I as Iterable>::Iter<'a> where Self: 'a;
 fn iter(&self) -> Self::Iter<'_> {
 <I as Iterable>::iter(*self)
 }
 }

 impl<I: Iterable + ?Sized> Iterable for Box<I> {
 type Item = <I as Iterable>::Item;
 type Iter<'a> = <I as Iterable>::Iter<'a> where Self: 'a;
 fn iter(&self) -> Self::Iter<'_> {
 <I as Iterable>::iter(&**self)
 }
 }

 impl<T> Iterable for Vec<T> {
 type Item = T;
 type Iter<'a> = std::slice::Iter<'a, T> where Self: 'a;
 fn iter(&self) -> Self::Iter<'_> {
 <[T]>::iter(self)
 }
 }
}

然而，它并非 dyn 兼容，而你希望它是。即使将来某天 dyn Trait 支持 GAT，也没有计划支持像 Iterable::visit 这样带泛型类型参数的方法。何况你想要的是现在就能用，而非「某一天」。

4.7.7 可哈希的 Box

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

可哈希的 Box

原文链接: https://quinedot.github.io/rust-learning/dyn-trait-hash.html

假设我们有一个实现了 Eq 的 dyn Trait，但我们还希望它实现 Hash，以便能在 HashSet 中使用 Box<dyn Trait>，或作为 HashMap 的键等。

这是我们的起点

与之前相比，唯一更新是要求 Eq：

4.7.8 dyn Any 示例

Sun, 23 Aug 2026 10:16:00 +0800

译文 · 基于 Learning Rust

dyn Any 示例

原文链接: https://quinedot.github.io/rust-learning/dyn-any-examples.html

dyn Any 章节中还有一些额外示例，放在那里更合适。