共変 Java の型パラメータは共変では無いので、List<Number> に List<Integer> を代入できないのは有名。これを許容していないのは、型の安全性を保つために他ならないのだけど、配列は許容していたりする*1。 Number[] array = new Integer[1]; array[0] = 0.1d; ただ、Java </integer></number>…

「Javaでキャストする時」や、「Javaでキャストする時」に便乗。Java の場合、コンパイル後は型パラメータの型情報が無いので、型警告なしにキャストできないのは致し方ない。 id:Yamashiro0217 氏がやっているように、型警告の抑制を一箇所にあつめてキャス…