• Один класс – одна ответственность
• Одно изменение - одно место

• Открытость для расширения
• Закрытость для изменения

• Тип заменяется любым подтипом
• Ослабление предусловий
• Сохранение инвариантов
• Усиление постусловий
• Ограничение истории

• Зависимость только от используемого

• Клиенты зависят от абстракций
• Реализация зависит от абстракций

• Ширина
• Высота

• Сторона

Square extends Rectange

Rectangle extends Square

• boolean setWidth(int w)

Square extends Rectangle

• setWidth ≡ setSide

Square extends Rectangle

Rectangle setWidth(int w)

Square extends Rectangle

Square extends Rectangle
MutableRectangle extends Rectangle
MutableSquare extends Square

Square extends SquareOrRectangle
Rectangle extends SquareOrRectangle

Square::asRectangle
Rectangle::boundingSquare

Square extends Rectangle

• Сущность не изменяется
• Новое значение

• Студент
• Точка
• Адрес

• Сущностям

• class Point {
      int x, y;
  

• public boolean equals(Object o) {
      if (o instanceof Point) {
          Point that = (Point) o;
          return this.x == that.x && this.y == that.y;
      }
      return false;
  }
  

• Почему нет проверки на null?
• null instanceof T ≡ false

• x.equals(x) ≡ true

• x.equals(y) ≡ y.equals(x)

• x.equals(y) && y.equals(z) ⇒ x.equals(z)

• x.equals(y) не изменяется, если x и y не изменяются

• x.equals(null) ≡ false

• public class ColorPoint extends Point {
      protected int c;
      public boolean equals(Object o) {
          if (o instanceof ColorPoint) {
              ColorPoint that = (ColorPoint) o;
              return this.x == that.x && this.y == that.y && this.c == that.c;
          }
          return false;
      }
  }
  

• Несимметричность

• public class ColorPoint extends Point {
      protected int c;
      public boolean equals(Object o) {
          if (o instanceof ColorPoint) {
              ColorPoint that = (ColorPoint) o;
              return this.x == that.x && this.y == that.y && this.c == that.c;
          }
          return super.equals(o);
      }
  }
  

• Нетранзитивность

• Сравнивать объекты только одинакового класса
• Сравнивать как предков
• Послойное сравнение
  • canEquals