为什么我需要“封面” t in`impress ofertrait＆lt; localtype＆gt; gt;对于T` [E0210]

Question

今天，我遇到了一条非常奇怪的错误消息，我很难理解。考虑使用此简单地图 - 输入的结构：

struct Entry<K, V> {
    key: K,
    value: V
}

现在，我想在 entry＆lt; k，v＆gt;之间实现所有std :: cmp特征代码> k 。让我们暂时关注partialeq。这两个实现效果很好：

impl<K: PartialEq, V> PartialEq for Entry<K, V> { /* ... */ }
impl<K: PartialEq, V> PartialEq<K> for Entry<K, V> { /* ... */ }

但是最后一个实现给了我很难的时光（游乐场）

impl<K: PartialEq, V> PartialEq<Entry<K, V>> for K {
    fn eq(&self, other: &Entry<K, V>) -> bool {
        self.eq(&other.key)
    }
}

据我所知， 错误消息声称我将使用非本地类型作为外国性状的第一个参数。但是，条目在同一文件中本地定义的IST。

错误[ e0210 ] k 必须在第一个本地类型之前出现其他类型（entry＆lt; k，v＆gt;）

   - ＆gt; src/lib.rs：6：6
  |
6 | impl＆lt; k：partialeq，v＆gt; partialeq＆lt;进入＆lt; k，v＆gt;＆gt;叉 {
  | ^类型参数`k`必须由另一种类型覆盖，当它出现在第一种本地类型之前（``entry＆lt; k，v＆gt;`）
  |
 

注意：只有在实现它的至少一种类型是本地的，并且在第一个本地类型之前没有发现的类型参数
才能实现外国性状。 注意：在这种情况下，''''是指以下顺序：strans＆lt; ..＆gt;外国＆lt; t1，...，tn＆gt;对于t0，其中t0是第一个，tn是最后一个

一个人可以解释为什么我会收到此错误消息，错误，尤其是未发现的意思，为什么不允许此实现？

Answer 1

错误消息非常差，但是阅读

考虑一个smand：

  impl＆lt; p1，...，pm＆gt;外国＆lt; t1，...，tn＆gt;对于T0 {...}
 

其中p1，...，pm是impl和t0，...，tn的类型参数是类型。类型t0，...，tn必须是本地类型（这是另一个孤儿规则，请参见 e0117 ）。

以下两个都必须为真：

1. 至少一种类型t0 .. = TN必须是本地类型。令ti是第一个这样的类型。
2. 没有发现的类型参数p1 .. = PM可能出现在t0..ti..ti中（排除ti）。

现在，回顾有问题的实现，它被声明为

impl<K: PartialEq, V> PartialEq<Entry<K, V>> for K // error

p1 = k，p2 = v和t0 = k，t1 = entry＆lt＆lt; k，v＆gt; < /code>，ti是t1，因此触发了错误消息。 覆盖与将其放入一个元素元组一样容易，因此该语法完全可以：

impl<K: PartialEq, V> PartialEq<Entry<K, V>> for (K,) // ok

通常，覆盖可以通过将其放置在元组中（ （k，））或将其用作类型参数（wory stype＆lt; k＆gt;），但是 not 使用参考（＆amp ; k）或一个框（box＆lt; k＆gt;）。

然后，仅在实施 rfc 2451 ，建议这是错误消息的一部分：

如果特征或所实现的类型是当前板条箱的本地，则

Rust的孤儿规则始终允许一个允许的意义。因此，我们不能允许impl＆lt; t＆gt;外国＆lt; localtypecratea＆gt;对于t，因为它可能与另一个板条箱写作Impl＆lt; t＆gt;外国＆lt; t＆gt;对于LocalTypecrateB，我们将始终允许。

我希望Rustc能够采用该错误消息，而不是吐出目前所做的神秘信息。

Answer 2

我认为您想要相反的方式：

impl<K: PartialEq, V> PartialEq<K> for Entry<K, V> {
    fn eq(&self, other: &K) -> bool {
        self.key.eq(&other)
    }
}

至于为什么您的方向不起作用：想象一下某人定义了一个可以将可以与 的 进行比较的struct：

struct K;

impl<V> PartialEq<V> for K { // V could be anything (including your struct Entry)
    fn eq(&self, other: &V) -> bool {
        true
    }
}

现在，会有矛盾的impl <代码> k 和您的条目。