>>47
＞Listに値を出し入れする時に正しい型かをチェックするので不必要なオーバーヘッドが発生する
それはコンパイル時のチェックではないか？

＞型パラメータがコンパイル時に消される
のであれば実行時に型をチェックすることはできないし、していないのではないか？