В идеальном мире

Абстрактный класс-родитель

Первый способ — переделать иерархию так, чтобы Square не наследовался от Rectangle. Мы можем ввести новый класс, чтобы и квадрат, и прямоугольник наследовались от него.

Создадим абстрактный класс RightAngleShape, чтобы описать фигуры с прямым углом:

abstract class RightAngleShape {
  // Используется для изменения ширины или высоты,
  // доступен только внутри класса и наследников:

  protected setSide(size: number, side?: 'width' | 'height'): void {}

  abstract areaOf(): number
}

Классы Rectangle и Square будут переопределять методы, поведение которых специфично для каждого из них:

class Square extends RightAngleShape {
  edge: number

  constructor(size: number) {
    super()
    this.edge = size
  }

  // Переопределяем изменение стороны квадрата...
  protected setSide(size: number): void {
    this.edge = size
  }

  setWidth(size: number): void {
    this.setSide(size)
  }

  // ...И вычисление площади:
  areaOf(): number {
    return this.edge ** 2
  }
}

class Rectangle extends RightAngleShape {
  width: number
  height: number

  constructor(width: number, height: number) {
    super()
    this.width = width
    this.height = height
  }

  // Переопределяем изменение ширины и высоты...
  protected setSide(size: number, side: 'width' | 'height'): void {
    this[side] = size
  }

  setWidth(size: number) {
    this.setSide(size, 'width')
  }

  setHeight(size: number) {
    this.setSide(size, 'height')
  }

  // ...И вычисление площади:
  areaOf(): number {
    return this.width * this.height
  }
}

Теперь поведение наследников не конфликтует с поведением базового класса. Это позволит использовать и Rectangle, и Square там, где объявлено использование RightAngleShape.

Интерфейс

Общий родительский класс — это только одно из решений. Мы помним, что наследование лучше заменить на более абстрактные вещи, например, на интерфейс. Второй способ заключается именно в использовании интерфейса.

Мы можем превратить родительский класс RightAngleShape в интерфейс Shape с описанным методом areaOf, а также описать интерфейсы для фигур, у которых есть ширина (WidthfulShape) и высота (HeightfulShape):

interface Shape {
  areaOf(): number
}

interface WidthfulShape {
  setWidth(size: number): void
}

interface HeightfulShape {
  setHeight(size: number): void
}

Классы Rectangle и Square тогда могут реализовать их так:

// Указываем, что необходимо реализовать в этом классе:

type SquareShape = Shape & WidthfulShape

class Square implements SquareShape {
  edge: number

  constructor(size: number) {
    this.edge = size
  }

  protected setSide(size: number): void {
    this.edge = size
  }

  // Указываем метод, меняющий ширину (описан в `WidthfulShape`)...
  setWidth(size: number) {
    this.setSide(size)
  }

  // ...И метод, который считает площадь (описан в `Shape`):
  areaOf(): number {
    return this.edge ** 2
  }
}


// Для прямоугольника, кроме площади и ширины,
// необходимо указать и высоту,
// поэтому добавляем интерфейс `HeightfulShape`:

type RectShape = Shape & WidthfulShape & HeightfulShape
type ShapeSide = 'width' | 'height'

class Rectangle implements RectShape {
  width: number
  height: number

  constructor(width: number, height: number) {
    this.width = width
    this.height = height
  }

  protected setSide(size: number, side: ShapeSide): void {
    this[side] = size
  }

  setWidth(size: number) {
    this.setSide(size, 'width')
  }

  // ...И реализуем метод, описанный в `HeightfulShape`:
  setHeight(size: number) {
    this.setSide(size, 'height')
  }

  areaOf(): number {
    return this.width * this.height
  }
}

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

Следуя же LSP, мы проектируем поведение сущностей так, чтобы оно не конфликтовало с базовой абстракцией. Это позволяет нам использовать любой из классов Rectangle или Square там, где заявлено использование как Shape, так и WidthfulShape.

Материалы к разделу

• The Liskov Substitution Principle, PDF
• SOLID Principles by Examples: Liskov Substitution Principle
• How does strengthening of preconditions and weakening of postconditions violate Liskov substitution principle?
• Applying “Design by Contract”, Bertrand Meyer, PDF
• The Liskov substitution principle, Adaptive Code Via Agile, PDF

Вопросы