TypeScript の never 型の使い方と void との違い

TypeScript には「戻り値がない」ことを表す void と「値が存在し得ない」ことを表す never がある。
両者は似ているようでまったく異なる意味を持つ。本記事では違いと使い方を整理する。

1. void 型

• 値を返さない関数の戻り値型を表す
• 実際には JavaScript の仕様で undefined が返ることもあるが、基本的に戻り値を利用しない関数に使う

function logMessage(msg: string): void {
  console.log(msg);
}

処理は正常に終了するが、返り値はない。

2. never 型

• 値が決して存在しないことを表す型である
• 主に 処理が戻らない関数 に使われる

never 型の使い方

① 例外を投げる関数

function throwError(message: string): never {
  throw new Error(message); // ここで処理が終了するので戻らない
}

② 無限ループ

function infiniteLoop(): never {
  while (true) {}
}

③ 型の網羅性チェック

• ユニオン型の全ケースを扱っているかチェックする際に使う
• 新しい値が追加された場合、コンパイル時に漏れを検出できる

type Status = 'draft' | 'published';

function assertNever(x: never): never {
  throw new Error(`Unexpected value: ${x}`);
}

function handleStatus(s: Status) {
  switch (s) {
    case 'draft':
      console.log('下書き');
      break;
    case 'published':
      console.log('公開');
      break;
    default:
      assertNever(s); // 新しいケースが追加されるとここで型エラー
  }
}

1. TypeScript のコンパイラは Status が 'draft' | 'published' しかないと知っているので、default に本当に到達するかどうかは実行時には関係なく、型チェック上では「ここには never 型しか来ない」（= 概念的には「ここには何も値が入らない」ということ）と判断する。
   → サンプルコードであれば、defaultまで到達不可能ということを表している。

2. 将来 Status に 'deleted' を追加した場合、コンパイル時に assertNever(s) で型エラーになる。
   → defaultに到達する可能性があるためコンパイルエラーが発生する。
   → 実際に switch を実行して default に到達するかどうかは関係ない。
   → コンパイルエラーのため、 assertNever関数が実行されるわけではない。

never 型と型チェックの特徴

• never 型には 基本的に値を代入できない
• 型が本当に never（＝型上到達不可能な値）の場合のみ代入可能
• 到達可能な値（例えば enum に新しい値が追加された場合など）を代入するとコンパイルエラーになる
• これは 実行時ではなく、コンパイル時の型チェック によるエラーである

3. never と void の違い

• void : 処理は終了するが値は返さない
• never : 処理が戻らないので値は存在しない

型	意味	例
void	戻り値なし（処理は終了する）	ログ出力関数
never	値が存在し得ない（処理が戻らない / 到達不能）	throw / 無限ループ / 網羅性チェック

4. まとめ

• void → 「値を返さない」関数用
• never → 「値が存在し得ない」関数や型安全チェックに使用
• never 型は型チェック上の概念であり、実行時の挙動とは別物
• switch 文の網羅性チェックなどに活用すると、将来的に型の漏れをコンパイル時に検出できる