Реализация рантаймовых дженериков

Задумался я тут на тему дженериков, а именно, нельзя ли как-то сделать на jvm аналог нормальных рантаймовых дженерики, как в .net. И пришёл к выводу, что таки можно с помощью рефлексии. Можно было бы заставить компилятор в каждом обобщённом классе помещать скрытые поля с информацией о используемых типах, а при создании экземпляров классов - помещать в эти поля актуальные классы параметров объекта. Ну а дальше понятно, везде, где необходимо, компилятор также помещает нужные проверки типов и привидений, с использованием Class.isInstance(), Class.cast().

Но идея то простая, так что я наверняка не первый, кому это пришло в голову. В связи с этим вопрос - существуют ли какие-нибудь реализации этой идеи? Может быть в каком-нибудь jvn языке уже такое сделано? Или я не вижу какую-то фатальную проблему такого подхода, которая не позволит всё это провернуть? Пока что единственная проблема, которую я вижу - это скорость таких обобщенных классов из-за слишком активного использования рефлексии. Но, учитывая, что сейчас все кому не лень используют фреймворки и либы, активно использующие рефлексию, и все вполне шустро работает, то я не уверен, что этот недостаток так уж фатален.

0

Сообщение от rerf2010rerf нельзя ли как-то сделать на jvm аналог нормальных рантаймовых дженерики, как в .net

Можно. Присоединяйся

0

korvin_, что-то я не нашёл там, о чем спрашивал. О дженериках там нашёл только то, что хотят разрешить использовать примитивы в качестве параметров типов. И все рассуждения там на эту тему - как сейчас плохо от того, что примитивы нельзя и как станет хорошо, когда станет можно. А вот о том, чтобы сделать возможность работы в рантайме с параметрами типов как обычными типами - ни слова. Но, я может плохо искал? Там много всего.

0

Сообщение от rerf2010rerf что-то я не нашёл там, о чем спрашивал

Плохо искал. Ищи reified generics.

0