Что такое Reified Generics? Как они решают проблемы Type Erasure и почему их нельзя добавить без серьезных изменений? ⇐ JAVA

[Anonymous]

Я читал блог Нила Гафтера по этому вопросу, и мне до сих пор неясны некоторые моменты.

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

В качестве примера:

Код: Выделить всё

List list = REIList(T.Class);

Где REIList выглядит примерно так:

Код: Выделить всё

public REIList() implements List {
private Object o;
private Class klass;

public REIList(Object o) {
this.o = o;
klass = o.getClass();
}
... the rest of the list implementation ...

И методы используют Object o и Class class для получения информации о типе.

Зачем сохранять общий класс информация требует изменения языка, а не просто изменения реализации JVM?

Чего я не понимаю?

Подробнее здесь: https://stackoverflow.com/questions/879 ... d-why-cant