ジェネリクスの共変性と反変性

ウィキペディア小見出し辞書

ジェネリクスの共変性と反変性

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/08/17 21:54 UTC 版)

「C SharpとJavaの比較」の記事における「ジェネリクスの共変性と反変性」の解説

C#、Java共に、ジェネリクスの共変性と反変性 (covariance and contravariance) を持つ。ただしC#における共変性・反変性のサポートはバージョン4.0以降である。 C#では、型定義側で共変性outあるいは反変性inを指定し、利用側では変性の指定を行わない。なお、C#の値型は不変 (invariant) であり、共変性・反変性は適用されない。 // C#// System.Func と同様のデリゲートを定義。// 型定義側で変性の指定を行う。public delegate TOut MyFunc(TIn arg);public class GenericsTest { public static void Main() { // 利用側では変性の指定を行わない。 MyFunc func1 = x => "<" + x + ">"; MyFunc func2 = func1; object ret = func2("test"); System.Console.WriteLine(ret); System.Console.WriteLine(ret.GetType()); // System.String }} Javaでは、型定義側では変性の指定を行わず、利用側で共変性extendsあるいは反変性superを指定する。Javaではさらに、上限と下限のいずれも指定しないワイルドカード?による型引数の指定が可能である。以下にJava 8の例を示す。 // Java// java.util.function.Function と同様のインターフェイスを定義。// 型定義側では変性の指定を行わない。@FunctionalInterfaceinterface MyFunc { TOut apply(TIn arg);}public class GenericsTest { public static void main(String[] args) { // 利用側で変性の指定を行う。 MyFunc func1 = x -> "<" + x + ">"; MyFunc func2 = func1; Object ret = func2.apply("test"); System.out.println(ret); System.out.println(ret.getClass().getName()); // java.lang.String // 変性の上下限いずれも指定しないこともできる。 java.util.List list; }}