லிஸ்கோவ் பிரதிமாற்ற கொள்கையை ஆழமாக விளக்குக.

Question

IT Interview Practice · 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` இரண்டும் `area()` கொண்ட `Shape`s ஆகும், ஆனால் எந்தொன்றும் மற்றொன்றல்ல. நடத்தையை வடிவமைக்க,天真な வரிசைப்படுத்தலை அல்ல.

## இது ஏன் முக்கியமாக உள்ளது

LSP என்பது பலுமையின் பதிவுக்கு *பாதுகாப்பை* வழங்கும் எந்த `if (x instanceof Square)` சரிபார்ப்பும் மீண்டும் மறுபுறம் உரிஞ்சுகிறது, சப்டைপிங்கின் குறிக்கோளை தகர்ப்பது.

இது **நடத்தை ஒப்பந்தங்களைச்** சுற்றியுள்ள மரபு வடிவமைப்பை மீண்டும் வரையறை செய்கிறது, சொற்களஞ்சியம் அல்ல — "கலவையை ஆதரிக்க" என்ற உண்மையான காரணம் உள்ளது என்பது பல is-a உறவுகள் LSP ஐ மீறுகின்றன.

நியமிত மீறல்: Square extends Rectangle

LSP உண்மையில் கோரிக்கையிடுகின்ற

எடுத்துக்காட்டை எவ்வாறு சரிசெய்வது

இது ஏன் முக்கியமாக உள்ளது

தொடர்புடைய கேள்விகள்