172 похожих чатов

Коллеги, подскажите, а downcast в Rust это всё ещё плохая

идея?
Я его избегаю ещё со времён С++, но там были весомые причины - во первых, это ломало всю красоту ООП дизайна, так как вынимало информацию о нижележащих типах в тех местах, где эта информация должна быть скрыта. Во вторых, это было медленно и работало только когда у объекта был vtable.
И вот я вчера джуниору одному в код ревью написал "let's get rid of downcast here", он спрашивает "why?". И тут я задумался.

5 ответов

8 просмотров

даункаст вреден не только потому что это связано с перфом, а потому что в колсайте возникает знание о конкретных типах где достаточно было бы знания о трейте

джуну нужно обьяснить что любая паника это минус. Если есть два варианта как сделать с паникой и без (без потери функциональности/прокидывания всего "наверх") то всегда стоит делать без

Αλεχ Zhukovsky
джуну нужно обьяснить что любая паника это минус. ...

Вы предлагаете "проглатывать" ошибки? Достался мне как-то такой проект... Переделывал.

Alex P
Вы предлагаете "проглатывать" ошибки? Достался мне...

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

можно почитать введение в http://lucacardelli.name/Papers/TypeSystems.pdf, в частности про trapped и untrapped errors и про static safety. существует иерархия ошибок, которая отображает выбор дизайна API: 1) static checks 2) trapped errors 3) untrapped errors делаем 1, если не получается или получается неудобно, делаем 2, если не получается или получается неудобно, делаем 3

Похожие вопросы

Обсуждают сегодня

А как старый хаскел с новым стыковать ? потому как тут работает https://play.haskell.org/saved/C3xpMzcd, а вот тут https://stepik.org/lesson/7602/step/9?unit=1473 нет ошибка C...
Fedor
131
что насчет пагинга? на осдеве непонятно(
Vi Chapmann 🪙
26
Вопрос я правильно понимаю что в коде newtype ArrowMap k v = ArrowMap { getArrowMap :: k -> Maybe v } getArrowMap есть функция типа k -> Maybe v, если да, то не понимаю задач...
Fedor
64
Народ, кто шарит в расширенных разделах (EBR/EPR) на дисках с разметками MBR? Везде пишут (в вики рус/англ) в частности + другие источники смотрел, что первый сектор расширенн...
Eugene Krasnikov (ᴊɪɴ x)
1
помогите решить вопрос ктото решал это?
Михаил Helper
9
Ребят, что лучше для реверса: гидра или ида?
En Vind Av Sorg
26
Делаю велосипед логгер. К сообщению хочу прикрутить некоторую информацию, типа, кем отправлено, какой уровень, и всякое такое. И тут подумалось мне, почему бы не хранить весь...
Serjone
24
Как Вы считаете нормально ли в двадцатых годах 21 века в ВУЗах Российской Федерации обучать студентов работе с TASM? Не слишком ли это "архаично"? (Если оффтоп или флейм для э...
Spiker01
52
что лучше для раста, Clion или IntellJ IDEA?
dbxty
11
А вообще существует редактор (современный), который не позиционирует себя как "легковесный, удобный и расширяемый"?
Andrey Zgarbul
7
Карта сайта