`as const` アサーションは何をしますか?

Question

Accepted Answer

`as const` は**const アサーション**で、値を拡大せずに、**最も具体的(リテラル)で深く readonly な**型を推論するよう TypeScript に指示します。

```ts
// without as const — widened, mutable
let a = "up";            // type: string
const obj = { x: 1 };     // type: { x: number }
const arr = [1, 2];       // type: number[]

// with as const — narrow literals, readonly
const b = "up" as const;          // type: "up"
const obj2 = { x: 1 } as const;    // type: { readonly x: 1 }
const arr2 = [1, 2] as const;      // type: readonly [1, 2] (a tuple!)
```

これは3つのことを行います。何も拡大しない(リテラル値を保持する)、すべてを `readonly` にする、そして配列を**タプル**に変換します。

## なぜこれほど便利なのか

**値のリストからユニオン型を導出する(単一の信頼できる情報源):**

```ts
const ROLES = ["admin", "editor", "viewer"] as const;
type Role = typeof ROLES[number]; // "admin" | "editor" | "viewer"
// add a role to the array → the union updates automatically
```

**設定や状態のリテラル型を保持する:**

```ts
const action = { type: "INCREMENT", by: 1 } as const;
// action.type is "INCREMENT" (a literal), so it works in discriminated unions
// without as const it'd be `string`, breaking narrowing
```

## なぜ重要なのか

`as const` は実行時の値と正確な型との橋渡しをします。

データを一度だけ定義し(配列やオブジェクト)、そこから正確なリテラル型を導出できます。これはアクションの型、ルートマップ、設定、そして `string` に拡大せずリテラルのままでなければならない判別ユニオンのタグにとって非常に貴重です。