使用泛型返回類型提取表達式後類型不匹配

Question

執行提取表達式重構時，我偶然發現了Eclipse 4.4和Java 8生成45中的一些奇怪行爲，至少對我而言如此。下面的例子顯示了原始的和正確的代碼將提取物重構之前：

import java.util.Map; 
import java.util.Set; 

public class MyMap<K, V> { 
    public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
     for (Map.Entry<? extends K, ? extends V> entry : mapToCopy.entrySet()) { 
     } 
    } 
} 

Eclipse的重構的結果是這樣的，導致下面的錯誤消息指entrySet在讀訪問循環聲明：

public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
     Set<?> entrySet = mapToCopy.entrySet(); 
     for (Map.Entry<? extends K, ? extends V> entry : entrySet) { 
                 ^^^^^^^^ 
     } 
    } 

Type mismatch: cannot convert 
    from element type capture#3-of ? 
    to Map.Entry<? extends K,? extends V> 

我改變了entrySet聲明的類型Set<Map.Entry<? extends K, ? extends V>>。這次，錯誤在聲明的初始化程序中顯示，說：

public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
     Set<Map.Entry<? extends K, ? extends V>> entrySet = mapToCopy.entrySet(); 
                  ^^^^^^^^^^^^^^^^^^^^ 
     for (Map.Entry<? extends K, ? extends V> entry : entrySet) { 
     } 
    } 

Type mismatch: cannot convert 
    from Set<Map.Entry<capture#1-of ? extends K,capture#2-of ? extends V>> 
    to Set<Map.Entry<? extends K,? extends V>> 

由於原始代碼的確編譯，所以我有點困惑。也許有人可以幫助我並給出解釋？提前致謝！

Answer 1

讓我們第一次審查的原始來源：

public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
    for (Map.Entry<? extends K, ? extends V> entry : mapToCopy.entrySet()) { 
    } 
} 

內部（在運行時），這將被編譯並會工作：

public void putAll(final Map mapToCopy) { 
    for (Iterator<Map.Entry> iterator = mapToCopy.iterator; iterator.hasNext();) { 
    } 
} 

其中? extends K和? extends V將與一些被替換類型擦除後的真實類型。編譯器會知道哪些類型是不兼容的，並且不會引發類型不兼容的Exception。

在另一方面，如果你重構源此，

public void putAll(final Map<? extends K, ? extends V> mapToCopy) { 
    Set<Entry<? extends K, ? extends V>> entrySet = mapToCopy.entrySet(); 
                ^^^^^^^^ 
    for (Map.Entry<? extends K, ? extends V> entry : entrySet) { 

    } 
} 

那麼編譯器將沒有任何證據表明entrySet持有同一類型Map.Entry<? extends K, ? extends V>，只是因爲通配符（?）始終代表未知，即不能保證entrySet的輸入密鑰值的通配符與entry的密鑰值（來自循環）的通配符相同。由於不能百分之百確定類型是否兼容，編譯器會產生編譯時錯誤，即使**您可能有信心在運行系統中這些類型相同。