18/05/26 22:37:20.55 LE8Quobi.net
>>49
＞コンパイル時にリスト変数を使う関数自体に型チェックの命令を入れる
それは本当ですか？それを裏付ける資料はありますか？
「型チェックの命令を入れる」とのことですが、jvm 言語仕様上はどんな命令になるのですか？
ジェネリクスが無いときは、リスト取得時に
＞目的の型にキャストしていた
そのとおりだが、実際に実行コードが増えるわけではない、あくまでソース文面での整合をとるためだけなのではないですか？
＞バイトコードはジェネリクス使ってないコードと使ってるコードで同じになったりする
つまり「型チェックの命令を入れ」ないのではないですか？