SOLID принципы

@ht1515 · Регистрация: 31.01.2010

Студворк — интернет-сервис помощи студентам

всего 5 принципов:
1) srp - класс должен описывать только те характеристики, которые на объект из предметной области возложены. То есть либо кот, либо пес, котопес быть не может.
2) ocp - Писать надо классы так, чтобы их можно было легко расширить, но не изменять
3) Лисков - ???
4) делайте много маленьких интерфейсов, один дольшой интерфейс это плохо. Так как рефакторинг усложняется...
5) Инверсия зависимостей. Типо композицию поменяйте на агрегацию

Я не понимаю принцип Лисков. Можете объяснить популярно?

@Fulcrum_013 · 02.02.2017, 01:45

Сообщение от asmquest

в программировании все -- абстракции.

Абстракция в программировании - это то чего нет в оперативной памяти ЭВМ. А все что есть это уже не абстракция а данные.

@Shamil1 · 02.02.2017, 01:48

Сообщение от asmquest

где там про копирование классов в отношение хаскеля?

Вы не можете прочитать то, что сами написали? Я Вам подчеркну:
"классика жера памяти -- это жаба и хашкель. жер памяти [в Джаве и Хаскеле] обусловлен тем, что там каждый дочерний класс копирует все из родительского класса"

Сообщение от asmquest

так я же и сказал, что нет.

То есть, классов нет, но расход памяти из-за классов.

Сообщение от asmquest

Там суррогат

Опять Вы пишите свои суждения о том, о чём не знаете.

Сообщение от asmquest

Продолжать смысла нет.

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

@Fulcrum_013 · 02.02.2017, 01:49

Сообщение от asmquest

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

Какое к дьяволу наследование? Для наследования должны быть классы. А это ни что иное как абстрактная сигнатура которая существует в виде данных исключительно в компайл тайме в словаре парсинга. Если изменение сигнатур объектов доступно в рантайме то никаких классов и наследования вообще нет. Есть клонирование экземпляров, некоторые из которых могут служить неизменяемыми прототипами. Но это ничего не меняет.

@asmquest · 02.02.2017, 01:51

Сообщение от Fulcrum_013

а данные.

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

@Fulcrum_013 · 02.02.2017, 01:51

Сообщение от asmquest

данные -- это тоже абстракции.

Данные это конкретные нолики и единички размещенные по конкретным адресам в ОЗУ

@asmquest · 02.02.2017, 01:54

Сообщение от Fulcrum_013

это конкретные нолики и единички

ноликов и единичек тоже в реальности не существует

Добавлено через 2 минуты

Сообщение от Fulcrum_013

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

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

@Fulcrum_013 · 02.02.2017, 01:56

Сообщение от asmquest

это объекты отвечающие на сообщения, то-есть программы

Объекты не есть программы это наборы программ как минимум связанные с обрабатываемыми ими данными. Это если в теории. А на практике никто не отменял данных фундаментальных типов которые как ни крути являются элементарными пассивными хранилищами обрабатывемыми извне, из которых собираются активные хранилища, способные к самообработке.

@asmquest · 02.02.2017, 02:05

Сообщение от Fulcrum_013

это наборы программ

ничто не мешает быть программе набором из других программ. Так оно обычно и бывает.

Сообщение от Fulcrum_013

являются элементарными пассивными хранилищами

с точки зрения ООП нет никаких пассивных хранилищ, пассивен ли объект или активен, зависит от применения оного. может быть как array.foreach (объект активен, принял сообщение), так и foreach(array, action)(пассивен, является объектом воздействия). Так же как и в реальном мире, животное может съесть, а может быть съедена. Вопрос точки зрения и стилистики языка(запомнить слово vs слово запоминается)

В любом случае, любая структура данных в ООП инкапсулирует поведение, соответственно, не может являться пассивной в любом контексте

@Fulcrum_013 · 02.02.2017, 02:07

Сообщение от asmquest

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

Убогие недоразработчики убогих недоязыков не поняли в свое время элементарной вещи - код методов в рантайме создан быть не может, мало того, изменение интерфейсов объектов требует изменения кода дирижера который ими дирижирует. При этом для изменения типа объекта в общем случае недостаточно замены списка методов, необходима еще и конверсия данных по правилам создание которых не может быть в общем случае формализовано, так же как и не могут быть формализованы правила проверки совместимости полей класса A с полями класса B. А создание того кода создание которого может быть формализовано, можно сделать и в компайлтайме используя к примеру механизм шаблонов. Соответсвенно динамическое изменение сигнатур вообще юселесс.

Добавлено через 1 минуту

Сообщение от asmquest

пассивен ли объект или активен, зависит от применения оного.

