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

Size: a a a

dlang.ru

165 membersпожаловаться на группу

2021 May 27

Т8

Т-34 85 in dlang.ru

Это значит, что теряется информация об исходном типе. Полностью или частично

источник

11:14пожаловаться #1

000Sanya in dlang.ru

Про шарп: что.....
Про раст: что.... Всмысле затираются?

источник

11:14пожаловаться #2

Т8

Т-34 85 in dlang.ru

То. Ссылочные типы затираются

В расте да, затираются. Ты не знал? Они потом рифаятся в MIR, но во фронте именно затёрты

источник

11:15пожаловаться #3

Dark Hole in dlang.ru

А, type erasure
А разве в шарпах не затираются? Хотя, надо проверить

В плане затираются?

Так стоп, я чуть потерялся

источник

11:16пожаловаться #6

Dark Hole in dlang.ru

Где в шарпах темплейты? О.о

источник

11:16пожаловаться #7

Т8

Т-34 85 in dlang.ru

Там для примитивных типов инстанцирование, а для ссылочных -боксинг

источник

11:17пожаловаться #8

000Sanya in dlang.ru

T4 разве что, но кому он нужен

источник

11:17пожаловаться #9

Dark Hole in dlang.ru

Ааааа

источник

11:17пожаловаться #10

000Sanya in dlang.ru

Про раст: я знаю что если у меня написано Vec<T> то мне компилятор и породит отдельный Vec для моего T

источник

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

000Sanya in dlang.ru

В шарпе ровно тоже

источник

11:18пожаловаться #12

Т8

Т-34 85 in dlang.ru

В прямом. Ты указываешь where в дженерике - и вот здесь ты затираешь

источник

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

000Sanya in dlang.ru

только там jit этим занимается

источник

11:18пожаловаться #14

000Sanya in dlang.ru

так это не затирание типа, это ограничения на тип

источник

11:18пожаловаться #15

Т8

Т-34 85 in dlang.ru

И всё, после этого ты не знаешь в компайлтайме какой именно тип пришёл

источник

11:19пожаловаться #16

Т8

Т-34 85 in dlang.ru

Ну, и как ты узнаешь исходный тип в компайлайме, если это не затирание?

источник

11:19пожаловаться #17

000Sanya in dlang.ru

так это не затирание типа, у тебя просто нет средств работать с типом

источник

11:20пожаловаться #18

Т8

Т-34 85 in dlang.ru

Каких средств? Информации об исходном типе?

источник

11:20пожаловаться #19

Dark Hole in dlang.ru

Т.е. в шарпах нельзя так? void func<T>() { T t; }

источник

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