返回具有关联类型的特征

Question

struct A;
struct PropA;

struct B;
struct PropB;

trait AB{
    type prop;
    fn a(&self) -> ();
    fn b(&self, p: Self::prop) -> ();
}

impl AB for A{
    type prop = PropA;
    fn a(&self)->(){}
    fn b(&self, p: Self::prop) -> (){}
}
impl AB for B{
    type prop = PropB;
    fn a(&self)->(){}
    fn b(&self, p: Self::prop) -> (){}
}

fn get_a_or_b(s: &str) -> Option<Box<dyn AB<prop=_>>>{
    match s{
        "a" => Some(Box::new(A)),
        "b" => Some(Box::new(B)),
        _=> None
    }
}

游乐场链接

我根据字符串输入返回两个不同的结构A和B

当将关联类型指定为占位符时，我得到the type placeholder '_' is not allowed within types on item signatures 。

Answer 1

我相信这里有一个误解； dyn AB<Prop = A>和dyn AB<Prop = B>是不同的类型，第一个是动态AB<Prop = A> ，第二个是动态AB<Prop = B> 。 这意味着您不能将泛型类型和关联类型留给动态方面。

这与未提及关联类型时不同：

fn foo<T: AB>() {
    let my_fn: fn(&T, T::Prop) = T::b;
}

我们在哪里访问T::Prop而不是分配它。

---

所有类型都必须是具体的，并且一个分支上的 dyn AB<Prop = dyn AB<Prop = A> > 和另一个分支上的dyn AB<Prop = B>不是具体的，但是如果您将 package 放在枚举下，则可能是：

enum AOrB {
    A(Box<dyn AB<Prop = A>>),
    B(Box<dyn AB<Prop = B>>),
}