SP
класс должен быть классом а не процедуркой, завёрнутой в метод класса
Тоесть набор процедур, пнятненько
Size: a a a
2020 October 30
AD
Довольно сложное определение. Через причины изменений как-то проще)
причина изменений это какая-то абстрактная непонятная фигня
AD
через инварианты совершенно понятно - функциональная зависимость
AD
есть предикат - инвариант
AD
у него есть аргументы
SP
причина изменений это какая-то абстрактная непонятная фигня
Ну для многих давать данные инвариату это давать доступ к данным и нарушать инкапсуляцию, потому всеравно возникнут проблемы с трактовками)
AD
класс должен быть классом а не процедуркой, завёрнутой в метод класса
Класс = данные + инварианты + операции не нарушающие инвариант (ПрОцЕдУрКи)
AD
Ну для многих давать данные инвариату это давать доступ к данным и нарушать инкапсуляцию, потому всеравно возникнут проблемы с трактовками)
Ты даешь доступ к тому факту что инвариант выполняется, используя инстанс класса
SP
В целом да, почти как Хоар классы и описывал
YG
через инварианты совершенно понятно - функциональная зависимость
В твоём случае тогда всегда один модуль/класс - один инвариант получается
AD
В твоём случае тогда всегда один модуль/класс - один инвариант получается
не всегда
AD
иногда это нарушается
AD
и не всегда это криминал
SP
иногда это нарушается
Потому и сложно) а ещё можно на изи инвариантов наделать которые на самом деле не инварианты
АЯ
вабрику , недоступную извне модуля, можно назвать просто Factory
AD
вабрику , недоступную извне модуля, можно назвать просто Factory
зачем вообще эта терминолоигия
AD
она не фабрика, она ничего не производт
AD
это функция
AD
функция ничего не производит
AD
Функция - правило которое сопоставеляет элементы двух множеств каким-то образом.