Java Generics: сохраняется ли какая-либо метаинформация об универсальном типе во время выполнения?

Конечно, информация о том, что класс является универсальным, поддерживается.

Другими словами: когда вы декомпилируете ArrayList.class, вы найдете подсказки о том, что этот класс допускает один параметр универсального типа. Другими словами: файлы классов содержат мета информацию. А с помощью отражения можно проверять эту метаинформацию во время выполнения.

Но когда у вас есть другой класс, который использует некоторый объект List<Integer>, вы не найдете информацию о том, что «список использует целое число» в скомпилированном классе, если вы не используете некоторые определенные шаблоны, как указано здесь, например.

Таким образом, ответ в основном таков: почти во всех случаях использования, имеющих практическое значение, "дженерики" используются только во время компиляции.

Пример:

public class GenericsExample<T> {
  private T member;   
  public T foo(T bar) {
     return member;
  }
}

Теперь запустите: javap -p -c GenericsExample

Compiled from "GenericsExample.java"
public class GenericsExample<T> {
  private T member;

  public GenericsExample();
    Code:
       0: aload_0       
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return        

  public T foo(T);
    Code:
       0: aload_0       
       1: getfield      #2                  // Field member:Ljava/lang/Object;
       4: areturn       
}

Как видите, декомпилятор понимает, что класс использует этот общий тип T. Подробнее см. здесь или здесь.

Если класс расширяет общий класс или интерфейс и предоставляет конкретный тип для параметра, то этот тип доступен через Class.getGenericSuperclass(). Этот метод (в данном случае) вернет ParameterizedType, который будет содержать фактическую параметризацию.

Например, если у вас есть:

class BigIntegerList extends ArrayList<BigInteger> {}

Затем вы можете сделать:

Class<BigIntegerList> fooClass = BigIntegerList.class;
Type superclass = fooClass.getGenericSuperclass();
if (superclass instanceof ParameterizedType) {
  ParameterizedType parameterized = (ParameterizedType) superclass;
  Type[] parameterizations = parameterized.getActualTypeArguments();
  System.out.println(Arrays.toString(parameterizations));
  // prints: "[class java.math.BigInteger]"
}

Это действительно используется библиотеками с большим количеством отражений, такими как Guice. Другим примером является TypeReference, который позволяет вам читать список вещей в формате JSON как list-of-BigDecimal (например).

Обобщения — это хороший способ программирования, если вы не знаете, какой тип вы собираетесь использовать для определенного класса. Во время выполнения универсальный тип класса будет установлен на основе входных данных для класса. Это в основном полезно для безопасности времени компиляции.

Есть ли какая-либо информация, связанная с универсальными типами, которая также сохраняется во время выполнения. ? Если да, то что?.

Единая информация, сохраняемая в скомпилированном классе, представляет собой преобразование необработанных объектов/переменных, полученных после стирания, в определенные типы, используемые в качестве универсальных в исходном коде.
Но они основаны только на объявленном типе переменной, а не на реальном используемом универсальном типе. .

Таким образом, во время выполнения вы не можете напрямую получить доступ к универсальной информации без обходного пути, например передачи класса при создании экземпляра универсального класса.

Если нет, то как библиотеки, такие как google guice, работают внутри (

Вы ошибаетесь.
В Guice этот код:

 Content content = contentProvider.get();   

вернет экземпляр Content, а не общий тип. Посмотрите документацию. :

1. Java Generics использует то, что называется стиранием типа, поэтому во время выполнения информация о типе недоступна. Однако можно создать экземпляр любого класса с помощью метода Class.newInstance(), если информация о типе может быть передана каким-либо образом (фактически, это единственный способ создать универсальный массив).

2. Безопасность времени компиляции является основной целью дженериков. Но их часто можно использовать и для написания более лаконичного кода, что иначе было бы невозможно.

Для подробного рассмотрения рекомендую прекрасную книгу Java Generics and Collections< /сильный>