Generics vs Phương pháp quá tải

Question

Tôi có 3 phương pháp:

//1 -- check one item 
public static <T> void containsAtLeast(String message, 
             T expectedItem, 
             Collection<? extends T> found) { 
    if (!found.contains(expectedItem)) 
     Assert.fail("...");   
} 

//2 -- check several items 
public static <T> void containsAtLeast(String message, 
             Collection<? extends T> expectedItems, 
             Collection<T> found) { 
    for (T exptetedItem : expectedItems) 
     containsAtLeast(message, exptetedItem, found);   
} 

//3 -- check several items, without message parameter 
public static <T> void containsAtLeast(Collection<? extends T> expectedItems, 
             Collection<? extends T> found) { 
    containsAtLeast(null, expectedItems, found); 
} 

Tôi hy vọng rằng phương pháp //3 gọi //2 nhưng nó không, nó gọi phương thức //1. Có một sai lầm trong những gì tôi mong đợi?

* Tôi sử dụng sdk 1.7.0_25 và Eclipse 4.3 *

Answer 1

Phương pháp thứ hai của bạn hy vọng loại chung của expectedItems (? extends T) là một subtype của các loại chung của found (T).

Trong phương pháp thứ ba của bạn, không có mối quan hệ kiểu phụ giữa hai loại chung chung. Cả hai đều mở rộng T nhưng có thể là anh chị em chẳng hạn.

Vì vậy, phương pháp thứ hai không thể được gọi.

Ví dụ: hãy tưởng tượng bạn gọi phương thức thứ ba với các loại:

containsAtLeast(Collection<Integer> e, Collection<String> f) 

Vì vậy, các T trong phương pháp thứ ba của bạn là Object. Và phương pháp đầu tiên của bạn cũng được gọi với T = Object.