Java Switch Statement

A switch statement is a multi-way branch control flow construct that evaluates a single expression and transfers execution to a specific block of code associated with a matching case label. At the bytecode level, the Java compiler optimizes switch constructs using tableswitch or lookupswitch instructions, providing constant-time or logarithmic-time branching efficiency compared to sequential if-else-if evaluations.

Supported Data Types

Historically restricted to integral types, the switch expression target has expanded across Java versions. It currently supports:

Primitives: byte, short, char, int
Wrapper Classes: Byte, Short, Character, Integer
Reference Types: String (since Java 7), enum types
Any Object: via Pattern Matching (since Java 21)

Traditional Syntax (Statement)

The traditional switch operates strictly as a statement. It utilizes colon (:) syntax and exhibits fall-through behavior, meaning execution will continue into subsequent case blocks unless explicitly terminated by a break, return, or throw statement.

switch (expression) {
    case CONSTANT_1:
        // Execution block
        break; 
    case CONSTANT_2:
    case CONSTANT_3:
        // Fall-through: executes for both CONSTANT_2 and CONSTANT_3
        break;
    default:
        // Executes if no case matches
}

Mechanics & Constraints:

case labels must be compile-time constants (final variables or literals) of the same type as the evaluated expression.
Duplicate case values result in a compilation error.
The default block is optional but recommended for exhaustive handling.

Modern Syntax (Expression and Arrow Labels - Java 14+)

Java 14 introduced switch as an expression (capable of evaluating to a single value) and added the arrow (->) label syntax. The arrow syntax eliminates implicit fall-through; only the block or expression to the right of the arrow is executed.

// Switch Expression yielding a value
Type result = switch (expression) {
    case CONSTANT_1 -> value1;
    case CONSTANT_2, CONSTANT_3 -> value2; // Multiple comma-separated labels
    case CONSTANT_4 -> {
        // Multi-line block requires the 'yield' keyword to return a value
        Type calculatedValue = performCalculation();
        yield calculatedValue; 
    }
    default -> defaultValue;
};

Mechanics & Constraints:

Exhaustiveness: A switch expression must be exhaustive. The compiler enforces that all possible values of the target type are handled. If the type is not a sealed class or an enum, a default clause is mandatory.
yield Keyword: A context-sensitive keyword used to return a value from a full code block {} within a switch expression.

Pattern Matching (Java 21+)

Java 21 finalized Pattern Matching for switch, allowing the construct to evaluate the type of an object, destructure records, and apply boolean guard conditions. The right-hand side of the arrow (->) must be an expression, a block ({}), or a throw statement.

switch (objectReference) {
    case null -> {
        // Explicit null handling (prevents NullPointerException)
    }
    case String s -> {
        // Type pattern: matches if object is a String, binds to variable 's'
    }
    case Integer i when i > 0 -> {
        // Guarded pattern: matches if Integer AND the 'when' condition is true
    }
    case Point(int x, int y) -> {
        // Record pattern: destructures a Record into its components
    }
    default -> {
        // Fallback for unhandled types
    }
}

Mechanics & Constraints:

Dominance: case labels are evaluated top-to-bottom. A broader type (e.g., CharSequence) cannot precede a narrower type (e.g., String), as it would cause a compilation error due to the narrower case being unreachable.
Null Handling: Prior to Java 21, passing null to a switch immediately threw a NullPointerException. With pattern matching, case null can be explicitly declared to intercept null references safely.