ООП, «святая троица» и SOLID: некоторый минимум знаний о них

Возвращаясь к вопросу о том, стоит ли использовать SOLID и всё остальное. Да, чёрт возьми.

Было бы лучше если бы вы убрали код под спойлеры и немного сократили статью.
Когда так много информации то она перестает усваиваться.

«Agile Principles, Patterns and Practices in C#» того же Роберта Мартина. К сожалению, не language-agnostic.

Есть более раннее издание "Agile Software Development, Principles, Patterns, and Practices" с примерами на C++ и Java. Так что можно сказать language-agnostic.

Я не гуру разработки ПО...

Возьмём пример пожёстче для большей наглядности. Класс, который запрашивает данные из БД и выводит их в определённый формате в .txt-файл.

D — The Dependency Inversion

Интересно как автор говорит про использование инкапсуляции и полиморфизма за пределами ООП, но не затрагивает абстракцию, которая, фактически, также является "одним из китов".
Интересно услышать мнение автора об абстракции. =)

И не хватает информации по отношению между объектами: ассоциации, агрегации и т.д. (Хотя уделили времяместо под KISS, YAGNI. Которые также косвенно касаются темы статьи).

Может есть задумки сделать вторую часть?
Можно было бы туда вынести заголовок "Главное в разработке ПО" и рассказать про отношения объектов.

А подпрограммы, которые задают поведение объектов называют методами. Как правило, набор методов свой у каждого класса, а не у каждого объекта. Чтобы каждый объект определённого класса вёл себя как и другие объекты того же класса. Буду рад узнать из комментариев о языках, где дело обстоит иначе

Дело обстоит немного иначе в языках реализующих metaobject protocol (Common Lisp Object System), да и вообще в языках в которых есть мультиметоды или multiple dispatch (Common Lisp, Clojure, Julia, C#). Там методы не принадлежат классам — классы это просто тип структуры. А методы реализуются над классами, и один и тот-же метод может быть объявлен для нескольких классов.

(defclass entity ()
  ((x :initarg :x :initform 0)
   (y :initarg :y :initform 0))
  (:documentation "Базовый класс сущности на карте"))

(defclass creature (entity)
  ((hp :initarg :hp :initform 100)
   (mana :initarg :mana :initform 0))
  (:documentation "Живое существо, наследник класса entity"))

Придумываем два типа существ. Обратите внимание — никаких методов внутри класса.

(defclass warrior (creature) ()
  (:default-initargs :hp 200 :mana 0)
  (:documentation "Воин"))

(defclass wizard (creature) ()
  (:default-initargs :hp 50 :mana 100)
  (:documentation "Волшебник"))

(setf conan (make-instance 'warrior))
(setf merlin (make-instance 'wizard))

(describe conan)
;#<WARRIOR {10033335F3}>
;  [standard-object]
;  X                              = 0
;  Y                              = 0
;  HP                             = 200
;  MANA                           = 0

(describe merlin)
;#<WIZARD {1002F1C9F3}>
;  [standard-object]
;  X                              = 0
;  Y                              = 0
;  HP                             = 50
;  MANA                           = 100

Научим их перемещаться.

(defgeneric walk (entity x y)
  (:documentation "Перемещает сущность на новое место"))

(defmethod walk (creature d-x d-y)
  (with-slots (x y) creature
    (setf x d-x)
    (setf y d-y)))

(walk conan 10 50)
(walk merlin 5 20)

(describe conan)
;#<WARRIOR {10033335F3}>
;  [standard-object]
;  X                              = 10
;  Y                              = 50
;  HP                             = 200
;  MANA                           = 0

(describe merlin)
;#<WIZARD {1002F1C9F3}>
;  [standard-object]
;  X                              = 5
;  Y                              = 20
;  HP                             = 50
;  MANA                           = 100

Пока все очень похоже на обычные ООП-языки. Зачем выносить метод из класса пока не очень понятно. Приведем пример еще одного метода.

(defgeneric attack (attacker target)
  (:documentation "Позволяет одному существу атаковать другое"))

(defmethod attack ((attacker warrior) (target wizard))
  (with-slots (hp) target
    (decf hp 20)))

(defmethod attack ((attacker wizard) (target warrior))
  (with-slots (mana) attacker
    (decf mana 10))
  (with-slots (hp) target
    (decf hp 40)))

(attack conan merlin)
(attack merlin conan)

(describe conan)
;#<WARRIOR {10033335F3}>
;  [standard-object]
;  X                              = 10
;  Y                              = 50
;  HP                             = 160
;  MANA                           = 0

(describe merlin)
;#<WIZARD {1002F1C9F3}>
;  [standard-object]
;  X                              = 5
;  Y                              = 20
;  HP                             = 30
;  MANA                           = 90

Метод attack диспатчится используя классы аргументов attacker и target. Когда воин атакует волшебника вызывается одна реализация метода, когда волшебник атакует воина — другая. Получается что метод attack нельзя положить ни внутрь класса warrior, ни внутрь класса wizard — он принадлежит одновременно обеим классам.

Такой вот гибкий полиморфизм.

Как правило, набор методов свой у каждого класса, а не у каждого объекта. Чтобы каждый объект определённого класса вёл себя как и другие объекты того же класса. Буду рад узнать из комментариев о языках, где дело обстоит иначе.

    public class A
    {
        public string Id { get; set; }
    }

    public class B : A
    {
        public string Name { get; set; }
    }

    public struct C
    {
        public C(string id)
        {
            Id = id;
        }

        public string Id { get; }
    }

    public struct D
    {
        public D(C @base, string name)
        {
            Base = @base;
            Name = name;
        }

        private C Base { get; }
        public string Id => Base.Id;
        public string Name { get; }

    }

    public class Program
    {
        public static void Main(string[] args)
        {
            var b = new B() { Id = "1", Name = "B" };
            var d = new D(new C("1"), "C");

            Console.WriteLine($"{b.Id}:{b.Name}");
            Console.WriteLine($"{d.Id}:{d.Name}");
        }
    }