AH
голый value нигде не нужен
В жсонах нужен, в сравнении нужен, теги нужны чтобы просто один айди в другой не положить когда их много
Size: a a a
2020 January 17
λ
в жсонах ты уже написал енкодер, для сравнения тоже напишешь
M
а где нужен точно так же анврапаешь как и с супертагед
таггеты не нужно анврапать, что за дичь?
M
T @@ U <: T . метод raw не для того, чтобы анврапать, а для того чтобы явно убрать U из типа - это случай один на 1кк или даже меньше
λ
ок не нужно
M
того же можно добавиться и как val
v:T = T @@ U, тоже самое, что rawλ
не оч знаком с либой
AH
того же можно добавиться и как val
v:T = T @@ U, тоже самое, что rawЭто не апкаст ли?
M
не оч знаком с либой
тогда зачем предлагать
class Id[T](value:String) если не знаешь в чем ляпота таггетов? ))M
Это не апкаст ли?
даункаст
λ
в этом лепота?
λ
так себе
AH
даункаст
Но это почти asInstanceOf
M
Это не апкаст ли?
или ап. я не помню, не оперирую этими терминами 🤔 Но так можно
λ
я думал ето заместо никаких анивалов
M
я думал ето заместо никаких анивалов
Все правильно. И одна из доп.суперплюшек - иметь возможно не писать
.value для получения исходного значения где оно требуется.AH
или ап. я не помню, не оперирую этими терминами 🤔 Но так можно
Апкаст это каст в base type, статически безопасный
Даункаст каст в derived type, статически известно что они в отношении наследования, но в статике неизвестна безопасность каста, может завалиться в рантайме
Даункаст каст в derived type, статически известно что они в отношении наследования, но в статике неизвестна безопасность каста, может завалиться в рантайме
M
Апкаст это каст в base type, статически безопасный
Даункаст каст в derived type, статически известно что они в отношении наследования, но в статике неизвестна безопасность каста, может завалиться в рантайме
Даункаст каст в derived type, статически известно что они в отношении наследования, но в статике неизвестна безопасность каста, может завалиться в рантайме
значит апкаст, который выполняется автоматически компилятором
λ
Все правильно. И одна из доп.суперплюшек - иметь возможно не писать
.value для получения исходного значения где оно требуется.ну я б не назвал это плюшкой, помню были жаркие дискуссии делать таги вариантными или нет
λ
кстати вопрос а зачем там обьекты обьявляются почему нельза просто type Id[T] = T @@ Id