Предыдущие ответы объясняют параметры типа (T, E и т. Д.), Но не объясняют подстановочный знак «?» Или различия между ними, поэтому я рассмотрю это.
Во-первых, просто для ясности: подстановочный знак и параметры типа не совпадают. Там, где параметры типа определяют вид переменной (например, T), которая представляет тип для области, подстановочный знак не делает: подстановочный знак просто определяет набор допустимых типов, которые вы можете использовать для универсального типа. Без каких-либо ограничений ( extendsили super) подстановочный знак означает «используйте любой тип здесь».
Подстановочные знаки всегда заключаются в угловые скобки, и они имеют значение только в контексте универсального типа:
public void foo(List<?> listOfAnyType) {...} // pass a List of any type
никогда
public <?> ? bar(? someType) {...} // error. Must use type params here
или
public class MyGeneric ? { // error
public ? getFoo() { ... } // error
...
}
Это становится более запутанным, когда они перекрываются. Например:
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.
Существует много совпадений в том, что возможно с определениями методов. Следующее, функционально, идентично:
public <T> void foo(List<T> listOfT) {...}
public void bar(List<?> listOfSomething) {...}
Итак, если есть совпадение, зачем использовать один или другой? Иногда, честно говоря, это просто стиль: некоторые люди говорят, что если вам не нужен параметр типа, вы должны использовать подстановочный знак только для того, чтобы сделать код проще / более читабельным. Одно основное отличие, которое я объяснил выше: параметры типа определяют переменную типа (например, T), которую вы можете использовать в другом месте области действия; подстановочный знак не. В противном случае между параметрами типа и подстановочным знаком есть две большие разницы:
Тип params может иметь несколько ограничивающих классов; подстановочный знак не может:
public class Foo <T extends Comparable<T> & Cloneable> {...}
Подстановочный знак может иметь нижние границы; Тип params не может:
public void bar(List<? super Integer> list) {...}
В приведенном выше List<? super Integer>описании определяется Integerкак нижняя граница подстановочного знака, означающего, что тип списка должен быть Integer или супер-тип Integer. Общее ограничение типов выходит за рамки того, что я хочу подробно описать. Короче говоря, это позволяет вам определить, какие типы могут быть универсальными. Это позволяет полиморфно относиться к генерикам. Например, с:
public void foo(List<? extends Number> numbers) {...}
Вы можете передать List<Integer>, List<Float>, List<Byte>и т.д. для numbers. Без ограничения типов это не сработает - вот каковы дженерики.
Наконец, вот определение метода, которое использует подстановочный знак, чтобы сделать что-то, что я не думаю, что вы можете сделать любым другим способом:
public static <T extends Number> void adder(T elem, List<? super Number> numberSuper) {
numberSuper.add(elem);
}
numberSuperможет быть Списком Чисел или любым супертипом Числа (например, List<Object>), и elemдолжен быть Числом или любым подтипом. При всех ограничениях компилятор может быть уверен, что .add()он безопасен для типов.