概要

ポリモーフィズムについてまとめる

ポリモーフィズムとは

• Poly（複数の）Morphism（形状）
• 複数の異なる型に対し、共有のインターフェースを提供すること
• 引数を受け取ったインスタンスがクラスによって違う振る舞いをすること

ポリモーフィズムの種類

• アドホック多相
  • 関数が異なる型の引数に対してそれぞれ異なる実装を持つ
  • 多重定義、関数のオーバーロードによって実現
• パラメータ多相
  • 型指定のないコードが書かれ、それぞれの型に対して透過的に使用できる場合
  • 型を引数として渡すことで様々な型に適用することができる
  • ジェネリクスやテンプレートによって実現
• 部分型付け
  • 共通の上位型を持つ複数の型を1つの名前で扱う場合

参考

• オブジェクト指向わかった気になっている?[ポリモーフィズム] java
• Wikipedia - ポリモーフィズム
• ポリモーフィズムをもっと理解する