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() { 
      // ... 
     } 
    } 

    // ... 
}