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

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.