受本地定义的公共特征约束的核心特征的一揽子实现

Question

我有以下代码：

pub trait GetIdentifier {
    //...
}
impl<T: GetIdentifier> Hash for T {
     fn hash(&self) -> //....
}

我收到以下错误：

error[E0119]: conflicting implementations of trait `std::hash::Hash` for type `&_`:
  --> <anon>:18:1
   |
18 | / impl<T: GetIdentifier> Hash for T {
19 | | }
   | |_^
   |
   = note: conflicting implementation in crate `core`

error[E0210]: type parameter `T` must be used as the type parameter for some local type (e.g. `MyStruct<T>`); only traits defined in the current crate can be implemented for a type parameter
  --> <anon>:18:1
   |
18 | / impl<T: GetIdentifier> Hash for T {
19 | | }
   | |_^

为什么？我还没有为&_ 实现GetIdentifier，所以毯子impl 不应该适用于&_。我的箱子的消费者也不能为核心类型实现GetIdentifier，所以没有问题。我在这里想念什么？为什么&_ 甚至涉及到这里——我没有在我的 trait 上设置 ?Sized 绑定，所以甚至不应该考虑引用......对吗？

Answer 1

您的 crate 的使用者可以为 TheirType 实现 GetIdentifier，同时为 TheirType 实现 Hash。

现在您可能会说这是他们的问题，但想象另一个具有 Foo 特征的板条箱，它也执行 impl<T: Foo> Hash for T {} 和 TheirType 实现 Foo 和 GetIdentifier。突然他们无法实现这两个特征。

&_ 发生错误的原因是 stdlib impl 说任何类型 T 实现 Hash 导致 &T 也实现 Hash。