Т8
так а в чём проблема? В твоём случае не будет рантайм оверхеда, или что?
Size: a a a
2021 April 27
TK
Обычно наследование советуют ещё заменять композицией
TK
Можно испортить инвариант типа, если тот криво написан, или получить diamond problem, или унаследовать ненужное поведение
ΑZ
тем что если где-то в библиотеке ест ькуча полезных функций для типа внутри оберкти то тебе придетяся их все прокидывать
KR
Проблема в том, что апкаст/даункаст здесь не решение, а вынужденный костыль.
Учитывая насколько много и широко используются те же маркер-трейты в расте с доп. zst-параметрами для кодирования тех или иных инвариантов, то ты можешь представить ergonomic impact от того, что нужно порождать новый тип (класс) на каждый подобный кейс + апкастить/даункастить по кд.
Учитывая насколько много и широко используются те же маркер-трейты в расте с доп. zst-параметрами для кодирования тех или иных инвариантов, то ты можешь представить ergonomic impact от того, что нужно порождать новый тип (класс) на каждый подобный кейс + апкастить/даункастить по кд.
Т8
2 раза в иерахии до самого дальнего ребёнка? Ну то есть, реализовали для класса
A, объявили B : A, в B нельзя оверрайднуть тот самый дефолтный метод?TK
Плюс всё время работа по указателю с классами. Не существенный минус, медаль о двух сторонах, но имеет свои проблемы, довольно существенные.
KR
Можно не юзать подобный подход, конечно, и не использовать выгоду от автоматической проверки компилятором всех этих закодированных инвариантов.
Но так можно писать и на JS, и в ус не дуть.
Но так можно писать и на JS, и в ус не дуть.
П
impl<T: Trait1> Trait2 for T не? Там какая-то подобная конструкция
TK
Есть такое, но потом Trait2 никто не сможет заимплементить самостоятельно из-за отсутствия специализации
Т8
>испортить инвариант типа
можно пояснение?
> diamond problem
я почти уверен, что это высосанная из пальца проблема
> унаследовать ненужное поведение
в смысле? Как Раст от этого защищает ,например?
можно пояснение?
> diamond problem
я почти уверен, что это высосанная из пальца проблема
> унаследовать ненужное поведение
в смысле? Как Раст от этого защищает ,например?
Т8
можешь развернуть мысль, а то пока не понимаю?
Т8
в смысле "не решение, а костыль"? Ты точно понимаешь, что такое ООП?
TK
Первое
Забыл вызвать реализацию super (иногда необходимо), изменил поля неожиданным образом, проблемы с деструкторами (c++)
Второе
Ой, не смеши. Поэтому она называется a diamond of death.
Третье
Раст не наследует поведение, так же, как трейты не наследуют друг друга
Забыл вызвать реализацию super (иногда необходимо), изменил поля неожиданным образом, проблемы с деструкторами (c++)
Второе
Ой, не смеши. Поэтому она называется a diamond of death.
Третье
Раст не наследует поведение, так же, как трейты не наследуют друг друга
Т8
это ж суть ООП!
KR
Нет, смести акцент с ООП на те проблемы в коде, которые ты пытаешься им решить.
TK
По третьему: минус есть, но он исправим, например, при помощи derive_more
KR
Апкасты/даункасты на каждый чих?
Т8
какие проблемы?
KR
Ооо… есть фича-реквесты туда?)