如果两个性状都实现了作为参考，我如何为所有实现性状A的类型实现性状B？

Question

我们有两个特征A和B

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

实际上，执行这三个操作都会导致冲突，因为现在对实现a的类型的引用将有两个B的实现。一个是由于impl

我无法删除impl

下面是一个展示行为的示例代码。

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-typesystem，以确保在出现impl B时




Answer 1

关于这个话题，Rust internals论坛上进行了一些讨论，首先是Nicholas Matsakis关于如何处理重叠的trait实现问题的博客文章。

今天，（不稳定的）锈菌有一些IML专业化，但这只适用于更为通用的更为具体的IML。

所以我认为答案是今天没有一个好的方法来做这件事，但是在未来的某个时候，Rust很有可能会进化到允许表达重叠的特质内涵。