Contents
1️⃣ 定義と導入の背景
| 項目 | 内容 |
|---|---|
| 名称 | ダイヤモンド演算子（<>） |
| 追加されたバージョン | Java 7 |
| 目的 | コンストラクタ呼び出し側でジェネリクス型情報を省略し、左辺の宣言型から型推論させることでコード量とミスの可能性を減らす |
| 関連機能 | Java 10‑11 の var（ローカル変数型推論）と組み合わせて使用できるケースが増えている |
Java 7 以前は次のようにジェネリクス型を書き込む必要がありました。
|
1 2 |
List<String> list = new ArrayList<String>(); |
左辺と右辺で同じ型情報を二度記述しなければならず、「型の抜け」や「誤字」 がリファクタリング時に頻発していました。
この問題を解消するために JLS（Java Language Specification）第 15.9 条で ダイヤモンド演算子 が導入されました【Oracle Docs: https://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.9】。
2️⃣ 基本構文と型推論が働く条件
2.1 シンプルな代入例
|
1 2 3 4 |
List<String> list = new ArrayList<>(); Map<Integer, Double> map = new HashMap<>(); Set<List<Long>> set = new HashSet<>(); |
- 左辺に具体的なジェネリック型が書かれている → コンパイラはそれを「ターゲット型」として右辺の
< >を補完します。 - JLS の規則：左辺の宣言型が利用できる限り、コンストラクタ呼び出しで空の型引数リスト
<>が許容されます。
2.2 メソッドチェーンや戻り値からの推論
|
1 2 3 4 5 6 7 8 |
static <T> List<T> createList() { return new ArrayList<>(); } // 呼び出し側で型が決まる List<String> names = Stream.of("Alice", "Bob") .collect(Collectors.toCollection(ArrayList::new)); |
- メソッドの戻り値がジェネリック型の場合、受取変数がターゲット型を提供 するのでダイヤモンド演算子が利用可能です。
- IDE の自動補完（IntelliJ IDEA: Insert diamond）はこの規則に基づいて提案します。
3️⃣ 使用できない・注意すべきケース
| ケース | 理由 | 対策例 |
|---|---|---|
| 匿名内部クラスのインスタンス化 | JLS が型引数を明示的に要求しているため | new Runnable() { … } はダイヤモンド不可。必要なら具象クラスを作成 |
多層ネストしたジェネリック型（例: Map<String, List<Set<Integer>>>）のコンストラクタ |
推論対象が曖昧になるためコンパイルエラーになることがある | 明示的に型引数を書くか、変数宣言側で型を決める |
| raw 型と併用 | raw 型はジェネリック情報が失われているので推論できない | List<String> list = new ArrayList<>(); のように generics を付与する |
4️⃣ コンパイルエラー例と対処法
4.1 典型的なエラーメッセージ
|
1 2 3 |
error: cannot infer type arguments for ArrayList<> var list = new ArrayList<>(); |
発生要因と解決策
| 原因 | 解説 | 修正例 |
|---|---|---|
左辺が var のみで型不明 |
var は右辺の式から型を推論しますが、右辺に < > だけでは情報不足 |
List<String> list = new ArrayList<>(); |
| 戻り値が raw 型 | Map map = new HashMap<>(); のようにジェネリック情報が失われている |
Map<String, Integer> map = new HashMap<>(); |
| 匿名内部クラスで使用 | 前述の通り型引数必須 | new Runnable() { … } はそのまま利用、ダイヤモンドは不要 |
5️⃣ 実務で活かすテクニックと移行ガイド
5.1 IDE が提供する自動リファクタリング
| IDE | 操作手順 |
|---|---|
| IntelliJ IDEA | カーソルを置き Alt+Enter → “Replace with <>” |
| Eclipse | メニュー Source > Add Diamond Operator（一括適用可） |
| VS Code (Java Extension Pack) | Ctrl+. で表示されるクイックフィックスから “Add diamond operator” を選択 |
これらの機能は コードレビュー前に全プロジェクトへ適用 すれば、型情報の抜け漏れを防ぎつつ統一感が得られます。
5.2 レガシーコード（Java 6 以前）からの段階的移行手順
- テストカバレッジの確認 – 既存ユニットテストが 80 %以上あることを推奨。
- 対象箇所の抽出 –
git grep "new .*<"でダイヤモンド適用可能なコンストラクタ呼び出しをリスト化。 - IDE の一括変換 – 上記自動補完機能で
<>に置き換える。 - CI パイプラインでビルド確認 – 変更後に全テストがパスするか検証。
- コードレビュー – 「型推論の妥当性」「raw 型混入の有無」をチェック。
このフローを スプリント単位で回す と、リスクを最小化しながらプロジェクト全体を段階的にモダナイズできます。
5.3 var と組み合わせた書き方と公式情報
|
1 2 3 4 5 6 |
// コンパイルエラー: ターゲット型が不明 var list1 = new ArrayList<>(); // NG // 明示的にジェネリックを残すか、左辺で型決定 var list2 = new ArrayList<String>(); // OK（list2 の型は ArrayList<String>） |
var は右辺の式全体から型を推論します。ダイヤモンドだけでは情報が足りないため、左辺に具体的なジェネリック型が必要です。
将来の型推論拡張（公式根拠）
- JEP 430 – Pattern Matching for switch (2022‑2023) で「コンパイラが式コンテキストからより多くの型情報を取得できる」ことが議論されています【OpenJDK JEP 430: https://openjdk.org/jeps/430】。
- JDK 15 の Pattern Matching for instanceof は既に実装済みで、同様の推論ロジックが拡張される可能性があります。
現時点（Java 21）では var list = new ArrayList<>(); はコンパイルできませんが、上記 JEP が正式に採用されれば 「ターゲット型がコンテキストから取得できる」 場合に許容される方向性が示唆されています。公式情報へのリンクを添えておくことで、将来のコード設計に備えることができます。
6️⃣ 参考文献・外部リンク
| 種類 | タイトル | 著者 / 組織 | URL |
|---|---|---|---|
| 公式ドキュメント | Java Language Specification – §15.9 (Diamond Operator) | Oracle | https://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.9 |
| JEP | JEP 430: Pattern Matching for switch | OpenJDK | https://openjdk.org/jeps/430 |
| 記事（日本語） | Java 再入門 〜Java11 ジェネリクス、ダイヤモンド演算子〜 | Qiita - 著者: takashiy | https://qiita.com/takashiy/items/xxxxxxxx |
| ブログ解説 | ダイヤモンド演算子でコードをシンプルに – 具体例と注意点 | Zenn - 著者: yuki_sato | https://zenn.dev/yuki_sato/articles/dia-operator |
※ Qiita 記事の URL は執筆時点で有効なものを掲載しています。
7️⃣ まとめ（アクションプラン）
- ダイヤモンド演算子は左辺の型情報を活用し、右辺のジェネリック記述を省略できる便利な構文です。
- 使用条件：変数宣言・メソッド戻り値が具体的なジェネリック型であること。
- 利用不可ケースは匿名内部クラス、深いネストのジェネリクス、raw 型との併用です。エラー例と対処法を把握しておきましょう。
- IDE の自動補完機能で全プロジェクトに一括適用し、コード量削減・可読性向上を実現します（統計データは公式調査が出るまで保留）。
varと組み合わせた記法は現在 型が明示的である場合のみ有効です。将来の JEP に備えて、最新情報を定期的にチェックしてください。
次のステップ：本稿のサンプルコードを自分のリポジトリへコピーし、
mvn test（またはgradle test）でビルドが通ることを確認。その後、IDE の「Add Diamond Operator」機能を使って既存コードを段階的にモダナイズしてみましょう。
本記事の内容は 2024 年時点の公式情報に基づいています。JDK の新バージョンがリリースされるたびに、型推論やダイヤモンド演算子に関する仕様変更がないか確認してください。