タイプを指定せずにタイプを推論できないときにジェネリックオブジェクトを作成するのはなぜですか？

Question

（用事:) それは違法です： HashSet<> f;

それは法的です：new HashSet<>();

型推論のドキュメントから：

あなたはジェネリックのコンストラクタ を呼び出すために必要な型引数を置き換えることができますコンパイラが型引数をコンテキストから推測できるように、タイプパラメータ（<>）が空の場合、 と長いクラスを持つクラス。

しかし、コンパイラは2番目の例では型引数を推論できません。なぜコンパイルするのですか？

Answer 1

Genericsはコンパイル時の構造です。つまり、特定の変数またはメソッドが特定の型または型のセットでのみ機能することを強制するために使用されます。あなたのケースでは、HashSetが割り当てまたは返却されていないので、コンパイラは最も広い型 - Objectを "推論"することができるので、型はコンパイル時に決して使用されません。そして実行時には、タイプはtype erasureのため意味がありません。