使用动态和静态分派为 trait 实现者实现功能

Question

我想要一个函数foo 获取一个实现特征A 的类型的实例。我总是更喜欢使用泛型来进行静态调度：

trait A {}

fn foo<T: A>(t: T) {}

---

但是，这种方法引入了一些不灵活，我不能像这里一样传递 trait 对象：

trait A {}

fn foo(t: &A) {}

问题是，有时我知道类型，有时不知道。有没有一种方法可以同时对 trait 对象进行动态分派和对编译时已知类型进行静态分派，同时不实现两次？

Answer 1

这确实是可能的。一种选择是为其引用类型显式实现A：

impl<'a, T: A + ?Sized> A for &'a T {}

当T = &A 时，该参数成为一个特征对象，同时仍为A 的已知实现者进行静态调度。现在应该可以编译以下代码：

fn foo<T: A>(a: T) {}

struct MyA;
impl A for MyA {}

fn main() {
    foo(MyA{});
    foo(&MyA{});
    foo(&MyA{} as &A);
}

如果你愿意总是传递借用的参数，你也可以这样做：

fn foo<T: A + ?Sized>(a: &T) {}

当T = A 时，参数成为一个特征对象。