java中的泛型专业化

Question

有人可以解释为什么下一个代码不能编译？
我创建部分专业地图和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>。 A HashSet<TrieEntry<T>>也是Set<TrieEntry<T>>，但它是而不是 a 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. 放下你的类，并尝试使用Map.Entry，而不是在你的钥匙和/或值存储信息。

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

这两种解决方案可能不理想，并且有可能是更好的解决方案，但是这是所有我目前可以告诉你。

Answer 2

HashSet of course requires 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从封闭类：

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

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

    // ... 
}