Polimorfismo II: Sobrescrita

// Polimorfismo dinâmico — runtime dispatch

abstract class Forma {
    abstract double calcularArea();

    // Template Method: esqueleto na superclasse
    public void exibir() {
        System.out.printf("%s → área = %.2f%n",
            getClass().getSimpleName(), calcularArea());
    }
}

class Circulo extends Forma {
    double raio;
    Circulo(double r) { raio = r; }
    @Override
    double calcularArea() { return Math.PI * raio * raio; }
}

class Retangulo extends Forma {
    double base, altura;
    Retangulo(double b, double h) { base=b; altura=h; }
    @Override
    double calcularArea() { return base * altura; }
}

// Polimorfismo em ação
List<Forma> formas = new ArrayList<>();
formas.add(new Circulo(5));
formas.add(new Retangulo(4, 6));

for (Forma f : formas) f.exibir(); // JVM decide qual versão

// instanceof com pattern matching (Java 16+)
for (Forma f : formas) {
    if (f instanceof Circulo c) {
        System.out.println("Raio = " + c.raio); // c já é Circulo
    }
}