>>724
子の型の代入を認めるのを共変というのだけれども
配列の型は共変だから型が継承関係にあるならば代入できるよ

Number[] a;
a = new Integer[5];
a = new Double[5];