ユニオン型(A | B)とリテラル型

「どちらか」を型で表す

現実のデータは「文字列のときもあれば数値のときもある」「3つの状態のどれか」といった形をよく取ります。こういう「AかBのどちらか」を1つの型で表すのがユニオン型です。書き方は縦棒 | でつなぐだけで、ユニオン型 と呼びます。

// id は「文字列」または「数値」のどちらか
let id: string | number;

id = "abc123"; // OK
id = 42;       // OK
id = true;     // エラー: boolean は string でも number でもない

さらに強力なのがリテラル型です。ふつう型は string のように「文字列全般」を表しますが、リテラル型は "success" のように「その値そのもの」を型にします。これをユニオンと組み合わせると「決まった選択肢のどれか」を表現できます。

// status は「この3つの文字列のどれか」しか受け付けない
type Status = "idle" | "loading" | "done";

let s: Status = "loading"; // OK
s = "done";                // OK
s = "finished";            // エラー: 3つの選択肢に無い

let status: string = "lodaing"; // ミスに気づけない

type Status = "idle" | "loading" | "done";
let status: Status = "lodaing"; // エラーで即発覚

• ユニオン型: A | B と書き「AかBのどちらか」を表す
• リテラル型: "success" や 200 のように「値そのもの」を型にする
• 両者を組み合わせると「決まった選択肢のどれか」を安全に表現できる