Каковы исключения для ввода стирания в Java?

Я думаю, что это просто сводится к этому:

• Ни один экземпляр объекта не хранит никакой информации о типе.

• Классы, однако, сохраняют все свои универсальные подписи (иначе у вас не было бы никакой проверки универсальных типов во время компиляции).

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

Пример:

 class MyList extends ArrayList<MyObject>{}

 List<MyObject> x = new MyList();

Отражение скажет вам, что это список MyObject (поскольку эта информация скомпилирована в класс MyList).

но

List<MyObject> x = new ArrayList<MyObject>();

Отражение не даст вам ничего полезного (поскольку класс ArrayList ничего не знает о MyObject).

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

Если подумать, это не совсем «исключение» из правила стирания. Скорее, это делает так, чтобы рассматриваемый класс не был родовым, путем его явного овеществления.