Что такое Liskov Substitution Principle и что обязан соблюдать подтип?

Формулировка: если S — подтип T, то объекты T в программе можно заменить объектами S, и корректность не пострадает.

Правила контракта:

• предусловия нельзя усиливать — подтип не может требовать от вызывающего больше (принимать только положительные числа, когда базовый принимал любые);
• постусловия нельзя ослаблять — подтип не может гарантировать меньше;
• инварианты базового типа сохраняются;
• правило истории — подтип не меняет состояние способами, невозможными для базового (изменяемый подкласс неизменяемого типа).

Пример:

void resize(Rectangle r) {
    r.setWidth(5); r.setHeight(4);
    assert r.area() == 20;   // для Square — 16
}

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

В JDK: List.add у Arrays.asList и List.of бросает UnsupportedOperationException — формально документировано как «необязательная операция», но клиент, получивший List, не может на add положиться.

Как избежать: наследовать только при настоящем «является» по поведению; предпочитать композицию; делать иерархии неизменяемыми.