共変性と反変性

（コンピュータプログラミングの型システムでの）共変性と反変性（きょうへんせいとはんぺんせい、covariance and contravariance）とは、データコンテナのサブタイプ関係が、そのデータ要素のサブタイプ関係に連動して定義されるという概念を指す。また、関数の型のサブタイプ関係での、引数型と返り値型の汎化特化の制約を定義する概念でもある。ジェネリックなデータ構造、関数の型、クラスのメソッド、ジェネリックなクラス、ジェネリック関数などに適用されている。 共変性と反変性は、圏論由来の用語である。この用語には以下の概念がある。 * 共変（covariant）は、派生 <: 基底 とすると、B <: A ならば I<b> <: I<a></a></b> * <a> <: I<b></b></a> * <b><a></a></b> * *