is-a関係とhas-a関係の違いは何ですか?

Question

Accepted Answer

**Is-a** は*型*の関係 — **inheritance**でモデル化されます（`Car` *は* `Vehicle` *です*）。**Has-a** は*包含*の関係 — **composition**でモデル化されます（`Car` *は* `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) ✅
```

## 落とし穴

人々はコード*再利用*するためにinheritanceに頼ることがあります。関係が本当はhas-aでも。サブクラスを至る所でベースの代わりに置き換えることができないなら、is-aではない可能性があります — compositionを使いましょう。

## なぜ重要なのか

この区別は「compositionをinheritanceより優先する」の背後にある実践的な決定ルールです。コード行数を節約できる関係ではなく、真実の関係を選びましょう。

これを正しくすることで階層構造が浅く正直に保たれ、サブタイプが親の代わりに立つことができないLiskov違反を防ぎます。