Kotlin: Missing `when` Branch Error

In Kotlin, one of the most powerful constructs for handling control flow is the when expression. It's Kotlin's way of replacing the traditional switch statement found in other languages like Java, but with more flexibility and power. However, sometimes users encounter the 'Missing when branch' error. This article explains why this error occurs and how to resolve it.

Understanding the when Expression

The when expression in Kotlin allows you to branch your code execution based on a value. It's very much like a series of if-else statements but more readable and concise. The basic syntax is as follows:

val result = when (x) {
    1 -> "one"
    2 -> "two"
    else -> "unknown"
}

Here, x is evaluated, and if it matches one of the specified values (1 or 2), the corresponding code block is executed. If no match is found, the else branch is executed.

Why the 'Missing when Branch' Error Occurs

This error typically arises when you're using the when expression with an enum class or sealed class without handling all possible cases. Kotlin expects you to cover all possible branches to satisfy exhaustiveness, which ensures that all potential inputs are handled, reducing the likelihood of runtime errors.

Example with Enum

Consider the following example with enums:

enum class Direction {
    NORTH, SOUTH, EAST, WEST
}

fun getDirectionDescription(direction: Direction): String {
    return when (direction) {
        Direction.NORTH -> "Top"
        Direction.SOUTH -> "Bottom"
        Direction.EAST  -> "Right"
        // Direction.WEST is missing
    }
}

The above code will raise a 'Missing when branch' error because the WEST direction is not handled.

Example with Sealed Class

Similarly, consider a sealed class scenario:

sealed class Expression {
    class Const(val number: Double) : Expression()
    class Sum(val e1: Expression, val e2: Expression) : Expression()
    object NotANumber : Expression()
}

fun eval(expr: Expression): Double = when(expr) {
    is Expression.Const -> expr.number
    is Expression.Sum -> eval(expr.e1) + eval(expr.e2)
    // Expression.NotANumber is missing
}

This code snippet will also raise the 'Missing when branch' error due to the unhandled Expression.NotANumber.