Liskov Substitution Principle (LSP) гласит, что объекты подтипа должны быть заменяемы на базовый тип без нарушения корректности программы. Если код работает с Base, он должен работать с любым Subclass — одинаковые поведенческие ожидания, никаких сюрпризов.
Каноническое нарушение: Square extends Rectangle
{
w, h;
{ .w = w; }
{ .h = h; }
{ w * h; }
}
{
{ .w = w; .h = w; }
{ .w = h; .h = h; }
}
{
r.setWidth();
r.setHeight();
r.area() == ;
}