Переменная типа Int методов не имеет. соответсвенно обрабатываться может только извне.

@asmquest · 02.02.2017, 02:13

Сообщение от Fulcrum_013

код методов в рантайме создан быть не может

не вижу препятствий

Сообщение от Fulcrum_013

мало того, изменение интерфейсов объектов требует изменения кода дирижера который ими дирижирует

только в некоторых случаях, как правило -- нет

Сообщение от Fulcrum_013

При этом для изменения типа объекта в общем случае недостаточно замены списка методов, необходима еще и конверсия данных по правилам создание которых не может быть в общем случае формализовано, так же как и не могут быть формализованы правила проверки совместимости полей класса A с полями класса B.

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

Сообщение от Fulcrum_013

Переменная типа Int методов не имеет

В ООП нет никаких переменных, только имена слотов. В своем строчном контексте, имя слота имеет методы. А если речь об объекте типа Int, то, соответственно в нормальных языках также имеет методы, и является тру-объектом

@Fulcrum_013 · 02.02.2017, 02:18

Сообщение от asmquest

ничто не мешает быть программе набором из других программ. Так оно обычно и бывает.

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

Добавлено через 2 минуты

Сообщение от asmquest

А если речь об объекте типа Int, то, соответственно в нормальных языках также имеет методы, и является тру-объектом

Ну если брать вообще концептуально то в плюсах все операторы рассматриваются как методы переменных.

@asmquest · 02.02.2017, 02:21

Сообщение от Fulcrum_013

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

такое понимание идет от узости мышления. Любая программа, по сути, есть набор подпрограмм. ООП как раз и создан для такого абстрагирования. Но даже более примитивные концепции типа ФП и процедурщины позволяют строить подобные абстракции(композиция функций, вложенность и тп). Что уж говорить о таком мощном инструменте как ООП, у которого это by design

@Fulcrum_013 · 02.02.2017, 02:22

Сообщение от asmquest

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

Это не заморочки это реалии. Даже если список полей классов A и B ограничивается одним интом то в A этот инт может кодировать цвет а в B может кодировать направление открытия двери. Даже введение раздельных типов для сущностей вопросов с повестки дня не снимает. Потому как в немного более сложной ситуации все равно возникнут неоднозначности для чего предназначены те или иные данные в сочетании с данными из другого поля. соответсвено кодировать конверторы из типа в тип все равно придется вручную.

@asmquest · 02.02.2017, 02:22

Сообщение от Fulcrum_013

все операторы рассматриваются как методы переменных

в нормальных языках они не рассматриваются, а являются ими де-факто

@Fulcrum_013 · 02.02.2017, 02:25

Сообщение от asmquest

не вижу препятствий

Терминатор - это антинаучная фантастика. Препятствие одно - задача формализации задачи не формализуема.

Добавлено через 1 минуту

Сообщение от asmquest

в нормальных языках они не рассматриваются, а являются ими де-факто

Т.е. нормальными языками вы называете исключительно пожиратели памяти?

@asmquest · 02.02.2017, 02:27

Сообщение от Fulcrum_013

Даже если список полей классов A и B ограничивается одним интом то в A этот инт может кодировать цвет а в B может кодировать направление открытия двери

И что с того? Так оно и должно быть, а по вашему инты могут только что то одно кодировать? Если сложить можно умножить уже никак, или что? Я не понимаю в чем проблема. К чему это все вообще?

Добавлено через 1 минуту

Сообщение от Fulcrum_013

пожиратели памяти?

Я уже сказал, там нет никакого жора памяти. Жор памяти обычно в статике. Там очень много дублирования, копирования, метаинформаци, инлайнинга и тп, отсюда и жор.

@Fulcrum_013 · 02.02.2017, 02:29

Сообщение от asmquest

Любая программа, по сути, есть набор подпрограмм

Ну дак объект это по большому счету не набор подпрограмм, а набор равноправных программ связанных общим контекстом данных. Во всяком случае это касается public секции. А подпрограммы которые эти программы сообща пользуют живут в секциях private и protected, т.е. к интерфейсу не имеют ни малейшего отношения.

@asmquest · 02.02.2017, 02:31

Сообщение от Fulcrum_013

Препятствие одно - задача формализации задачи не формализуема.

это как? А создание в компилтайме как формализуется?

Добавлено через 1 минуту

Сообщение от Fulcrum_013

а набор равноправных программ

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

@Fulcrum_013 · 02.02.2017, 02:38

Сообщение от asmquest

И что с того? Так оно и должно быть, а по вашему инты могут только что то одно кодировать? Если сложить можно умножить уже никак, или что? Я не понимаю в чем проблема. К чему это все вообще?

