あるプログラマの日記

プログラマのメモ、出来事、考えたこと、勉強とかの雑記

2012-05-20から1日間の記事一覧

型パラメータの変位指定(variance)

型パラメータで型の横に共変(+), 反変(-)の変位アノテーションを付けて変位指定ができる。 変位指定アノテーションを付けない場合は非変(nonvariant)になる。 どのパラメータ型を渡せるかの3種類の規則を指定。 共変(covariant) 型コンストラクタに共変の変…