如果兩個特徵都實現了引用，我如何爲所有實現特質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。