Java Academy · Lección

switch exhaustivo sobre tipos sellados

Completitud comprobada en compilación

switch exhaustivo sobre tipos sellados es una lección gratuita de Java Academy en CoddyKit. Esta es la lección 4 de 4. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de Java Academy, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de Java Academy incluye 4 lecciones en total.

switch exhaustivo

Cuando utiliza switch sobre un tipo sellado, el compilador conoce todos los subtipos permitidos. Si su switch los cubre todos, es exhaustivo y no necesita una rama default.

Un switch con patrón de tipo

Las expresiones switch pueden coincidir con el tipo de ejecución de un valor sellado mediante patrones de tipo.

public class Main {
    sealed interface Shape permits Circle, Square {}
    record Circle(double radius) implements Shape {}
    record Square(double side) implements Shape {}

    static String describe(Shape s) {
        return switch (s) {
            case Circle c -> "circle r=" + c.radius();
            case Square sq -> "square s=" + sq.side();
        };
    }

    public static void main(String[] args) {
        System.out.println(describe(new Circle(2)));
        System.out.println(describe(new Square(3)));
    }
}

No se necesita default

Como Circle y Square son los únicos subtipos permitidos, el compilador acepta el switch como completo. Añadir un default sería redundante.

Completitud en tiempo de compilación

Si más adelante añade un nuevo subtipo permitido y olvida gestionarlo, todos los switch exhaustivos dejan de compilar. Esto convierte toda una clase de errores en tiempo de ejecución en errores de compilación.

Calcular un resultado

Las expresiones switch exhaustivas son excelentes para reducir un valor a un resultado, como el área.

public class Main {
    sealed interface Shape permits Circle, Square {}
    record Circle(double radius) implements Shape {}
    record Square(double side) implements Shape {}

    static double area(Shape s) {
        return switch (s) {
            case Circle c -> Math.PI * c.radius() * c.radius();
            case Square sq -> sq.side() * sq.side();
        };
    }

    public static void main(String[] args) {
        System.out.printf("%.2f%n", area(new Circle(1)));
        System.out.printf("%.2f%n", area(new Square(2)));
    }
}

Sentencias switch frente a expresiones switch

La exhaustividad se aplica a las expresiones switch (las que producen un valor) y a las sentencias switch que utilizan la forma de flecha sobre un tipo sellado. El compilador exige que se cubran todos los casos.

Gestionar null

De forma predeterminada, un switch sobre una referencia lanza NullPointerException si el valor es null. Puede añadir una etiqueta case null para gestionarlo explícitamente.

public class Main {
    sealed interface Shape permits Circle, Square {}
    record Circle(double radius) implements Shape {}
    record Square(double side) implements Shape {}

    static String describe(Shape s) {
        return switch (s) {
            case null -> "no shape";
            case Circle c -> "circle";
            case Square sq -> "square";
        };
    }

    public static void main(String[] args) {
        System.out.println(describe(null));
        System.out.println(describe(new Circle(1)));
    }
}

Las guardas no rompen la exhaustividad

Puede añadir guardas when para precisar los casos, pero un caso con guarda por sí solo no hace que un tipo esté cubierto. Para mantener la exhaustividad, sigue necesitando un caso sin guarda para cada subtipo.

public class Main {
    sealed interface Shape permits Circle, Square {}
    record Circle(double radius) implements Shape {}
    record Square(double side) implements Shape {}

    static String size(Shape s) {
        return switch (s) {
            case Circle c when c.radius() > 10 -> "big circle";
            case Circle c -> "small circle";
            case Square sq -> "square";
        };
    }

    public static void main(String[] args) {
        System.out.println(size(new Circle(20)));
        System.out.println(size(new Circle(2)));
    }
}

Usar switch sobre una clase sellada

La misma exhaustividad funciona con clases selladas, no solo con interfaces.

public class Main {
    sealed static abstract class Token permits Word, Number {}
    static final class Word extends Token { final String text; Word(String t){text=t;} }
    static final class Number extends Token { final int value; Number(int v){value=v;} }

    static String show(Token t) {
        return switch (t) {
            case Word w -> "word:" + w.text;
            case Number n -> "num:" + n.value;
        };
    }

    public static void main(String[] args) {
        System.out.println(show(new Word("hi")));
        System.out.println(show(new Number(7)));
    }
}

Por qué es tan potente

La combinación de switch exhaustivo y tipos sellados produce código seguro y fácil de evolucionar. El conjunto de casos queda documentado en un solo lugar y el compilador garantiza que nunca omita uno cuando el modelo crezca.

Un ejemplo completo

Aquí se reduce un tipo de resultado sellado a un mensaje con cobertura completa.

public class Main {
    sealed interface Result permits Ok, Err {}
    record Ok(int value) implements Result {}
    record Err(String message) implements Result {}

    static String render(Result r) {
        return switch (r) {
            case Ok ok -> "value = " + ok.value();
            case Err err -> "error: " + err.message();
        };
    }

    public static void main(String[] args) {
        System.out.println(render(new Ok(10)));
        System.out.println(render(new Err("bad input")));
    }
}

Comprobación rápida

Compruebe su comprensión del switch exhaustivo.

Resumen

Ha aprendido a utilizar switch exhaustivo con tipos sellados.

Cubrir todos los subtipos permitidos hace que el switch sea exhaustivo, por lo que no se necesita default.
La ausencia de un nuevo subtipo se convierte en un error de compilación.
case null gestiona explícitamente los valores null.
Las guardas precisan los casos, pero no sustituyen a un caso sin guarda.

Preguntas frecuentes

¿La lección «switch exhaustivo sobre tipos sellados» es gratis?

Sí — el texto completo de «switch exhaustivo sobre tipos sellados» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de Java Academy, actualiza a CoddyKit PRO. El curso de Java Academy incluye 4 lecciones en total.

¿Qué aprenderé en «switch exhaustivo sobre tipos sellados»?

Completitud comprobada en compilación Practicas Java Academy con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.

¿Necesito experiencia previa para empezar Java Academy?

No se requiere experiencia previa. Java Academy en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 4 de 4.

¿Cuánto tiempo toma la lección «switch exhaustivo sobre tipos sellados»?

La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.

¿Puedo escribir y ejecutar código en esta lección de Java Academy?

Sí. Cada lección de Java Academy incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.

Todas las lecciones de este curso

← Volver a Java Academy