型推論(type inference)はどのように機能しますか?

Question

Accepted Answer

**型推論** とは、TypeScript が文脈から型を自動的に割り出すことで、すべてに注釈を付けなくて済むようにする仕組みです。初期値、return 文、使われ方から推論します。

```ts
let x = 10;          // inferred: number
let s = "hi";        // inferred: string
const arr = [1, 2];  // inferred: number[]
const obj = { a: 1, b: "x" }; // inferred: { a: number; b: string }
```

## 関数とコールバックにおける推論

```ts
function double(n: number) { return n * 2; } // return inferred as number

[1, 2, 3].map(n => n * 2); // `n` inferred as number from the array — no annotation needed
```

この **文脈的型付け(contextual typing)** こそが、コールバックで引数の注釈がほとんど必要ない理由です。TypeScript は `number[]` に対する `map` が `number` を渡すことを知っています。

## let と const における型の拡大(widening)

```ts
let a = "hello";     // widened to string (let can be reassigned)
const b = "hello";   // narrowed to the literal type "hello"
```

`const` は変化し得ないため *リテラル* 型として推論されますが、`let` は一般的な型へと拡大されます。これはユニオンにおいて重要になります。

```ts
const dir = "up";              // type "up"
let dir2 = "up";               // type string
```

## それでも注釈すべきとき

- 関数の引数(推論できない)。
- 推論が広すぎる、または狭すぎるとき(例えばリテラルではなく `string` がほしいとき)。
- 空のコンテナ: `const xs = []` は `any[]` と推論されるため、`number[]` と注釈する。

## なぜ重要なのか

推論は、完全に型付けされたまま、TypeScript のコードを JavaScript とほぼ同じくらい簡潔に保ちます。

推論が *いつ* 働くか(そしていつ型が拡大されるか)を理解すれば、実際に役立つ場所にだけ注釈を付けられるようになります。