дженерики удалены компилятором во время компиляции

Question

В этом учебнике по reflection он гласит:

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

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

Answer 1

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

Этот факт становится очевидным, когда вы смотрите на типы через отражение: все интерфейсы, классы и функции становятся неэквивалентными, причем все типы, привязанные к параметрам типового типа, заменяются не общим типом, основанным на ограничениях общего типа указанных в исходном коде. Хотя API-интерфейс отражения имеет положения для доступа к некоторой информации, связанной с генериками ^* во время выполнения, виртуальная машина не может проверить точный общий тип для совместимости при доступе к вашим классам через отражение.

Например, если вы сделаете член класса типа List<String> и попробуйте установить List<Integer> в него, компилятор будет жаловаться. Если вы попытаетесь сделать то же самое через отражение, однако, компилятор не собирается выяснить, и код будет терпеть неудачу во время выполнения таким же образом, что бы без дженериков:

class Test { 
    private List<String> myList; 
    public void setList(List<String> list) { 
     myList = list; 
    } 
    public void showLengths() { 
     for (String s : myList) { 
      System.out.println(s.length()); 
     } 
    } 
} 

... 

List<Integer> doesNotWork = new ArrayList<Integer>(); 
doesNotWork.add(1); 
doesNotWork.add(2); 
doesNotWork.add(3); 
Test tst = new Test(); 
tst.setList(doesNotWork); // <<== Will not compile 
Method setList = Test.class.getMethod("setList", List.class); 
setList.invoke(tst, doesNotWork); // <<== This will work; 
tst.showLengths(); // <<== However, this will produce a class cast exception 

Demo on ideone.

---

^* См this answer подробную информацию о получении информации, связанной с общими типами во время выполнения.

Answer 2

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

Answer 3

Некоторые обобщения остаются в скомпилированном классе, в частности, включая сигнатуры методов и определения классов. Во время выполнения нет объектов сохраняют свой полный родовой тип, но даже во время выполнения вы можете найти общее определение класса или метода.

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

class Foo { 
    List<String> getList() { ... } 

    public static void main(String[] args) { 
    System.out.println(Foo.class.getMethod("getList").getGenericReturnType()); 
    // prints "List<String>" 
    List<String> list = new Foo().getList(); 
    // there is no way to get the "String" parameter on list 
}