To do this, we'll use the never
type (introduced in TypeScript 2.0) which represents values which "shouldn't" occur.
First step is to write a function:
function assertUnreachable(x: never): never {
throw new Error("Didn't expect to get here");
}
Then use it in the default
case (or equivalently, outside the switch):
function getColorName(c: Color): string {
switch(c) {
case Color.Red:
return 'red';
case Color.Green:
return 'green';
}
return assertUnreachable(c);
}
At this point, you'll see an error:
return assertUnreachable(c);
~~~~~~~~~~~~~~~~~~~~~
Type "Color.Blue" is not assignable to type "never"
The error message indicates the cases you forgot to include in your exhaustive switch! If you left off multiple values, you'd see an error about e.g. Color.Blue | Color.Yellow
.
Note that if you're using strictNullChecks
, you'll need that return
in front of the assertUnreachable
call (otherwise it's optional).
You can get a little fancier if you like. If you're using a discriminated union, for example, it can be useful to recover the discriminant property in the assertion function for debugging purposes. It looks like this:
// Discriminated union using string literals
interface Dog {
species: "canine";
woof: string;
}
interface Cat {
species: "feline";
meow: string;
}
interface Fish {
species: "pisces";
meow: string;
}
type Pet = Dog | Cat | Fish;
// Externally-visible signature
function throwBadPet(p: never): never;
// Implementation signature
function throwBadPet(p: Pet) {
throw new Error('Unknown pet kind: ' + p.species);
}
function meetPet(p: Pet) {
switch(p.species) {
case "canine":
console.log("Who's a good boy? " + p.woof);
break;
case "feline":
console.log("Pretty kitty: " + p.meow);
break;
default:
// Argument of type 'Fish' not assignable to 'never'
throwBadPet(p);
}
}
This is a nice pattern because you get compile-time safety for making sure you handled all the cases you expected to. And if you do get a truly out-of-scope property (e.g. some JS caller made up a new species
), you can throw a useful error message.
noImplicitReturns
can help with this.throw
is enough to get a compiler error for me typescriptlang.org/play?ts=5.2.2#code/… and adding the missing Blue case makes it go away. This seems to hold across TS 3, TS 4, TS 5. Edit: I can see @Marcelo Lazaroni already posted this answer