Инкапсуляция vs Агрегирование , размышления в различных реализациях (языках программирования)

Мне одному кажется, что в случае с квадратами и прямоугольниками начать следует с вопросов о том, какие еще будут сущности, что вообще делаем, какую задачу в итоге решаем, и только потом уже начинать за наследование, классы и прочую агрегацию?

Сообщение отредактировано: Астарот - 23.10.19, 13:50

Цитата applegame @ 23.10.19, 11:15

Когда Круг является Эллипсом, но наследовать Круг от Эллипса - очень плохая идея.

Зависит от интерфейсов. В случае иммутабельных объектов - норм.

Цитата D_KEY @ 23.10.19, 13:55

В случае иммутабельных объектов - норм.

Тыщастопицот объектов-"кругов" будут занимать больше памяти за счет лишнего параметра.

Цитата Астарот @ 23.10.19, 13:35

В котором нет никакого наследования вообще

Подобие интерфейсов зато есть - https://elixirschool.com/ru/lessons/advanced/protocols/

Цитата JoeUser @ 23.10.19, 13:34

А-я-яй! Врешь и не краснеешь На первой же странице:

Врешь и не краснеешь, потому что я покраснел когда врал!

Цитата Wound @ 23.10.19, 13:41

Вот тут автор предлагает другое решение: https://dou.ua/lenta/articles/composition-v...itance-in-java/
Ну там он в принципе призывает отказываться от наследования. И приводит пример в самом начале.

Ни коем разом не противоречит мною написанному! Я просто расписал как правильно наследоваться в "придуманной проблеме", но не обсуждал - нужно ли это делать, или же можно решить проблему вообще иначе.

Добавлено 23.10.19, 14:21
Да и ващще, Бритва Оккама рулит!
И в определении последовательности наследования - рулит не менее!

Цитата applegame @ 23.10.19, 14:09

Подобие интерфейсов зато есть

Поведение из эрланга, я так понимаю?

Цитата Астарот @ 23.10.19, 14:57

Поведение из эрланга, я так понимаю?

Нет, это чисто эликсировская хрень, поведение - это совсем другое.

Сообщение отредактировано: applegame - 23.10.19, 15:47

Скрытый текст

Цитата applegame @ 23.10.19, 14:09

Врешь и не краснеешь, потому что я покраснел когда врал!

Цитата Астарот @ 23.10.19, 13:50

Мне одному кажется, что в случае с квадратами и прямоугольниками начать следует с вопросов о том, какие еще будут сущности, что вообще делаем, какую задачу в итоге решаем, и только потом уже начинать за наследование, классы и прочую агрегацию?

Не, не одному Любая задача жи начинается с осмысления, с построения более менее непротиворечивой и полной системы. Выдуманная и, увы, распространенная "проблема" наследования квадрата и прямоугольника - имхо, это очередной сферический конь в вакууме.

Цитата JoeUser @ 24.10.19, 08:02

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

Очевидно же, что это не проблема в смысле "сложная задача, которую трудно решить", это просто синтетический пример того, что вот этот вот тезис:

Цитата JoeUser @ 23.10.19, 09:03

1) Наследование используется, если имеем отношение "является"

в общем случае может привести (а может и не привести) к ошибке описанной в этом примере.
Для того чтобы избежать подобных косяков на практике, Барбара Лисков предложила довольно простой принцип.
Этот принцип является одним из пяти принципов SOLID

Вы же с Астаротом, похоже, восприняли эту "проблему" как некую критику наследования или хз что вы там подумали.

Сообщение отредактировано: applegame - 24.10.19, 10:48

Цитата applegame @ 24.10.19, 10:44

Вы же с Астаротом, похоже, восприняли эту "проблему" как некую критику наследования или хз что вы там подумали.

Лично я эту "проблему" воспринял так, что если это абстрактная проблема, то решать ее можно как угодно, а если реальная, то начинать решать надо совсем с другого

Цитата applegame @ 24.10.19, 10:44

Барбара Лисков предложила довольно простой принцип.

Принцип-то простой, но куда его прикладывать на практике я так до конца и не вкурил

Сообщение отредактировано: Астарот - 24.10.19, 10:56

Цитата Астарот @ 24.10.19, 10:56

Лично я эту "проблему" воспринял так, что если это абстрактная проблема, то решать ее можно как угодно, а если реальная, то начинать решать надо совсем с другого

Воспринимай эту "проблему" точно также как ты воспринимал вот эту

Цитата Астарот @ 23.10.19, 11:50

Есть еще более классическая фигня - лопата копает яму, или яма копается лопатой?

Цитата Астарот @ 24.10.19, 10:56

Принцип-то простой, но куда его прикладывать на практике я так до конца и не вкурил

А в чем трабла? Собрался наследовать B от A. Подумай, сможешь ли во все методы предназначенные для A корректно засунуть любой B. Если сможешь, все ок, если нет - что-то пошло не так.

Сообщение отредактировано: applegame - 24.10.19, 12:44

Цитата Астарот @ 24.10.19, 10:56

но куда его прикладывать на практике я так до конца и не вкурил

К отношениям
Вот если объект класса B может всегда и везде выступать как объект класса A, если контракты B полностью соответствуют контрактам A (в случае методов можно ослаблять предусловия и усиливать постусловия), тогда и применимо наследование

Сообщение отредактировано: D_KEY - 24.10.19, 12:54

Цитата applegame @ 24.10.19, 12:41

А в чем трабла? Собрался наследовать B от A. Подумай, сможешь ли во все методы предназначенные для A корректно засунуть любой B. Если сможешь, все ок, если нет - что-то пошло не так.

Проблема в том, что методов принимающих А много, и не все они писаны мной, поэтому, как проверить, что все ок не понятно.

Цитата D_KEY @ 24.10.19, 12:53

Вот если объект класса B может всегда и везде выступать как объект класса A, если контракты B полностью соответствуют контрактам A (в случае методов можно ослаблять предусловия и усиливать постусловия), тогда и применимо наследование

Что за "пред" и "пост" условия такие?

Цитата Астарот @ 23.10.19, 11:50

Есть еще более классическая фигня - лопата копает яму, или яма копается лопатой?

В этом мире человек копает яму лопатой. =)