Koks skirtumas tarp "is-a" ir "has-a" santykių?

Question

Accepted Answer

**Is-a** yra *tipo* santykis — modeliuojamas su **paveldėjimu** (`Car` *yra* `Vehicle`). **Has-a** yra *sudėties* santykis — modeliuojamas su **kompozicija** (`Car` *turi* `Engine`). Pasirinkti teisingą — tai yra pagrindinė modeliavimo sprendimas.

## Kodėl tai svarbu

```java
// IS-A → inheritance
class Vehicle { void move() {} }
class Car extends Vehicle { }        // a Car IS A Vehicle

// HAS-A → composition
class Engine { void start() {} }
class Car2 {
    private Engine engine = new Engine();   // a Car HAS AN Engine
    void start() { engine.start(); }        // delegate to the part
}
```

## Klasikinis testas

Klausimasx: "Ar X *yra tam tikro tipo* Y, ar X *turi/naudoja* Y?"

```text
A Dog        IS-A Animal        → inheritance ✅
A Car        HAS-A Engine       → composition ✅
A Square     IS-A Shape         → inheritance ✅
A Manager    HAS Employees      → composition (a list) ✅
A Stack      HAS-A list (not IS-A) → composition (see earlier pitfall) ✅
```

## Pradžia

Žmonės siekia paveldėjimo *kodo kartojimui*, net kai santykis iš tikrųjų yra has-a. Jei negalėtumėte pakeisti potklasę bazine klasės visur, tai tikriausiai nėra is-a — naudokite kompoziciją.

## Kodėl tai svarbu

Šis skirtumas yra praktinis sprendimo taisyklė už "priimti kompoziciją paveldimu": pasirinkite santykį, kuris yra tikras, o ne tą, kuris sutaupa kelias eilutes.

Kai tai darote teisingai, hierarchija lieka seka ir nuosekli, o tai neleido Liskov pažeidimams, kai "poklasis" negali iš tikrųjų pakeitinti savo tėvinės klasės.