Início / Language / Inferência de tipo com var
Language Iniciante

Inferência de tipo com var

Use var para inferência de tipo em variáveis locais — menos ruído, mesma segurança.

Comparação de Código
✕ 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
}
Viu um problema com este código? Nos avise.
Por que a forma moderna ganha
⚡

Menos boilerplate

Não é necessário repetir tipos genéricos complexos em ambos os lados da atribuição.

👁

Melhor legibilidade

Foco nos nomes de variáveis e valores, não nas declarações de tipo.

🔒

Ainda seguro em tipos

O compilador infere e impõe o tipo exato em tempo de compilação.

Abordagem Antiga
Tipos explícitos
Abordagem Moderna
Palavra-chave var
Desde o JDK
10
Dificuldade
Iniciante
Suporte JDK
Inferência de tipo com var
Disponível

Amplamente disponível desde o JDK 10 (março de 2018)

Como funciona

Desde o Java 10, o compilador infere os tipos de variáveis locais a partir do lado direito da atribuição. Isso reduz o ruído visual sem sacrificar a segurança de tipos. Use var quando o tipo for óbvio pelo contexto.

Documentação Relacionada
Local Variable Type Inference (JEP 286) ↗ Style Guidelines for var ↗
Padrões relacionados
Language Intermediário

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 {}
Passe o mouse para ver o moderno ➜
JDK 17+ →
Language Iniciante

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());
}
Passe o mouse para ver o moderno ➜
JDK 16+ →
Language Intermediário

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!
}
Passe o mouse para ver o moderno ➜
JDK 21+ →
Compartilhar 𝕏 🦋 in ⬡