IT用語集 2024/11/25

ポリモーフィズムとは？ 10分でわかりやすく解説

コラム

ポリモーフィズムは、オブジェクト指向プログラミングにおける中核的な概念のひとつです。「理解しているつもり」でも、設計や実装の中で適切に使えていないケースは少なくありません。ここでは、ポリモーフィズムの定義・種類・使いどころをまとめ、なぜこの概念が保守性や拡張性に関わるのかを説明します。

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

ポリモーフィズム（polymorphism）とは、同じ操作（メソッド呼び出し）であっても、オブジェクトの実体に応じて異なる振る舞いをさせられる性質を指します。オブジェクト指向プログラミングでは、抽象化と組み合わせることで、変更に強い設計につながります。

オブジェクト指向における位置づけ

オブジェクト指向プログラミングは、主に次の3要素から構成されます。

カプセル化
継承
ポリモーフィズム

この中でポリモーフィズムは、「共通の扱い方で実装を差し替えられる」点に意味があります。条件分岐に頼りすぎない設計にしやすくなり、その結果、コードの見通しや拡張性を保ちやすくなります。

言葉の意味と由来

polymorphism は、ギリシャ語の「poly（多くの）」と「morph（形）」に由来します。プログラミングにおいては、単一のインターフェースに対して複数の実装が存在する状態を意味します。

一言で表すと

ポリモーフィズムは、「同じ呼び出しで、異なる処理が実行される仕組み」と要約できます。呼び出し側は実装の違いを意識せず、共通の型として扱える点が本質です。

ポリモーフィズムのメリット

再利用性の向上
拡張時の影響範囲を局所化できる
条件分岐の削減による可読性向上
保守性・テスト容易性の向上

特に業務システムや長期運用を前提とした開発では、仕様変更に対して変更点を局所化できるかが重要です。ポリモーフィズムは、その設計を支える考え方のひとつです。

ポリモーフィズムの主な種類

アドホックポリモーフィズム（オーバーロード）

同名のメソッドを、引数の型や数の違いで使い分ける手法です。これはコンパイル時に解決される仕組みであり、実行時多態とは区別されます。

パラメトリックポリモーフィズム（ジェネリクス）

型をパラメータとして抽象化し、特定の型に依存しない処理を記述する方法です。型安全性と再利用性を両立できる点が特徴です。

サブタイプポリモーフィズム（オーバーライド）

継承やインターフェースを利用し、上位型として扱ったオブジェクトに対して、実行時に適切な実装が選ばれるポリモーフィズムです。一般に「ポリモーフィズム」と言う場合、この形態を指すことが多くあります。オーバーライドは、その代表的な実現手段のひとつです。

ダックタイピング

明示的な型関係ではなく、メソッドの存在によって振る舞いを成立させる考え方です。主に動的型付け言語で用いられます。

具体的な使い方と設計上のポイント

継承を使う場合

親クラスの型でオブジェクトを扱い、処理の違いはサブクラスに委ねます。これにより、呼び出し側のコードを変更せずに振る舞いを追加できます。

インターフェースを使う場合

実装ではなく契約（インターフェース）に依存する形にすると、差し替えやテストがしやすくなります。ただし、継承とインターフェースのどちらが適切かは、共通実装を共有したいのか、振る舞いだけを規定したいのかで変わります。

コード例

abstract class Animal {
    abstract void makeSound();
}

class Dog extends Animal {
    @Override
    void makeSound() {
        System.out.println("Woof!");
    }
}

class Cat extends Animal {
    @Override
    void makeSound() {
        System.out.println("Meow!");
    }
}

public class Main {
    public static void main(String[] args) {
        Animal[] animals = { new Dog(), new Cat() };

        for (Animal animal : animals) {
            animal.makeSound();
        }
    }
}

呼び出し側は Animal 型として同じ makeSound() を呼んでいるだけですが、実行時には実体に応じて Dog と Cat の処理が選ばれます。これがポリモーフィズムの典型例です。