Ποια είναι η διαφορά μεταξύ των σχέσεων is-a και has-a;

Question

IT Interview Practice · Accepted Answer

**Is-a** είναι μια σχέση τύπου *type* — μοντελοποιημένη με **κληρονομικότητα** (`Car` *is a* `Vehicle`). **Has-a** είναι μια σχέση τύπου *περιεχόμενου* — μοντελοποιημένη με **σύνθεση** (`Car` *has an* `Engine`). Η επιλογή της σωστής είναι μια βασική απόφαση μοντελοποίησης.

## Οι δύο σχέσεις

```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
}
```

## Το κλασικό τεστ

Ερωτήστε: "Είναι το X *ένα είδος* Y, ή το X *έχει/χρησιμοποιεί* ένα 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) ✅
```

## Παγίδα

Οι άνθρωποι καταφεύγουν στην κληρονομικότητα για *επαναχρησιμοποίηση κώδικα*, ακόμη και όταν η σχέση είναι πραγματικά has-a. Αν δεν θα μπορούσατε ποτέ να αντικαταστήσετε την υποκλάση με τη βάση παντού, είναι πιθανώς όχι is-a — χρησιμοποιήστε σύνθεση.

## Γιατί έχει σημασία

Αυτή η διάκριση είναι ο πρακτικός κανόνας απόφασης πίσω από "προτιμάτε τη σύνθεση έναντι της κληρονομικότητας": επιλέξτε τη σχέση που είναι αληθινή, όχι αυτή που εξοικονομεί μερικές γραμμές.

Η σωστή επιλογή διατηρεί τις ιεραρχίες ρηχές και ειλικρινείς, και αποτρέπει παραβιάσεις Liskov όπου ένα "υποτύπος" δεν μπορεί στην πραγματικότητα να αντικαταστήσει τον γονέα του.

Οι δύο σχέσεις

Το κλασικό τεστ

Παγίδα

Γιατί έχει σημασία

Σχετικές ερωτήσεις