Size: a a a

2021 May 27

0

000Sanya in dlang.ru
Вот в яве затирание
источник

0

000Sanya in dlang.ru
Он там для красоты тип
источник

0

000Sanya in dlang.ru
А в шарпе нет возможности работать с типами
источник

Т8

Т-34 85 in dlang.ru
Короче, жду пруфов, что это лишь ограничение, а не сначала органичение, а после этого - затирание до этого ограничения, затем работа с интерфейсом
источник

0

000Sanya in dlang.ru
так тогда объясни мне нормально, что такое затирание
источник

Т8

Т-34 85 in dlang.ru
Это отброс информации о типе. Апкаст, каст к void*
источник

0

000Sanya in dlang.ru
ну в шарпе я не могу ща точно проверить, ибо это надо рыться в jit выхлопе
источник

0

000Sanya in dlang.ru
а в расте легко
источник

0

000Sanya in dlang.ru
там нет такого типа
источник

0

000Sanya in dlang.ru
просто
источник

0

000Sanya in dlang.ru
есть Any
источник

0

000Sanya in dlang.ru
но не всяк тип умеет в Any
источник

0

000Sanya in dlang.ru
да и по выхлопу с годболд видно, что на каждый тип свое порождение
источник

0

000Sanya in dlang.ru
Такое реально я помню только в jvm
источник

DP

Dmitry Popov in dlang.ru
Всё так, JVM и CLR по-разному с генериками работают. Джаве приходится все стирать в void*, a в CLR вм знает про генерик типы и их параметры в рантайме. Потому там можно new T(). Нужный тип будет вставлен.
источник

DP

Dmitry Popov in dlang.ru
Вот, кстати, и пример ABI и DLL с генериками
источник

DH

Dark Hole in dlang.ru
Мне кажется это не пруф, т.к. можно просто вставить конструктор скрытым параметром
источник

DP

Dmitry Popov in dlang.ru
Это не пруф, это факт
источник

DP

Dmitry Popov in dlang.ru
Почитай про их устройство
источник

DP

Dmitry Popov in dlang.ru
Открой Рихтера того же
источник