Javaジェネリックス型キャスティングが必要ですか？

Question

これは私の教科書からのコードです：

Stack<String>[] a = (Stack<String>[]) new Stack[N]; 

私の質問は以下のとおりです。

1. なぜそれが "新しいスタック[N]" とは？

2. 作成された新しいスタックアレイでタイプ変換を行う必要があるのはなぜですか？私はちょうど

   Stack<String>[] a = new Stack[N]; 
   

でそれを試してみましたが、それがコンパイルされ、罰金走りました。文字列をaにプッシュしてpopメソッドを印刷した後でも。またintを押すとすぐに私にコンパイルエラーが出るので、なぜ型変換する必要があるのですか？

Stack<String>[] 

具体的には？

Answer 1

パラメータ化された型の配列は作成できません（Restrictions on Generics参照）。したがって、... = new Stack<String>[N]は使用できません。 ... = new Stack[N]を使用すると動作しますが、チェックされていない変換について警告が表示されます（警告を表示するには、javacで-Xlintを使用してください）。

唯一の正しい方法は、生のパラメータを使用して配列を作成し、次にチェックされたキャストを目的の型に適用することです。あなたはその質問の意味が、あなた場合は何を意味するか

Answer 2

1. わからない理由ない新しいStack<String>[N]ための私の答えのjavaのarrays does not support parameterized array creation.

2. は、（1）作成した配列がパラメータ化されていないので、それがありますパラメータ化された変数に代入しています。そのため、オプションですが、チェックされたキャストを優先します。

Answer 3

最初に気づいたように、キャストは不要です。キャストがなければ、チェックされていない変換警告が表示されます（キャストではキャスト警告が表示されません）。生の型とパラメータ化された型の間の変換は、明示的なキャストなしで行うことができます（警告が表示されます）。

パラメータ化された型の配列を直接作成できない理由について質問している場合、これは、Javaの配列が実行時に、実行時に、配列が作成されたコンポーネント型。すなわち、ランタイムチェックは、何かがアレイのコンポーネントタイプのインスタンスであるかどうかをチェックするためにアレイに置かれるたびに実行される。

コンパイル時にジェネリック型の引数が存在しないため、実行時にinstanceofのパラメータ化された型をチェックすることはできません。それはinstanceof reifiedタイプをチェックすることだけが可能です。配列がパラメータ化された型で作成された場合、実行時に配列に格納されたすべてがその型のインスタンスであることを確認する契約を履行できません。この配列の保証に頼っている人は、予期しない結果を得るでしょう。したがって、あなたがそれをすることを許さないでしょう。しかし、生の型（あなたがやったこと）またはワイルドカード型の型を持つ配列を作成することは、それらがreified型なので大丈夫です。パラメータ化された型の配列として使用していますが、チェックされていない変換（警告あり）を行い、結果として発生する可能性のある安全上の問題について責任を負います。