用动态和静态调度实现特征实现者的功能

Question

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

trait A {}

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

---

但是，这种方法引入了一些不灵活性，我无法传递像这里的特征对象：

trait A {}

fn foo(t: &A) {}

问题是，有时我知道类型，有时不知道。 有没有办法既可以为特征对象提供动态调度，也可以为编译时已知类型提供静态调度，而不实现两次？

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时，该参数成为特征对象。