Почему конструктор EnumMap нуждается в аргументе класса?

Question

Конструктор класса EnumMap нуждается в классе в качестве аргумента.Большую часть времени K.class передавался в качестве аргумента.Я до сих пор не понимаю, в чем причина принятия этого в качестве аргумента вместо вывода из К.

Спасибо
- pkc

Answer 1

Ответ Тома правильный, но для решения другого вопроса: причина, по которой эта информация не может быть просто выведена из параметра типа K, вызвана стиранием типа .

Answer 2

Реализации EnumMap нуждаются в метаинформации о enum, в частности о количестве значений. Объект Class предоставляет эту информацию (IMO, было бы лучше использовать определенный тип дескриптора enum). Если у вас нет Class, вы всегда можете использовать HashMap с некоторым штрафом. Я думаю, вы могли бы создать растущий / незафиксированный EnumMap -подобный Map.

Answer 3

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

Для EnumMap<K extends Enum> это означает, что вы получаете EnumMap<Enum> во время выполнения без какой-либо информации о K. Это ограничение дженериков java можно обойти, передав классы универсальных аргументов конструктору в качестве объектов класса. все еще существует во время выполнения.

Answer 4

Таким образом, Map знает все возможные ключи.Это называется (внутренне) keyUniverse.В комментариях говорится:

Все значения, включающие K. ( Кэшировано для производительности )

Answer 5

Generics - это функция времени компиляции, однако этот класс K необходим во время выполнения, чего-то общего в этом случае не будет.