java中的泛型专业化

Question

谁能解释一下，为什么下一个代码没有编译？
我正在为它创建一个部分专业化的 Map 和 Map.Entry：

public class Trie<T> implements Map<String, T> {
    private class TrieEntry<S> implements Map.Entry<String, S> {
        // stupid implementation here
    }
    // uninterested code here
}

这里一切正常，但是我正在实现 entrySet() 方法：

public Set<java.util.Map.Entry<String, T>> entrySet() {
    Set<java.util.Map.Entry<String, T>> x = new HashSet<TrieEntry<T>>();
    // some uninterested code here
}

Eclipse 说

“类型不匹配：无法从HashSet<Trie<T>.TrieEntry<T>> 转换为Set<Map.Entry<String,T>>”

所以，在我看来，TrieEntry<T> 应该展开为 Map.Entry<String, T>，它符合定义中的表达式。

我哪里错了？

Answer 1

TrieEntry<T> 是 Map.Entry<String, T> 是对的。 HashSet<TrieEntry<T>> 也是 Set<TrieEntry<T>>，但它不是 Set<Map.Entry<String, T>>。

如果是你可以这样做：

Set<TrieEntry<T>> trieSet = ...;
Set<Map.Entry<String, T>> mapSet = trieSet;
mapSet.add(mapEntry);

所以现在 trieSet 现在将包含一个Map.Entry<String, T>！这会破坏泛型。

那么如何解决这个特殊问题呢？简单 - 使用有界通配符：

Set<? extends Map.Entry<String, T>> x = new HashSet<TrieEntry<T>>();

您可以将 ? extends Map.Entry<String, T> 解读为“至少是 Map.Entry<String, T> 的任何内容”。

---

好的，现在解决您的实施问题。我实际上相信，由于方法 entrySet() 的当前定义，以这种方式无法解决。它应该返回? extends Map.Entry<String, T>，但它确实返回Map.Entry<String, T>。

实际上有一个bug report（或功能请求）就是针对这个问题的。查看提交日期和优先级，不能指望很快会修复。

所以你有两个选择：

1. 删除您的 TrieEntry 类并尝试改用 Map.Entry，将信息存储在您的键和/或值中。

2. 删除Map接口，让你的自定义entrySet方法返回? extends Map.Entry<String, T>。

这两种解决方案可能都不理想，可能还有更好的解决方案，但目前我只能告诉你这些。

Answer 2

HashSet 当然实现了Set，但HashSet<some subclass of X> 不是Set<X> 的子类型。你可以这样做：

Set<? extends Map.Entry<String, T>> x = new HashSet<TrieEntry<T>>();

但我怀疑您稍后会在您的 entrySet 方法中遇到麻烦（您不能从该方法中返回它，因为它仍然需要您返回 Set<Map.Entry<String, T>>）。

另一种解决方案是这样做：

Set<Map.Entry<String, T>> x = new HashSet<Map.Entry<String, T>>();

您可以将TrieEntry<T> 对象添加到此Set 并从entrySet() 返回。

我认为您还可以通过省略类型参数 S 并仅使用封闭类中的 T 来简化您的 TrieEntry 内部类：

class Trie<T> implements Map<String, T> {
    private class TrieEntry extends Map.Entry<String, T> {
        // ...

        @Override
        public T getValue() {
            // ...
        }
    }

    // ...
}