総称型

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

総称型generic type)、あるいはパラメタ付型parametric type)とは、型付けされたプログラミング言語においてデータ型の定義とそれを参照する式(型式)の一部にパラメタを許すことによって類似した構造を持つ複数のデータ型を一括して定義して、それらを選択利用する仕組みである。

総称型は、暗黙の型変換(implicit type conversion)あるいは型強制(type coercion)、多重定義あるいはオーバーロード(overload)、継承(inheritance)あるいは包含(inclusion)と並んでプログラミング言語においてポリモーフィズムを実現するための一つの手段であると看做せる。 総称型が使われている言語の例としてC++のテンプレート、JavaC#のジェネリクスがある。

関連項目[編集]