Исправление foror, (текущая версия) :
Мономорфизация для бедных
Это сделано из-за невозможности использовать примитивы в дженериках. Но будет исправлено и насколько понимаю в новой реализации дженериков будет генерироваться отдельный класс, как минимум мономорфизация для примитивов. А с учетом введения primitive class, то и для своих примитивов, видимо, тоже.
Опять же, вы смотрели код JIT? Почему бы не генерить отдельный код в рантайме для оптимизации горячего кода с полиморфизмом? Может JIT это уже умеет делать, но мне неприятно залезать в исходинки крестового уродца, чтобы удостовериться наверняка.
Исходная версия foror, :
Мономорфизация для бедных
Это сделано из-за невозможности использовать примитивы в дженериках. Но будет исправлено и насколько понимаю в новой реализации дженериков будет генерироваться отдельный класс, как минимум мономорфизация для примитивов. А с учетом введения primitive class, то и для своих примитивов, видимо, тоже.
Опять же, вы смотрели код JIT? Почему бы не генерить отдельный код в рантайме для оптимизации горячего кода с полиформизмом? Может JIT это уже умеет делать, но мне неприятно залезать в исходинки крестового уродца, чтобы удостовериться наверняка.