Two compiler checks make pattern-matching switches safe: dominance and exhaustiveness. Dominance makes sure every case can be reached. Exhaustiveness makes sure every possible value is handled. Both are compile-time errors, so exam questions usually ask whether a switch compiles.
Free account
Keep reading for free
Create a free StudyToCert account to read the rest of this lesson: 6 more sections, 4 key terms, a real-world example, an exam tip and self-check questions. Every lesson, lab and practice test is free with an account.