Question

我正在尝试向实现Reader和Seek的对象实例进行动态可调度借用。

据我所知，只要涉及一个特征，Rust就可以进行动态调度。

use std::io::{Read, Seek};
fn user(stream: &mut Read) {}

虽然有两个或更多特征边界，但我不得不使用类型参数：

fn user_gen<T: Read + Seek>(stream: &mut T) {}

由于下面的实际类型是构建器，它必须以某种方式存储借用的对象，并且使用类型参数会使实现更复杂（我已经有三个类型参数）。

理想情况下，我可以做类似的事情：

fn user_dynamic(stream: &mut (Read + Seek)) {}

这不编译：

error[E0225]: only auto traits can be used as additional traits in a trait object
 --> src/main.rs:3:38
  |
3 | fn user_dynamic(stream: &mut (Read + Seek)) {}
  |                                      ^^^^ non-auto additional trait

我知道动态调度是通过胖指针完成的，通常这些只引用一个方法表，而不是多个方法表。我还没有看到过支持这种语言的静态编译语言，但这样的功能对我有很大帮助。

Answer 1

您可以创建一个合并这两个特征的空特征：

use std::io::{Read, Seek};

trait SeekRead: Seek + Read {}
impl<T: Seek + Read> SeekRead for T {}

fn user_dynamic(stream: &mut SeekRead) {}

这将为SeekRead创建一个新的vtable，其中包含Seek和Read的所有函数指针。

如果没有一些诡计，您将无法将&mut SeekRead投射到&mut Seek或&mut Read（请参阅Why doesn't Rust support trait object upcasting?）

我可以在不使用泛型类型的情况下获取多特征实例的特征对象吗？

1 个答案: