如果两个特征都实现了引用，我如何为所有实现特质A的类型实现特质B？

Question

我们有两个特点A和B针对

1. 我可以平凡实现B为实现A所有类型。
2. 我可以简单地实现A以引用任何类型的实现A。
3. 对于引用B的任何类型，我可以简单地实施B。

实际上，所有三个都会导致冲突，因为现在引用实现A的类型对于它们来说有两个实现B。其中由于impl<T: A> A for &T和一个及物动词由于impl<T: A> B for T（然后impl<T: B> B for &T。

我不能删除impl<T: B> B for &T，因为有可能是实现B类型，但不A

这里是表现出示例代码行为

trait A {} 
trait B {} 

impl<'a, T: A> A for &'a T {} 
impl<T: A> B for T {} 

impl<'a, T: B> B for &'a T {} 

这将导致以下错误：

error[E0119]: conflicting implementations of trait `B` for type `&_`: 
    | 
    | impl<T: A> B for T {} 
    | --------------------- first implementation here 
    | impl<'a, T: B> B for &'a T {} 
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `&_` 

是否可以使用Rust类型系统来确保当有impl B for &A时，我们不会为&B创建一个？

Answer 1

关于此主题，有一些discussion on the Rust internals forum，从a blog post by Nicholas Matsakis开始，关于如何处理重叠特征实现的问题。

今天（不稳定）Rust已经有some impl specialisation，但是它只适用于更通用的严格更具体的impls。

所以我认为答案是今天没有一个好的方法，但是在将来的某个时候，Rust很有可能演变为允许表达重叠的特质impls。