ホーム / Language / varによる型推論
Language 初級

varによる型推論

ローカル変数の型推論にvarを使う — 冗長さを減らし、型安全性は変わらない。

コード比較
✕ Java 8 
Map<String, List<Integer>> map =
    new HashMap<String, List<Integer>>();
for (Map.Entry<String, List<Integer>> e
    : map.entrySet()) {
    // verbose type noise
}
✓ Java 10+ 
var map = new HashMap<String, List<Integer>>();
for (var entry : map.entrySet()) {
    // clean and readable
}
このコードに問題がありますか？ お知らせください。
モダンな方法が優れている理由
⚡

ボイラープレートの削減

代入の両側に複雑なジェネリック型を繰り返す必要がなくなります。

👁

可読性の向上

型宣言ではなく、変数名と値に集中できます。

🔒

型安全性は維持

コンパイラがコンパイル時に正確な型を推論・強制します。

旧来のアプローチ
明示的な型宣言
モダンなアプローチ
varキーワード
JDKバージョン
10
難易度
初級
JDKサポート
varによる型推論
利用可能

JDK 10（2018年3月）以降、広く利用可能

仕組み

Java 10以降、コンパイラは右辺からローカル変数の型を推論します。型安全性を損なうことなく、視覚的なノイズを減らせます。文脈から型が明らかな場合にvarを使いましょう。

関連ドキュメント
Local Variable Type Inference (JEP 286) ↗ Style Guidelines for var ↗
関連パターン
Language 中級

Sealed classes for type hierarchies

Java 8
// Anyone can extend Shape
public abstract class Shape { }
public class Circle extends Shape { }
public class Rect extends Shape { }
// unknown subclasses possible
Java 17+
public sealed interface Shape
    permits Circle, Rect {}
public record Circle(double r)
    implements Shape {}
public record Rect(double w, double h)
    implements Shape {}
ホバーしてモダンを見る ➜
JDK 17+ →
Language 初級

Pattern matching for instanceof

Java 8
if (obj instanceof String) {
    String s = (String) obj;
    System.out.println(s.length());
}
Java 16+
if (obj instanceof String s) {
    IO.println(s.length());
}
ホバーしてモダンを見る ➜
JDK 16+ →
Language 中級

Exhaustive switch without default

Java 8
// Must add default even though
// all cases are covered
double area(Shape s) {
    if (s instanceof Circle c)
        return Math.PI * c.r() * c.r();
    else if (s instanceof Rect r)
        return r.w() * r.h();
    else throw new IAE();
}
Java 21+
// sealed Shape permits Circle, Rect
double area(Shape s) {
    return switch (s) {
        case Circle c ->
            Math.PI * c.r() * c.r();
        case Rect r ->
            r.w() * r.h();
    }; // no default needed!
}
ホバーしてモダンを見る ➜
JDK 21+ →
共有 𝕏 🦋 in ⬡