Javaのジェネリクスはなぜオブジェクト型しか入れられないのでしょう？

Question

初心者です。
HashMapを利用していて、とても疑問に思うことがあります。
それは、

import java.util.*;

class Main{
    public static void main(String[] args){
    Map<String,Integer> nameAndHeight=new HashMap<String,Integer>();
//クラスのみんなの名前と身長を入れる連想配列です
    nameAndHeight.put("田中",172);
    nameAndHeight.put("吉田",168);
    nameAndHeight.put("野村",171);
    nameAndHeight.put("ダレイオス三世",345);
    System.out.println(nameAndHeight.get("野村"));
//？？？
//なんで<String,Integer>なんでしょうね？？？
//<String,int>のほうが打ってて楽なんですけど
    }
}

どうして<>の中にはオブジェクト型しか入らないのだろう、という事でした。

調べてみると<>はジェネリクスと言う、
引数の型を限定しないまま型安全を保持できる機能で使われるようです。
しかし、ジェネリックの中には、やはりオブジェクト型しか入らないようです。

「これがHashMapにオブジェクト型しか入らない原因かぁ……」
と分かったものの、ではなぜジェネリクスにオブジェクト型しか入れられないのか
よくわかりません。
どなたかご教授下されば幸いです。

Answer 1

ジェネリクスがJava 5で入った、後付けの機能だということが要因です。

ジェネリクスの導入以前は、<>なしで、ArrayListとかHashMapだけで宣言して、要素はすべてObject型でした。Objectからの派生型の値を取り出す場合には、必ずキャストが必要でした。

Java 5でジェネリクスが登場しましたが、この型の割当てはあくまでソースコード上のものであって、従来との互換性の関係もあって、コンパイルした後にはObjectを扱うような形となります。ということで、ジェネリクスはObject派生の型にしか使えません。

Comments

[SkipEveryLunch]

ご回答ありがとうございます。
なるほど、歴史的な経緯によるものだったのですね。

Answer 2

ジェネリクスは代入可能なデータ型の継承関係をチェックする仕組みです。
プリミティブ型は参照元となるルートクラス(つまりObject)がなく、継承関係がわからないため、ジェネリクスで扱う事ができないと覚えれば良いですね。

※例えば継承関係がチェックされる例としてList<? extends T>やList<? super T>があります。

以下の記事が参考になるかと思います。
https://qiita.com/pebblip/items/1206f866980f2ff91e77

Comments

[SkipEveryLunch]

ご回答ありがとうございます。
ジェネリクスと継承のあいだに何らかの関係があるとは思いもしませんでしたが、グーグル検索すると次々にヒットが出ます。これだけでもしばらくは退屈しないくらい深いトピックのようですね。