編譯錯誤曖昧參考方法使用類型集合

Question

當在相同的類我有兩個重載方法：

public static <T> void foo(Collection<T> collection, T valueToAppend); 
public static <T> void foo(Collection<T> collection, Collection<T> valueToAppend); 

以下測試應該調用第二種方法：

@Test 
    public void testFoo() { 
    ArrayList ftList = Lists.newArrayList(); 
    List<Double> doubleList = Lists.newArrayList(1.0, 2.0); 
    foo(ftList, doubleList); 
} 

當運行測試我得到以下編譯錯誤：

reference to foo is ambiguous, both method foo(java.util.Collection,T) in path.to.class and method foo(java.util.Collection,java.util.Collection) in path.to.class match.

我在第二個傳遞集合參數爲什麼編譯器不知道 轉到第二種方法？
如果我更改方法簽名並從第一個參數中刪除泛型，我將 不會收到編譯錯誤，爲什麼？

Answer 1

這裏是我的解釋。當編譯器必須在重載之間進行選擇時，它總是選擇最具體的重載。當您從第一個參數中刪除類型信息時，簽名變爲

public static <T> void foo(Collection collection, T valueToAppend) 
public static <T> void foo(Collection collection, Collection<T> valueToAppend) 

其中的第二個更具體。第一種方法可以接受的任何一對參數都可以被第一種方法接受，因爲任何Collection都是Object。因此，當您去除類型參數時，不會有歧義 - 如果您通過兩個Collection s，則會選擇第二種方法。

但是與類型信息，簽名是這樣的：

public static <T> void foo(Collection<T> collection, T valueToAppend) 
public static <T> void foo(Collection<T> collection, Collection<T> valueToAppend) 

這些簽名也不是比其他更具體。參數new ArrayList<String>()和"Foo"將被第一個簽名接受但不是第二個。參數new ArrayList<String>()和new ArrayList<String>()將被第二個簽名接受，但不是第一個。

所以如果兩個簽名都適用，就有問題。

您正試圖通過一個原始ArrayList和一個List<Double>。由於您使用的是原始類型ArrayList（你應該永遠不會做），ftList可以通過爲Collection<T>爲任何T（嘗試它。請嘗試將原料List與List<String>類型的參數的方法。它的工作原理）。因此，您只需要看到doubleList與的第二個參數相匹配，兩者均爲超載。它匹配第一個簽名，如果T是List<Double>並且匹配第二個簽名，如果T是Double。