特质实现其父特征的任何替代方法？

Question

我正在构建一个类似于copycat的体系结构的Rust的Raft共识算法中间件。我为开发人员编写了一个宏来定义命令方案。该宏为用户定义的命令生成dispatch函数的特性A，这需要开发人员为其行为实现结构以及与此主题无关​​的编码器/解码器。

特征对象注册一个Server对象使其工作。因为特征A是动态生成的，所以我必须定义另一个特征B作为A的父特征。 Server与B一起使用来调用A中定义的dispatch函数。

我尝试了不同的组合，但没有一个可以工作。

trait B { 
    fn dispatch(&mut self, fn_id: u64) -> Vec<u8>; 
} 

// macro generated trait 
trait A: B { 
    fn a(&self) -> Vec<u8>; 
    fn b(&self) -> Vec<u8>; 
    fn dispatch(&mut self, fn_id: u64) -> Vec<u8> { 
     match fn_id { 
      1 => a(), 
      2 => b(), 
      _ => {} 
     } 
    } 
} 

不幸的是，在A的dispatch功能不能B实现dispatch。当我实现A的结构时，编译器仍然要求为B实施dispatch。

我也试图在特质B移动dispatch另一个特点为母体的特质对B，但性状不能实施A。我也回顾了https://github.com/rust-lang/rfcs/issues/1024。这个问题似乎是开放的，但已被放弃。有没有其他方法可以使这种模式起作用？

Answer 1

根本不需要B是超级A。您可以为任何T: A添加B的一揽子实现。我认为这更接近意图。

复述锈代码：

trait A: B { 

“您可以实现A，但前提是你已经实现B。”

trait A { 
    //... 
} 
impl<T: A> B for T { 

“如果实现A，这里有一个免费实现的B。”

以下是完整版本：

trait B { 
    fn dispatch(&mut self, fn_id: u64) -> Vec<u8>; 
} 

// macro generated trait 
trait A { 
    fn a(&self) -> Vec<u8>; // added &self 
    fn b(&self) -> Vec<u8>; 
} 

impl<T: A> B for T { 
    fn dispatch(&mut self, fn_id: u64) -> Vec<u8> { 
     match fn_id { 
      1 => self.a(), 
      2 => self.b(), 
      _ => panic!(), // Needed so that match cases are exhaustive 
     } 
    } 
} 

struct S {} 

impl A for S { 
    fn a(&self) -> Vec<u8> { 
     unimplemented!() 
    } 
    fn b(&self) -> Vec<u8> { 
     unimplemented!() 
    } 
} 

Playground