オブジェクト指向言語が持っている

同じ名前のフィールドやメソッドに複数の実装を許す

という性質のことを「ポリモーフィズム」と言います。
日本語では「多様性」「多態性」「多相性」等と呼ばれています。

さてポリモーフィズムは種類は大まかには

• アドホック多相
• サブタイプ多相
• パラメトリック多相

の3種類に分かれます。
では次のページからそれぞれの具体例を示していきます。