Как синтаксис дженериков java помогает избежать литья типов?

Question

Ниже приведен код,

import java.util.List; 
import java.util.ArrayList; 


public class Dummy { 
    public static void main(String[] args) { 
     List<String> lst = new ArrayList<String>(); 
     lst.add("a string"); 
     lst.add("another string"); 
     String s = lst.get(0); 
    } //end main 
} 

, когда конструктор new ArrayList<String>(); вызывается, массив типа Object создается.

..

lst держит Object[0] массив.

Итак, если массив типа Object получает созданный конструктором, Как javac не видит проблемы литья типа в этом заявлении String s = lst.get(0);, несмотря на общий синтаксис используется при вызове конструктора?

Answer 1

Вот некоторые необщего код:

public class MyList { 

    List myData = new ArrayList(); 

    public void add(Object ob) { 
     myData.add(ob); 
    } 

    public Object getAtIndex(int ix) { 
     return myData.get(ix); 
    } 
} 

Этот код позволит вам хранить объект любого типа в ваших MyList случаях даже если договор MyList указывает, что объекты должны быть все одного типа. Более того, если вы используете экземпляр MyList для хранения экземпляров String, вы должны вручную передать их в String при их восстановлении.

String myString = (String) myList.get(1); 

Вышеуказанный класс MyList не является безопасным для типа. Вполне возможно, что вышеприведенный оператор присваивания завершится с классом ClassCastException, если объект, отличный от экземпляра String, был сохранен в вашем экземпляре MyList (что может произойти во время выполнения без какой-либо жалобы).

Вот обобщен класс MyList:

public class MyList<T> { 

    List<T> myData = new ArrayList<>(); 

    public void add(T ob) { 
     myData.add(ob); 
    } 

    public T getAtIndex(int ix) { 
     return myData.get(ix); 
    } 
} 

Теперь компилятор гарантирует, что могут быть добавлены только T экземпляры и извлекаться из экземпляров MyList. Поскольку компилятор гарантирует, что T экземпляров всегда будут возвращены, вы можете использовать синтаксис, как это без какого-либо ручного литья:

String myString = myList.get(1); 

обобщен класс MyList теперь типобезопасный. Компилятор не позволит вам хранить что-либо, кроме T экземпляров в экземплярах MyList, что гарантирует отсутствие во время выполнения ClassCastExceptions. Если вы изучите байт-код, вы обнаружите, что компилятор автоматически разместил бросок.

Generics in Java Только компилирование явление. В байтовом коде все ссылки на T в классе MyList выше заменены на Object. Этот процесс называется «стирание типа».Важно помнить, что безопасность типов в Java обеспечивается только компилятором. Если ваша программа компилируется без ошибок И без каких-либо предупреждений, то ваша программа, дженерики и все, является безопасным по типу. Однако скомпилированная программа практически не сохранила информацию об общих параметрах.

Answer 2

От дальше вниз в классе:

@SuppressWarnings("unchecked") 
E elementData(int index) { 
    return (E) elementData[index]; 
} 

public E get(int index) { 
    rangeCheck(index); 

    return elementData(index); 
} 

Это @SuppressWarnings говорит компилятору, что вы уверены в бесконтрольной гипсе, что вы выполняете там. Поскольку все остальные операции, такие как get(int), используют параметр типа E, это ограничивает обработку небезопасного типа конкретными местами, где разработчик может удостовериться в правильности обработки броска.