[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;
};

YouTube のご案内

ポモドーロタイマー（25 分勉強＋ 5 分休憩）を活用した作業・勉強配信を行っています。
集中したいときや、誰かと一緒に頑張りたいときに、ぜひご活用ください。

ご興味のある方は、ぜひお気軽に遊びに来てください！
「Zenn から来ました!!」とコメントを貰えると泣いて喜びます 🤣