Accueil / Language / Inférence de type avec var
Language Débutant

Inférence de type avec var

Utilisez var pour l'inférence de type dans les variables locales — moins de bruit, la même sécurité.

Comparaison de Code
✕ 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
}
Un problème avec ce code ? Dites-le nous.
Pourquoi la méthode moderne gagne
⚡

Moins de code répétitif

Pas besoin de répéter les types génériques complexes des deux côtés de l'affectation.

👁

Meilleure lisibilité

Concentrez-vous sur les noms de variables et les valeurs, pas sur les déclarations de types.

🔒

Toujours sûr en termes de types

Le compilateur infère et applique le type exact à la compilation.

Ancienne Approche
Types explicites
Approche Moderne
Mot-clé var
Depuis JDK
10
Difficulté
Débutant
Support JDK
Inférence de type avec var
Disponible

Disponible depuis JDK 10 (mars 2018)

Comment ça fonctionne

Depuis Java 10, le compilateur infère les types des variables locales à partir du côté droit. Cela réduit le bruit visuel sans sacrifier la sécurité des types. Utilisez var quand le type est évident par le contexte.

Documentation Associée
Local Variable Type Inference (JEP 286) ↗ Style Guidelines for var ↗
Patterns associés
Language Intermédiaire

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 {}
Survolez pour voir le moderne ➜
JDK 17+ →
Language Débutant

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());
}
Survolez pour voir le moderne ➜
JDK 16+ →
Language Intermédiaire

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!
}
Survolez pour voir le moderne ➜
JDK 21+ →
Partager 𝕏 🦋 in ⬡