JavaではなぜArrays.copyOfのソースコードが反射を使用するのですか？

Question

openjdkのjava.util.Arraysのこのコードを理解できません。私はなぜこのコードがリフレクション（Array.newInstance）を使用しているのか、型が同じかどうかをチェックするのが不思議です。なぜT [] copy =（T []）new Object [newLength]は型Tと型Uが異なっていてもできないのですか？

public static <T,U> T[] copyOf(U[] original, int newLength, Class<? extends T[]> newType) { 
    T[] copy = ((Object)newType == (Object)Object[].class) 
     ? (T[]) new Object[newLength] 
     : (T[]) Array.newInstance(newType.getComponentType(), newLength); 
    System.arraycopy(original, 0, copy, 0, 
        Math.min(original.length, newLength)); 
    return copy; 
} 

Answer 1

それははことができます - しかし、その後、あなたがString[]を求めたのだ場合でもObject[]で終わるだろう。 Array.copyOfは、常に実際にObject[]を返した場合

String[] strings = Arrays.copyOf(existingArray, 10, String[].class); 
Object[] objects = strings; 
objects = new Object(); 

...しかし、それなりません：だからこのは失敗するはずです。

Answer 2

このような汎用タイプから配列をインスタンス化することはできませんnew T[newLength]。だからあなたができるのはnew Object[newLength]です。しかし、ArrayはArrayStoreExceptionをスローするためにアイテムタイプに関する情報を格納しますが、この場合は失われます。