ポリモーフィズムとは何ですか？

Question

ポリモーフィズムとは何ですか？

Accepted Answer

**ポリモーフィズム**（「多くの形」）は、単一のインターフェイスが異なる基礎型で機能することを可能にします。*同じ呼び出し*が、実際のオブジェクトに応じて*異なるコード*を実行します — 実行時に選択されます。これは**サブタイプ多態性**です。

## 一つの呼び出し、多くの動作

```java
class Animal { String speak() { return "..."; } }
class Dog extends Animal { String speak() { return "Woof"; } }
class Cat extends Animal { String speak() { return "Meow"; } }

Animal[] zoo = { new Dog(), new Cat() };
for (Animal a : zoo) {
    System.out.println(a.speak());   // Woof, then Meow
}                                    // same call, different result per type
```

ループは、どの動物かを気にせずに `a.speak()` を呼び出します — ランタイムが正しいオーバーライドにディスパッチします。

## 強力な理由

後で新しい `Animal` サブタイプを追加できます。上記のループは**変更なし**で動作し続けます。コードは具体的なクラスではなく、抽象型に依存します。

```text
caller → Animal.speak()  ──dispatch──▶  Dog.speak()  OR  Cat.speak()
            (one interface)                  (many implementations)
```

## 落とし穴

オーバーロード（同じメソッド名だが*パラメータ*が異なり、コンパイル時に解決される）と混同しないでください。真の（サブタイプ）多態性は、オブジェクトに基づいて*実行時*に解決されます。

## なぜ重要なのか

ポリモーフィズムは、OOP を拡張可能にするものです：新しい動作は新しいクラスとして到着し、`if/else` チェーンに散らばった編集ではありません。

これは Open/Closed 原則と大ほどのデザインパターンの背後にあるメカニズムです — インターフェイスにプログラムし、ランタイムディスパッチに実装を選ばせます。