S🤔
Вполне реальное, всего-то и надо соблюдать, чтобы потомки работали как предки и не ломали ход выполнения программы
Size: a a a
2021 September 12
ВО
Но сама идея виртуал методов этому протеворечит,когда потомок меняет поведение
E
А здесь мы начинаем говорить про open/closed
E
Что код должен расширять поведение, но не модифицировать исходное
E
Идеи в солиде вообще очень забавно переплетаются друг с другом
S🤔
Не, поведение менять можно, главное чтобы у тебя например исключение не вывалилось где не попадя в классе потомка
S🤔
А так да, многие конструкции языка противоречат солиду (или наоборот)
S🤔
Да и вообще тру ООП это не про шарп
E
Лучший пример, который бы соответствовал и который я видел - это ThreadPoolExecutor с переопределяемыми after / beforeSubmit() в джаве. Он эти методы вызывает внутри себя, поэтому потомком ты можешь добавить дополнительные вещи в лайфсайкле, но не можешь при этом влиять на собственно работу экзекьютора
E
Солид не имеет жесткой привязки к ооп
E
Даже принцип лисков говорит нам про подтипы, а не конкретно про наследование (:
Ɖ
Зато ООП бояре любят его гвоздями прибивать
Ɖ
К ООП
E
Хотя википедия говорит мне сейчас, что подтипы это строго термин ООП (((
D
дяк ))
Ɖ
Вот бы SRTP в сишарпе
Ɖ
Типичный пример - хочу чтобы метод что то делал с объектом у которого есть свойство Id, но не хочу создавать связность таких классов/структур с общей абстракцией где есть Id
Ɖ
В фушарпе могу спокойно написать такую функцию
E
Структурное наследование придумали?