Array.newInstanceの汎用バージョンはありますか？

Question

私はJavaでArray.newInstance()がT[]ではなくObjectを返すことに気付きました。このメソッドは、Javaがジェネリック型をサポートする前に導入されているため、理解できます。

しかし、これと同等の汎用バージョンが存在しないことは驚きです。 Java 7のArrays.copyOfは同じではありません。新しいダミー配列（すべてのヌルオブジェクトが内部にある）を作成するのではなく、パラメータの内容をコピーします。

これの実装は些細なようですが、それをJREに追加しない理由はありますか？または私はちょうど1つを見つけることができませんか？

UPDATE

私が質問の誤解を停止するために私自身の「些細な」実装を提供するものと思われます。

class MyArrayUtil { 
    //Generic version for classes 
    @SuppressWarnings("unchecked") 
    public static <T> T[] newArrayOf(T[] t, int len){ 
     return (T[]) Array.newInstance(t.getClass().getComponentType(), len); 
    } 
    //For array of int 
    public static int[] newArrayOf(int[] t, int len){ 
     return new int[len]; 
    } 
    //For other primitive types... 
} 

質問の答えではないため、私はこのコードを回答として掲示しません。問題は、実装する方法ではなく、理由や既存のコードに対するものです。

UPDATE

私はArrays.copyOfにそれを近づけるために、コードを更新している、と利点は、プログラマは、単に別のタイプのコードを調整するために、パラメータの種類を変更することができます。また、私はプリミティブ型のためにArray.newInstanceの使用を排除しました。

Answer 1

グアバはjust such a functionを提供します。 Guava（またはApache Commons）が何らかの理由でJDKにはない一般的なヘルパーを提供したのは初めてのことではありません。

あなたはこれを知っているかもしれませんが、将来的にこの問題を抱えるgooglerの背景については：Array.newInstancereturned Object in Java 1.4という方法があります。下位互換性のために、メソッドはObjectも返す必要があります。それは次のように汎用化されていた場合：

<T> T[] newInstance(Class<T> componentType, int length) 

...その後、戻り値の型はObject[]、ないObjectだろう。これは下位互換性を損なうことになります。これは、Javaデザイナーが常にやっていないことを非常に難しくしてきました。

Arrays.copyOfメソッドは、Java 1.6でのみ提供されていたため、下位互換性について心配する必要はありませんでした。

Answer 2

いいえ、具体的な型をパラメータとして一方向に渡す必要があります。あなたが言及したように、Arrays.copyOfがこれを実際に示しています。

Class<T> type = determinteTheTypeSomehow(); 
return (T[]) Array.newInstance(type, length); 

Answer 3

Array.newInstance()が<T> T[] newInstance(Class<T> class, int size)のように宣言できないという基本的な理由は、プリミティブの配列を作成するために使用できるからです。例えば、Class<Integer>のint.classを渡した場合、宣言からInteger[]オブジェクトを返すと予想されます。ただし、実際にはint[]オブジェクトが返されますが、サブタイプはInteger[]ではないため、型が間違っています。

確かに、彼らは、プリミティブ型を禁止newReferenceArrayInstance()ような追加のメソッドを追加することができ（プリミティブ型を渡されたときに、例えば、例外をスロー）、従って安全T[]を返すように宣言することができます。しかし、これは、チェックされていないキャストを避けるために完全に冗長なメソッドを追加するようなものです。