Các câu trả lời trước giải thích các tham số loại (T, E, v.v.), nhưng không giải thích ký tự đại diện, "?" Hoặc sự khác biệt giữa chúng, vì vậy tôi sẽ giải quyết điều đó.
Đầu tiên, chỉ cần rõ ràng: các tham số ký tự đại diện và loại không giống nhau. Trong đó các tham số loại xác định một loại biến (ví dụ: T) đại diện cho loại cho phạm vi, ký tự đại diện không: ký tự đại diện chỉ xác định một tập hợp các loại cho phép mà bạn có thể sử dụng cho loại chung. Không có bất kỳ giới hạn ( extendshoặc super) nào, ký tự đại diện có nghĩa là "sử dụng bất kỳ loại nào ở đây".
Ký tự đại diện luôn nằm giữa các dấu ngoặc nhọn và nó chỉ có ý nghĩa trong ngữ cảnh của một loại chung:
public void foo(List<?> listOfAnyType) {...} // pass a List of any type
không bao giờ
public <?> ? bar(? someType) {...} // error. Must use type params here
hoặc là
public class MyGeneric ? { // error
public ? getFoo() { ... } // error
...
}
Nó trở nên khó hiểu hơn khi chúng chồng lên nhau. Ví dụ:
List<T> fooList; // A list which will be of type T, when T is chosen.
// Requires T was defined above in this scope
List<?> barList; // A list of some type, decided elsewhere. You can do
// this anywhere, no T required.
Có rất nhiều sự trùng lặp về những gì có thể với các định nghĩa phương thức. Sau đây là, về mặt chức năng, giống hệt nhau:
public <T> void foo(List<T> listOfT) {...}
public void bar(List<?> listOfSomething) {...}
Vì vậy, nếu có sự chồng chéo, tại sao sử dụng cái này hay cái kia? Đôi khi, đó thực sự chỉ là phong cách: một số người nói rằng nếu bạn không cần một loại param, bạn nên sử dụng ký tự đại diện chỉ để làm cho mã đơn giản hơn / dễ đọc hơn. Một sự khác biệt chính mà tôi đã giải thích ở trên: params type xác định một biến loại (ví dụ: T) mà bạn có thể sử dụng ở nơi khác trong phạm vi; ký tự đại diện không. Mặt khác, có hai sự khác biệt lớn giữa các thông số loại và ký tự đại diện:
Loại params có thể có nhiều lớp giới hạn; ký tự đại diện không thể:
public class Foo <T extends Comparable<T> & Cloneable> {...}
Ký tự đại diện có thể có giới hạn thấp hơn; loại params không thể:
public void bar(List<? super Integer> list) {...}
Trong phần trên, List<? super Integer>định nghĩa Integerlà giới hạn dưới của ký tự đại diện, có nghĩa là loại Danh sách phải là Số nguyên hoặc siêu loại Số nguyên. Giới hạn loại chung là vượt quá những gì tôi muốn đề cập chi tiết. Nói tóm lại, nó cho phép bạn xác định loại chung có thể là loại nào. Điều này làm cho nó có thể điều trị tổng quát đa hình. Ví dụ:
public void foo(List<? extends Number> numbers) {...}
Bạn có thể vượt qua một List<Integer>, List<Float>, List<Byte>, vv cho numbers. Không có giới hạn loại, điều này sẽ không hoạt động - đó chỉ là cách tạo ra thuốc generic.
Cuối cùng, đây là một định nghĩa phương thức sử dụng ký tự đại diện để làm điều gì đó mà tôi không nghĩ rằng bạn có thể làm bất kỳ cách nào khác:
public static <T extends Number> void adder(T elem, List<? super Number> numberSuper) {
numberSuper.add(elem);
}
numberSupercó thể là Danh sách số hoặc bất kỳ siêu số nào (ví dụ List<Object>:) và elemphải là Số hoặc bất kỳ loại phụ nào. Với tất cả các giới hạn, trình biên dịch có thể chắc chắn rằng đó .add()là loại an toàn.