Телеграмм чат группы dlangru страница 9892

чего?

Того, что вообще до жёппы как оно там в байткоде.

Да это как раз норм. Type erasure как она есть.

ага, я про него.

Того, что вообще до жёппы как оно там в байткоде.

ну смотри, например когда у тебя два метода с одинаковым именем и в них генерики List<String> и List<Int> насколько я помню ява ругнется смачно

13:47пожаловаться #3

Dmitry Popov in dlang.ru

Другой вопрос, что такой подход не годится для языков с value types, a go как раз весь такой.

13:48пожаловаться #4

void foo(List<Int>);
void foo(List<String>);

вот это не сработает

13:48пожаловаться #5

там еще какие то проблемы есть

13:48пожаловаться #6

ну в общем не зря в котлине сделали reified генерики

13:49пожаловаться #7

Dmitry Popov in dlang.ru

void foo(List<Int>);
void foo(List<String>);

вот это не сработает

Точно?

void foo(List<Int>);
void foo(List<String>);

вот это не сработает

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

Точно?

не уверен, но я помню напарывался на природу такую генериков

13:49пожаловаться #10

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

тогда либы работать не будут

13:49пожаловаться #11

тогда либы работать не будут

почему?

13:50пожаловаться #12

почему?

они распространяются как байт код, а не исходниками

13:50пожаловаться #13

Хидеров не бывает?

13:50пожаловаться #14

Хидеров не бывает?

да их кроме плюсов нигде нет

13:51пожаловаться #15

Игорь in dlang.ru

А что в яве не так с дженериками?

хз, просто в яве они есть а в плюсах их нет же?

13:51пожаловаться #16

да их кроме плюсов нигде нет

в сях и в D есть :)

13:51пожаловаться #17

в сях и в D есть :)

и все

13:51пожаловаться #18

а для нативных языков хедеры совсем дичь, как показывают плюсы

13:51пожаловаться #19

Игорь

хз, просто в яве они есть а в плюсах их нет же?

Дженерики это просто немного другая реализация полиморфных функций через боксинг. То бишь там все заворачивается в грубо говоря void*.