Javaのジェネリックと配列型、あなたが考えているものではありません（ジェネリック型の配列など）

Question

ジェネリッククラスを配列、さらにはプリミティブ配列にする必要があると指定しようとしています。これまでのところ、私が働いているのはこれです：

interface Foo<T> { 
    void process(T data); 
} 

public class Moo implements Foo<int[]> { 
    void process(int[] data) { 
    // do stuff here 
    } 
} 

これは完全に有効なJavaコードであり、プリミティブ配列はオブジェクトを拡張するために機能します。この質問はと全く異なるであり、私が探し続ける他のすべてのJava配列の一般的な質問と同じです。そのような状況では、人々はジェネリック型から配列を作成したいと考えています。

問題は、タイプTは、オブジェクトを拡張するものであればどれでもかまいません。私が欲しいのような何かをすることです：

<T extends ONLY ARRAYS> 

または

<T extends ONLY PRIMITIVE ARRAYS>. 

可能ということですか？

EDIT：最終目標は、渡される配列型のコンパイル時のチェックを追加することです。現在、古いオブジェクトは渡すことができ、うまくコンパイルできます。間違いは、クラスキャスト例外がスローされたときにのみ実行時に検出されます。コンパイル時の型チェックを強力にするために、これはJavaのGenericsの全般的なポイントです。

Answer 1

これはできません。クラスは配列を拡張することができないので、汎用パラメータT extends Object[]を満たす型は決してありません。 （。Object[]そのもの以外に、しかし、あなたはジェネリックを使用していないでしょう）

あなたは何ができるかは、このようなものです：

public interface Foo<T extends Number> { 
    public void process(T[] data); 
} 

しかし、その後、あなたはボクシングでのパフォーマンス上の問題に実行することがあります。

Answer 2

できません。

Javaでは

public class SOTEST {  
    public static void main(String[] args) throws Exception { 
     int[] arr = new int[] {}; 
     Class c = arr.getClass(); 
     for(Class clazz:c.getInterfaces()) { 
      System.out.println(clazz.getName()); 
     } 

     System.out.println(c.getSuperclass().toString()); 
    } 
} 

Answer 3

、タイプパラメータがonlyサブタイプの関係によって制約、およびすべてのアレイareObject、Clonableの唯一の共通スーパータイプとすることができる：いいえ「興味深い」インターフェースも、任意のスーパータイプが、オブジェクトは、プリミティブの配列のために存在しませんSerializable。あなたが得ることができる最も近い、非プリミティブコンポーネントタイプを持つすべての配列のスーパータイプである、Object[]に拘束し、または可能性Number[]に、Integer[]のスーパータイプである、Long[]することです...

Javaがなかった場合でも、そのような制約をサポートしていれば、その配列で何か役に立つでしょうか？配列要素に代入可能な式を書き留めることはできないため、結果を保持する変数を宣言することも、個別の要素を書き込むこともできないため、個々の要素を読み取ることはできません。あなたがTを知っT[]を参照することができますので、

interface Foo<T extends Whatever> { 
    void process(T[] data); 
} 

が、T extends Object[]を知ることは、直接あなたがすることはできません：私は、コンポーネントタイプではなく、配列型への型変数をバインドするだろう、と述べた

コンポーネントタイプを参照してください。

編集：あなたは間違いなく<T extends Whatever>を宣言する私のアドバイスに従うと配列型を参照するためにT[]を使用する必要がありますので、ジェフリーが正しくその配列型は、型の境界に使用することはできないと指摘、すなわち<T extends Whatever[]>は、コンパイルされません。

Answer 4

Xの配列には型階層がありません。 Integer []はNumber []のサブクラスではありません。

、あなたが望む結果を得るあなたのタイプパラメータTとして、配列のコンポーネント型を使用して、パラメータを宣言し、この操作を実行する必要があるのはなぜT.