ジェネリクスの型引数に共変性・反変性を持たせることが可能になりました。contravariance」参照。)ジェネリックの共変性・反変性ジェネリクスの共変性・反変性というものがどういうものかというのを説明する前に、まず背景を。ジェネリックコレクションに関して、昔から以下のようなことをしたいという要望がありました。以下のような不正な値の書き換えが起こり得る。可能なインデクサーを持っていることです。ない場合なら、ここで挙げたような不正な書き換えは起こらないわけです。みたいな事が出来ても問題ないはず。(こういうのを共変性(covariance)と言います。みたいな事をして大丈夫。(こういうのを反変性(contravariance)といいます。共変性・反変性を実現するための仕組みが追加されました。いう修飾子を付けることでこれを保証します。annotation)と呼ぶそうです。いう修飾子を指定します。Reset();}こうすることで、共変性が認められます。いう修飾子を指定します。引数としてしか使われない}こうすることで、今度は反変性が認められます。組み合わせもあり得ます。レベルでの対応が必要になります。相当のフラグを設定する機能がありました。そのフラグを立てれるようになっただけ。付いていることを確認できます。以前でも共変性・反変性を使えたりします。してから無理やりキャストする必要はある。組み込み整数型や、struct、enum)には共変性・反変性は使えません。