А это озночает что для конверсии объекта из типа A в тип B не достаточно просто поменять список методов. Необходимо еще сконвертировать данные причем по правилам которые не могут быть сгенерированны автоматически. Соответсвенно конвертер придется писать ручками. А поскольку возможность конверсии ограничена набором оных написанных ручками конвертеров, то и список пригодных к обработке сигнатур ограничен наборами в которые возможна конверсия. Соответсвенно может быть создан в компайлтайме, Следовательно какие либо изменения сигнатур классов в рантайме никакого смысла вообще не имеют.

Добавлено через 5 минут

Сообщение от asmquest

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

Далеко не всегда. Некоторые не имеют смысла без вызова их из определенного набора надпрограмм. К примеру публичный метод вызывает протектед метод используя для его вызова приватные данные. Вызов такого метода извне объекта вообще смысла не имеет и может нарушить логику работы объекта. Поэтому метод не равноправен с публичными, вызов его извне публичного метода невозможен.

@asmquest · 02.02.2017, 02:52

Сообщение от Fulcrum_013

А это озночает что для конверсии объекта из типа A в тип B не достаточно просто поменять список методов.

Ну, вообще то о конверсии из типа в тип речь не шла, хотя это тоже возможно.

Тривиальным и распространенным является добавление родителя, в цепочку наследования, но можно и своп сделать. Но это, как бы, не очень распространенный кейз. Не очень то это нужно.

Добавлено через 48 секунд

Сообщение от Fulcrum_013

Вызов такого метода извне объекта вообще смысла не имеет и может нарушить логику работы объекта. Поэтому метод не равноправен с публичными, вызов его извне публичного метода невозможен.

Это вообще из другой оперы

Добавлено через 2 минуты

Сообщение от Fulcrum_013

Соответсвенно может быть создан в компайлтайме, Следовательно какие либо изменения сигнатур классов в рантайме никакого смысла вообще не имеют.

Это все хрень, которая привязана к статической типизации, это не имеет значения для нормальных языков

Добавлено через 6 минут

Сообщение от Fulcrum_013

какие либо изменения сигнатур классов в рантайме никакого смысла вообще не имеют.

Кстати, изменение классов в рантайме очень даже имеет смысл, это придает языку овер100000 гибкости. Все экземпляры и сабклассы всегда наследуют актуальные вещи, и могут сами вносить изменения в классы

Добавлено через 3 минуты

Сообщение от Fulcrum_013

изменения сигнатур классов

Допустим, есть класс, который предоставляет курс валюты, есть объект, который в этом классе постоянно меняет этот курс, опрашивая некий сторонний ресурс раз в 10 секунд. В итоге все подклассы и экземпляры этого класса будут всегда оперировать актуальными данными

Новые блоги и статьи Все статьи Все блоги /
Запустил конкурс "тем и промптов для текстовых квестов созданных почти чисто ИИ" Adler 06.10.2026 Всем привет! За последние три-четыре дня я создал более 16 текстовых квестовых игр используя преимущественно по одному запросу к ИИ на игру. Мне так понравилось смотреть все ветки/ сцены во всех. . .	ИИ не может найти нужный язык в списке Supersumestria 05.10.2026 Я ему даю вот такое изображение и прошу найти и подчеркнуть немецкий язык. Возвращает он вот это: https:/ / i. **********/ vqBWLe2. png Нужную строчку в 3й колонке просто выдумал. . Это. . .	Новая последняя моя музыка в SUNO zorxor 05.10.2026 Здравствуйте, дорогие мои друзья! С большой радостью я хотел бы представить вам свою новую последнею музыку, которую сгенерировала мне по моей просьбе нейросеть SUNO. С уважением, zorxor. Это. . .	Программный домашний кинотеатр russiannick 27.09.2026 Сподобился на программный домашний кинотеатр. В качестве ЯВУ по традиции выбрал js. В помощники взял Яндекс-Алису. Было создано три зала на разные интересы. исторические и ретро сериал Хичкок. . .
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .

@ht1515 шарпопочитатель 59 / 26 / 7 Регистрация: 31.01.2010 Сообщений: 1,035

	SOLID принципы 23.01.2017, 17:55. Показов 17642. Ответов 359 Метки нет (Все метки) всего 5 принципов: 1) srp - класс должен описывать только те характеристики, которые на объект из предметной области возложены. То есть либо кот, либо пес, котопес быть не может. 2) ocp - Писать надо классы так, чтобы их можно было легко расширить, но не изменять 3) Лисков - ??? 4) делайте много маленьких интерфейсов, один дольшой интерфейс это плохо. Так как рефакторинг усложняется... 5) Инверсия зависимостей. Типо композицию поменяйте на агрегацию Я не понимаю принцип Лисков. Можете объяснить популярно? 0