共変性と反変性
Sign in to saveAlso known as bivariance, nonvariance, bivariant, nonvariant, invariance, invariant, covariance, covariant
relationship between a generic type or a function and a component type on subtyping
Wikidata facts
- Instance of
- quality
Show 2 more facts
- facet of
- generic programming
- characteristic of
- type constructor
Sources (1)
via Wikidata · CC0
Article · 日本語
（コンピュータプログラミングの型システムでの）共変性と反変性（きょうへんせいとはんぺんせい、covariance and contravariance）とは、データコンテナのサブタイプ関係が、そのデータ要素のサブタイプ関係に連動して定義されるという概念を指す。また、関数の型のサブタイプ関係での、引数型と返り値型の汎化特化の制約を定義する概念でもある。ジェネリックなデータ構造、関数の型、クラスのメソッド、ジェネリックなクラス、ジェネリック関数などに適用されている。 共変性と反変性は、圏論由来の用語である。この用語には以下の概念がある。 * 共変（covariant）は、派生 <: 基底 とすると、B <: A ならば I<b> <: I<a></a></b> * <a> <: I<b></b></a> * <b><a></a></b> * *
Abstract from DBpedia / Wikipedia · CC BY-SA