# never

## Never

> [never型のビデオレッスン](https://egghead.io/lessons/typescript-use-the-never-type-to-avoid-code-with-dead-ends-using-typescript)

プログラミング言語の設計には、bottom型の概念があります。それは、データフロー解析を行うと現れるものです。TypeScriptはデータフロー解析(😎)を実行するので、決して起こりえないようなものを確実に表現する必要があります。

`never`型は、このbottom型を表すためにTypeScriptで使用されます。自然発生するケース：

* 絶対にreturnされない関数(例えば、関数本体に `while(true){}`がある場合)
* 常にthrowする関数(例えば `function foo(){throw new Error('Not Implemented')}`の場合、`foo`の戻り値の型は`never`です)

もちろん、このアノテーションを自分でも使用できます

```typescript
let foo: never; // Okay
```

しかし、neverは、neverだけを代入することができます。例:

```typescript
let foo: never = 123; // Error: Type number is not assignable to never

// Okay as the function's return type is `never`
let bar: never = (() => { throw new Error(`Throw my hands in the air like I just don't care`) })();
```

すばらしい。さあ、主な使用例を見てみましょう:)

## ユースケース： 網羅チェック(Exhaustive Checks)

たどり着けないコンテキストで関数を呼び出すことはできません。

```typescript
function foo(x: string | number): boolean {
  if (typeof x === "string") {
    return true;
  } else if (typeof x === "number") {
    return false;
  }

  // Without a never type we would error :
  // - Not all code paths return a value (strict null checks)
  // - Or Unreachable code detected
  // But because TypeScript understands that `fail` function returns `never`
  // It can allow you to call it as you might be using it for runtime safety / exhaustive checks.
  return fail("Unexhaustive!");
}

function fail(message: string): never { throw new Error(message); }
```

`never`は他の`never`にのみ割り当てられるので、コンパイル時の網羅チェックのためにも使うことができます。これは[ユニオン判別のセクション](/deep-dive/type-system/discriminated-unions.md)で説明します。

## `void`との混同

関数が正常に終了することがないとき、`never`が返されると知ると、直感的に`void`と同じように考えたくなるでしょう。しかし、`void`は部品です。`never`はうそつきです。

何も返さない関数は`void`を返します。しかし、returnを返すことのない関数(または常にスローする)は`never`を返します。`void`は(strictNullCheckingなしで)代入することができるものですが、`never`は`never`以外のものに代入することはできません。


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://typescript-jp.gitbook.io/deep-dive/type-system/never.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.