Java でジェネリック配列を直接作成できないのはなぜですか?

ジェネリックと配列の相互作用

ジェネリック型 (E[] 要素) を使用して配列参照を作成することはできますが、ジェネリック型 ( elements = new E[10]) は禁止されています。これは、ジェネリックと配列が型の強制を処理する方法の根本的な違いによるものです。

配列と共分散

ジェネリックとは異なり、配列は共変です。これは、スーパータイプの配列 (例: Object[]) をサブタイプの配列 (例: String[]) に割り当てることができることを意味します。これは、不変性を強制するジェネリックの場合には当てはまりません (例: List

型の強制

ジェネリックはコンパイル時に強力な型チェックを強制します。 、実行時例外を防止し、型の安全性を維持します。ただし、配列には実行時の型情報が含まれるため、互換性のない型の要素が挿入されると ArrayStoreExceptions が発生する可能性があります。

汎用配列の作成に関する問題

汎用コンポーネント型を使用した配列の作成 (例: 、T[]) は、実行時に型が不明なため安全ではありません。作成された配列が実際には偽装された Object[] である可能性があるため、型キャスト エラーや ArrayStoreExceptions が発生する可能性があります。

型キャストが機能する理由

なぜ elements = (E[]) なのか疑問に思うかもしれません。新しい Object[10] は機能するようです。これは、チェックされていない型キャストが原因であり、コンパイル時の警告は抑制されますが、それでも実行時例外のリスクが伴います。この場合、配列要素がジェネリック型と互換性がある場合、キャストは成功する可能性がありますが、常に機能するとは限りません。

E[] の回避策

ジェネリック型の配列を作成するにはチェックされていないキャストに依存せずに型を指定するには、Array#newInstance() メソッドを使用します。

public <e> E[] getArray(Class<e> clazz, int size) {
    @SuppressWarnings("unchecked")
    E[] arr = (E[]) Array.newInstance(clazz, size);

    return arr;
}</e></e>

Wildcard Parameterized型

ワイルドカードは実行時にパラメータ化を保持する具体化可能な型であるため、ワイルドカードでパラメータ化された型の配列 (例: List>[]) の作成が許可されます。たとえば、List>[] は List[] と同等です。

以上がJava でジェネリック配列を直接作成できないのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。