[TypeScript] 処理しない関数には、戻り値の型(never)を使う

はじめに

この記事では、コードの安全性を高めるneverを解説します。

参考資料

結論

neverとは、「return 文を持たない」 や 「処理しない関数」 の場合、
戻り値の型を使うことができる型です。

1. return 文を持たない

const fail = (message: string): never => {
  throw new Error(`${message}`);
};

2. return 文を持つ

return 文を持つ関数（何かしらの処理を有する）では、下記のようなエラーが発生します
(※ 値を返さない return 文は、undefined を返します)
Type 'undefined' is not assignable to type 'never'.
Unreachable code detected.

const fail = (message: string): never => {
  throw new Error(`${message}`);
  return;
};