型パラメータの変位 型パラメータには + や - の変位アノテーションを付けることで変位指定ができる。型パラメータの変位には以下の3つがある。 不変(nonvariant) : [A] 共変(covariant) : [+A] 反変(contravariant) : [-A] 不変 不変とした場合、funcの引数には型パラメータで指定したものと同じものしか受け付けない。 object Sample001 { class Nonvariant[A] def func(arg:Nonvariant[Number]) {println(arg)} def main(args: Array[String]) { func(new Nonvariant[Any]) // エラー func(new Nonvariant[Number]) // OK func(new Nonvariant[Intege