Java：具体的なパラメータ化された型のnull以外の配列への参照を持つことができるのはなぜですか？

Question

私は驚きましたが、...これはコンパイルされます。ここでは

public <T extends Database> ColMetaData<T>[] getTableColumnsAsEnums() { 
      Class<? extends ColMetaData> cls = this.columnsEnumToken(); 
      return cls.<ColMetaData<T>[]>getEnumConstants(); } 

はcolumnsEnumTokenするための方法である：

// Returns a class token for an enum class 
public Class<? extends ColMetaData> columnsEnumToken() { 
    return this.e_colsToken; 
} 

（私は下の2番目の行はコンパイルされませんなぜ私が見ることができますね）

いくつかの質問：

• は、このメソッド「タイプです安全"？

• なぜ、この行のコンパイルを行います。

  Class<? extends ColMetaData> cls = this.columnsEnumToken();

  をしかし、この1つはので、互換性のない型のコンパイルに失敗します。

  Class<? extends ColMetaData<T>> cls = this.columnsEnumToken();

• なぜそれが復帰する方法getTableColumnsAsEnums()ための法的です具体的なパラメータ化された型の配列ColMetaData<T>[]私はこれらが厳密に動詞であると思っていました。なぜなら、それらを安全に操作するランタイム方法がなかったからです。

Answer 1

クラス

理論的には、クラスはパラメータ化された型を表すことができません。たとえば、List<String>のクラスはないので、Class<List<String>>と書くべきではなく、Class<List>と書くべきです。

Class<? extends List<String>>は意味があります。例えば、我々が持っている場合

public class MyStringList extends ArrayList<String>{} 

MyStringList.classは、ジェネリック配列型と間違って何もない

が、それはJavaがいずれかをインスタンス化するために私たちを禁じていることだけだClass<? extends List<String>>

ジェネリックアレイにあるClass<MyStringList>ですしかし、その理由はあまり説得力がありません。あなたが安全であることを知っている限り、キャストを通して1つだけ作成して作成することができます。

実際には、ジェネリックアレイを作成するための簡単な方法があります。 varargsがX...のメソッドを呼び出すと、X[]オブジェクトが作成されます.Xは任意のタイプにできます。

代入互換性

どうやらいくつかの後方互換性の理由のために、我々はList[]List<String>[]に割り当てることができます。そのため返品タイプがColMetaData<T>[]である間にColMetaData[]オブジェクトを返すことができます。

Answer 2

ColMetaData<T>[]のことを考えてください。 Javaでは、ジェネリックは厳密にはコンパイル時の問題です。実行時には、それらは存在しなくなります。したがって、実際にランタイムに伝えていることは、ColMetaDataインスタンスの配列を持っているということです。具体的な型です。ただし、配列に任意の型を使用する場合とは異なります。配列型はまだColMetaDataであり、Javaはコンパイル時にこれを判別できます。次に、コンパイラーは、格納するインスタンスが正しいジェネリック型を使用していることを追跡する必要があります。