Java 7のひし形演算子（<>）のポイントは何ですか？

Java 7のdiamond演算子では、次のようなコードを使用できます。

List<String> list = new LinkedList<>();

ただし、Java 5/6では、次のように簡単に記述できます。

List<String> list = new LinkedList();

型消去についての私の理解は、これらはまったく同じであるということです。（とにかくジェネリックは実行時に削除されます）。

なぜダイヤモンドを気にするのですか？どのような新しい機能/タイプセーフが許可されますか？新しい機能が得られない場合、なぜそれを機能と呼ぶのですか？この概念に対する私の理解に欠陥はありますか？

の問題

List<String> list = new LinkedList();

左側ではジェネリック型を使用してList<String>おり、右側ではロー型を使用していますLinkedList。Javaのraw型は、実質的にはジェネリックス前のコードとの互換性のためにのみ存在し、絶対に必要でない限り、新しいコードで使用すべきではありません。

さて、Javaに最初からジェネリックがあり、ジェネリックを持つLinkedList前に最初に作成されたような型がなかった場合、ジェネリック型のコンストラクターが左からその型パラメーターを自動的に推論するようにした可能性があります-可能であれば、割り当ての手前。しかし、そうではなく、下位互換性のためにraw型とジェネリック型を異なる方法で処理する必要があります。そのため、型パラメーターを繰り返す必要なしに、汎用オブジェクトの新しいインスタンスを宣言するわずかに異なるが、同様に便利な方法であるダイヤモンド演算子を作成する必要があります。

の元の例に関する限りList<String> list = new LinkedList()、コンパイラーは、割り当てが必要なため、その割り当てに対して警告を生成します。このことを考慮：

List<String> strings = ... // some list that contains some strings

// Totally legal since you used the raw type and lost all type checking!
List<Integer> integers = new LinkedList(strings);

ジェネリックは、間違った処理を行わないようにコンパイル時に保護するために存在します。上記の例では、rawタイプを使用すると、この保護が適用されず、実行時にエラーが発生します。これが、生の型を使用してはならない理由です。

// Not legal since the right side is actually generic!
List<Integer> integers = new LinkedList<>(strings);

ただし、ひし形演算子を使用すると、割り当ての右側を左側と同じ型パラメーターを持つ真の総称インスタンスとして定義できます。これらのパラメーターを再度入力する必要はありません。これにより、rawタイプを使用する場合とほぼ同じ労力でジェネリックの安全性を維持できます。

理解すべき重要なことは、生の型（なし<>）はジェネリック型と同じように扱うことができないということです。生の型を宣言すると、ジェネリックの利点と型チェックがまったく得られません。また、ジェネリックスはJava言語の汎用部分であることを覚えておく必要があります。これらは、Collectionsの引数のないコンストラクターに適用されるだけではありません。

あなたの理解には少し欠陥があります。ダイアモンド演算子は、自分で繰り返す必要がないため、優れた機能です。型を宣言するときに一度型を定義することは理にかなっていますが、右側で再度定義することは意味がありません。DRYの原則。

次に、型の定義に関するすべてのファズを説明します。型は実行時に削除されますが、型定義を使用してリストから何かを取得したい場合は、リストを宣言するときに定義した型としてそれを取得します。そうしないと、特定の機能がすべて失われ、取得したオブジェクトを元の型にキャストする場合を除いて、オブジェクトの機能。これは、非常に扱いにくく、ClassCastExceptionが発生する場合があります。

を使用List<String> list = new LinkedList()すると、rawtype警告が表示されます。

この行により、[チェックされていない]警告が発生します。

List<String> list = new LinkedList();

それで、質問が変形します：新しいコレクションが作成された場合にのみ、なぜ[未チェック]警告が自動的に抑制されないのですか？

<>機能を追加するよりもはるかに難しい作業だと思います。

UPD：「いくつかの目的のためだけに」raw型を合法的に使用するのであれば、混乱があると私は思います。

理論的には、ひし形演算子を使用すると、繰り返し型引数を保存することで、よりコンパクトな（そして読みやすい）コードを記述できます。実際には、混乱を招く文字が2つあるだけで、何も得られません。どうして？

1. 新しいコードで生の型を使用する正気なプログラマはいない。そのため、コンパイラーは、型引数を記述しないことで、それらに推測させたいと単純に想定することができます。
2. diamond演算子は型情報を提供せず、コンパイラーに「問題ない」と表示します。したがって、省略しても害はありません。diamond演算子が合法である場所では、コンパイラーによって「推測」される可能性があります。

私見、ソースをJava 7としてマークするための明確でシンプルな方法があれば、このような奇妙なことを発明するよりも便利でしょう。このようにマークされたコードでは、生の型は何も失うことなく禁止できます。

ところで、私はそれがコンパイルスイッチを使用して行われるべきではないと思います。プログラムファイルのJavaバージョンはファイルの属性であり、オプションはまったくありません。取るに足らないものを使う

package 7 com.example;

明確にすることができます（1つ以上の豪華なキーワードを含む、より洗練されたものを好むかもしれません）。異なるJavaバージョン用に作成されたソースを問題なく一緒にコンパイルすることもできます。これにより、互換性を失うことなく、新しいキーワード（「モジュール」など）を導入したり、古い機能（1つのファイルに複数の非パブリック非ネストクラスなど）を削除したりできます。

を記述するとList<String> list = new LinkedList();、コンパイラは「チェックされていない」警告を生成します。無視してもかまいませんが、これらの警告を無視していた場合は、実際のタイプセーフティの問題について通知する警告を見逃す可能性もあります。

そのため、余分な警告を生成しないコードを記述することをお勧めします。また、ダイヤモンドオペレーターを使用すると、不必要な繰り返しをせずに便利な方法でそれを行うことができます。

他の応答で述べたすべては有効ですが、ユースケースは完全に有効なIMHOではありません。Guava 、特にコレクションに関連するものをチェックアウトする場合、静的メソッドを使用して同じことが行われています。たとえばLists.newArrayList（）を使用すると、

List<String> names = Lists.newArrayList();

または静的インポート

import static com.google.common.collect.Lists.*;
...
List<String> names = newArrayList();
List<String> names = newArrayList("one", "two", "three");

Guavaにはこのような他の非常に強力な機能があり、実際には<>の多くの用途を考えることはできません。

もしひし形演算子の振る舞いをデフォルトにする、つまり式の左側から型が推論された場合、または左側の型が右側から推論された場合、それはより有用でした。後者はScalaで何が起こるかです。

diamond演算子のポイントは、ジェネリック型を宣言するときにコードの入力を減らすことです。ランタイムには何の影響もありません。

Java 5と6で指定した場合の唯一の違い

List<String> list = new ArrayList();

あなたが指定しなければならないということである@SuppressWarnings("unchecked")にlist（そうしないと、未チェックのキャスト警告が表示されます）。私の理解では、ダイヤモンドオペレーターは開発を容易にすることを試みています。ジェネリックのランタイム実行には何の関係もありません。