Как узнать JVM тип генераторов без аргументов?

Question

У меня есть заводской метод дженериков.

public static <T> List<T> create(){ 
    return new ArrayList<T>(); 
} 

Но у него нет аргументов/параметров.

Я не даю параметр типа для функции, но он знает соответствующий тип без каких-либо аргументов.

public static void main(String[] args){ 
    List<Integer> intlist = create(); //it is an Integer List 
    List<String> stringlist = create(); //it is a String List 
} 

Answer 1

JVM не знает параметр типового типа из-за стирания типа.

Java-компилятор может сделать вывод, что T должен быть Integer или String в ваших примерах, потому что он имеет доступ к информации типа родовой о типах переменных вы объявлены.

Answer 2

Одна точка зрения заключается в том, что, когда общий параметр явно не задан, он выводится. Обычно это выводится из аргументов, но когда аргументов нет, в ограниченных случаях (например, объявление переменных) это можно сделать с левой стороны.

Другая точка зрения заключается в том, что, когда общий параметр явно не задан, компилятор не имеет значения, что именно такой параметр. В конце концов, параметр типа не влияет на скомпилированный байт-код вообще. Он просто должен быть в состоянии доказать, что существует некоторый параметр типа, который заставил бы его работать; и это все равно. Для ситуации может быть несколько допустимых параметров типа; но неважно, какой из них «используется», потому что он не влияет на результат. В этом случае, поскольку метод не принимает аргументов и возвращает List<T>, где T является общим для этого метода, если он используется в контексте, который принимает List, он действителен, поскольку независимо от List<what exactly>, действительный T есть (T = whatever type parameter is desired). Поэтому в этом случае компилятору вообще не нужно проверять параметр типа.