型消去 とは？

そうではないよ。ジェネリクスの型パラメーターを置き換える仕組みで、境界がなければObject、たとえばT extends NumberならNumberになる。オブジェクト自体のクラスや、通常のメソッドの型が全部消えるわけではないんだ。

型引数ごとに新しいクラスを作る方式ではないよ。コンパイラーは型を検査し、必要なキャストやブリッジメソッドを補う。リストからStringとして取り出す処理も、その変換を含む形になる。同じクラスを使うことと、コンパイル時の型チェックがないことは別だね。

Object型で受け取った値に対してinstanceof List<String>を使い、型引数をまとめて調べることはできないよ。List<?>かどうかと、各要素がどのクラスかの確認は別。なおJava 16以降には、コンパイル時の型から安全に判断できる一部のパラメーター付きinstanceofが許されるため、「すべて禁止」とも言い切れないんだ。

クラスそのものの情報は残るよ。宣言のジェネリクス情報をリフレクションで参照できる場合もある。ただし、それで一般のListオブジェクトの全要素がStringだと保証できるわけではない。宣言の情報と、実際の値の検査を分けよう。

TypeScriptはJavaScriptを出力するときに型注釈を取り除くよ。たとえば引数をstringと書いても、その注釈だけで外部入力が文字列かを実行時に検査してはくれない。必要なら実際の値を検証する。Javaの型パラメーターの置換と、TypeScriptの型注釈の除去は、どちらも何が残るかを確認して理解しよう。