ლისკოვის ჩანაცვლების პრინციპი დეტალურად ახსენი.

Question

Accepted Answer

**ლისკოვის ჩანაცვლების პრინციპი (LSP)** ამბობს, რომ ქვეტიპის ობიექტები უნდა იყოს ჩანაცვლებული მათი ბაზის ტიპის ნაცვლად **პროგრამის სისწორე არ დაირღვეს**. თუ კოდი მუშაობს `Base`-ს შემთხვევაში, ის უნდა მუშაობდეს ყველა `Subclass`-ის შემთხვევაში — იგივე ქცევითი მოლოდინები, მოულოდნელობის გარეშე.

## კანონიკური დარღვევა: Square extends Rectangle

```java
class Rectangle {
    protected int w, h;
    void setWidth(int w)  { this.w = w; }
    void setHeight(int h) { this.h = h; }
    int area() { return w * h; }
}

class Square extends Rectangle {       // "a square IS-A rectangle"... seemingly
    void setWidth(int w)  { this.w = w; this.h = w; }   // keep sides equal
    void setHeight(int h) { this.w = h; this.h = h; }
}

void resize(Rectangle r) {
    r.setWidth(5);
    r.setHeight(4);
    assert r.area() == 20;   // holds for Rectangle... FAILS for Square (area=16)
}
```

`Square` *ღღვნის ხელშეკრულებას*, რომელზეც მწვილიანი ფიქრობენ: სიგანე და სიმაღლე დამოუკიდებლად დაყენება. ის გადის ინგლისური "is-a" ტესტს, მაგრამ **LSP-ს ღღვნის**.

## რა მოითხოვს LSP სინამდვილეში

```text
A subtype must NOT:
  ✗ strengthen preconditions  (demand more than the base, e.g. reject valid inputs)
  ✗ weaken postconditions     (promise less than the base)
  ✗ break invariants the base guarantees
  ✗ throw new unexpected exceptions for previously valid calls
A subtype MAY:
  ✓ weaken preconditions (accept more)   ✓ strengthen postconditions (promise more)
```

ეს არის **შესაბამისობის კონტრავარიანტობა, გამომავალი მონაცემების კოვარიანტობა** — LSP-ის ფორმალური ბირთვი.

## როგორ გამოვასწოროთ მაგალითი

ჩავაგდოთ მემკვიდრეობა: `Square` და `Rectangle` ორივე `Shape`-ები არის `area()`-თან, მაგრამ არცერთი არ არის მეორე. მოდელირებული ქცევა, არა ჩვეულებრივი ტაქსონომია.

## რატომ არის ეს მნიშვნელოვანი

LSP არის ის, რაც პოლიმორფიზმს *უსაფრთხოს* ხდის: მის გარეშე, ყველა `if (x instanceof Square)` შემოწმება კვლავ მოდის, რაც სუბტიპირების წერტილს წაგებს.

ის გადაწყვეტს მემკვიდრეობის დიზაინს **ქცევის ხელშეკრულების** გარშემო, არა ლექსიკის — რეალური მიზეზი, რის გამოც "კომპოზიცია უპირატესი" არსებობს, მრავალი is-a მიმართება ტიშემად ღღვნის LSP-ს.