Java 1.7のHashMap のtable の初期化についての質問です．

Question

質問は１つです．
Entry<?,?>[] EMPTY_TABLEは，なぜEntry<K,V>[] EMPTY_TABLEではないのでしょうか．

java 1.7 のHashMap クラスのソースコードでは，EntryクラスのEnpty_talbleが以下のように宣言されています．
ここでジェネリクスの中身をワイルドカードにする理由はなにかあるのでしょうか．

/**
* An empty table instance to share when the table is not inflated.
*/
static final Entry<?,?>[] EMPTY_TABLE = {};

/**
 * The table, resized as necessary. Length MUST Always be a power of two.
 */
transient Entry<K,V>[] table = (Entry<K,V>[]) EMPTY_TABLE;

なにか理由があるのであれば教えていただきたいです．
よろしくお願い致します．

Answer 1

staticフィールドには、ジェネリック型が適用できないからだと思います。

Comments

[IwaoAkiba]

ありがとうございます，理解しました．

Answer 2

ここで用いられている型変数(KとV)はインスタンスの範囲で有効です。
インスタンスを生成するとき、あるいは継承するときに型変数に具体的な型をバインドして用います。
そのためstaticなフィールドやメソッド中ではこれらの型変数を用いることが出来ません。バインドされておらず型が定まらないというわけです。

java.util.HashMapのコードを見ると table はインスタンスフィールドでEntry<K,V>の配列であることが分かります。配列の初期値としてnullを用いたくないのでしょう、空の配列を用意しています。空の配列をHashMapのインスタンス毎にnewして用意しても良いのですが、標準ライブラリ故か、おそらく、パフォーマンスを意識して空の配列をstaticに用意して使いまわしています。

ソースコード中には以下の様なif文が散見されます。

if (table == EMPTY_TABLE) {
    
}

これは、空のEntry<K,V>の配列のインスタンスが同一であるように仕込みをしたことにより可能となっている表現方法です。この実装を機能させるためにK,Vがなんであれ同一の空配列をtableフィールドの初期値として持つようにしているのでしょう。

この際、EMPTY_TABLEは空の配列ですから、K,Vが何であるかは関係しません。なので

transient Entry<K,V>[] table = (Entry<K,V>[]) EMPTY_TABLE; 

といった乱暴なキャストをしても破綻しないというわけです。

以上を踏まえると、Entry<K,V>[]に強引にキャストするための元ネタのEMPTY_TABLEは、K,Vに具体的な値を表記する必要はなく、むしろ値が定まっていないことを表現してワイルドカードを用いてEntry<?,?>[]と表現することが妥当と言えるでしょう。

パフォーマンスを重視したテクニカルなコードと言えましょう。あまり真似はしないほうが良いかと思います。