Почему этот список не генерирует исключение ClassCastException?

Question

Учитывая следующую структуру класса:

class Animal {} 
class Dog extends Animal {} 
class Cat extends Animal {} 

И создать список, используя дженерики только на инициализацию и не по ссылке:

List dogs = new ArrayList<Dog>(); 

Почему этот код генерировать ClassCastException?

dogs.add(new Cat()); // How is Cat casted to Dog??! 
Cat cat = (Cat) dogs.get(0); // Return perfectly valid Cat object. 

Я понимаю, что не будет никакой ошибки компиляции, поскольку list ссылка не имеет каких-либо обобщений и будет принимать какие-либо Object. Но почему JVM генерирует какое-либо исключение, когда я пытаюсь добавить объект Cat?

Answer 1

Переменная dogs имеет тип List, который является необработанным типа. Это не типа List<Dog>.

И поскольку это сырой тип, вы можете добавить к нему любой объект. Ваш экземпляр Cat не накладывается ни на что.

Generics предоставляет только безопасность и проверку во время компиляции, они не используются во время выполнения.

Подробнее о необработанных типах в Java Language Specification 4.8. Raw Types.