LSP, композиция vs наследование

LSP (принцип подстановки Лисков) — наследник должен полностью заменять родителя, не ломая логику программы. Если код работает с Animal, он обязан так же корректно работать с любым Dog extends Animal, без сюрпризов.

Классический пример нарушения — «Квадрат не должен наследоваться от Прямоугольника»:

class Rectangle {
    int width, height;
    void setWidth(int w) { width = w; }
    void setHeight(int h) { height = h; }
}

class Square extends Rectangle {
    void setWidth(int w) { width = w; height = w; }   // ломает ожидания!
    void setHeight(int h) { width = h; height = h; }
}

Код, который ожидает, что setWidth меняет только ширину прямоугольника, сломается на Square — это и есть нарушение LSP: наследник изменил поведение, а не просто расширил его.

// Наследование: Car IS-A Vehicle
class Car extends Vehicle { ... }

// Композиция: Car HAS-A Engine
class Car {
    private Engine engine;   // Car содержит Engine, а не "является" им
}