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

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