YS
Ну, всё остальное статически )
не, я про даункасты)
Size: a a a
2021 March 26
YS
Они совсем не проверяются статически?
YS
В какой-нибудь джаве я смогу Murka сдаункастить к Dogs а не к Cats и мне компилятор ничего не скажет?
AK
Там статически вообще ничего не проверяется?
Проверяются насколько это возможно.
Y
А как? Если ты кастишь объект-предок к объекту-потомку, который в рантайме потенциально может оказаться любым
YS
Или я путаю с upcast'ом
AK
В какой-нибудь джаве я смогу Murka сдаункастить к Dogs а не к Cats и мне компилятор ничего не скажет?
Не всегда он сможет это сказать
Y
Ну компилятор может отследить частные случаи и выкинуть проверку (а также заинлайнить всякие виртуальные вызовы), но это частные случаи
JS
А как? Если ты кастишь объект-предок к объекту-потомку, который в рантайме потенциально может оказаться любым
в рантайме — через тэги, так же, как в динамических языках
Y
в рантайме — через тэги, так же, как в динамических языках
Вопрос-то был про компайл-тайм
JS
а, тогда никак (кроме магии оптимизатора, который может подставить конкретные типы и в частных случаях выбросить лишний код)
Y
Или я путаю с upcast'ом
Cat к Animal — апкаст, Animal к Cat — даункаст, Cat к Dog — сайдкаст
Y
а, тогда никак (кроме магии оптимизатора, который может подставить конкретные типы и в частных случаях выбросить лишний код)
Ну я так и написала
YS
Cat к Animal — апкаст, Animal к Cat — даункаст, Cat к Dog — сайдкаст
Да, путаю)
YS
Ну вроде при даункасте проверки не нужны часто исходя из дизайна ооп?
YS
Что "потомок не должен уметь делать меньше чем родитель"
WB
.
Окей, а здесь что происходит? Напоминает JSON внешне
Конструкор типа User
JS
что-то здесь много ООП для хаскельного чата
YS
что-то здесь много ООП для хаскельного чата
Лучший ООП язык!
JS
Лучший ООП язык!
если только ООП через кодату выражать