サンプルコードで身につける: Exclude / Extract / NonNullable

type Fruit = "apple" | "banana" | "grape" | "melon";

// "melon" を取り除いた "apple" | "banana" | "grape" を作る
type CheapFruit = Exclude<Fruit, "melon">;

let todaysFruit: CheapFruit = "banana";
console.log(todaysFruit);

todaysFruit = "grape"; // 残った候補ならOK
console.log(todaysFruit);
// todaysFruit = "melon"; // 取り除いた候補はエラー

// フォームから来る値はいろいろな型がありうる
type InputValue = string | number | boolean | null;

// string | number に当てはまる候補だけを残す
type TextOrCount = Extract<InputValue, string | number>;

let savedValue: TextOrCount = "メモ";
console.log(savedValue);

savedValue = 42; // number もユニオンに残っているのでOK
console.log(savedValue);
// savedValue = true; // boolean は残っていないのでエラー

// 入力前は null や undefined かもしれない値
type MaybeTitle = string | null | undefined;

// null と undefined を取り除いて string だけにする
type ConfirmedTitle = NonNullable<MaybeTitle>;

const pageTitle: ConfirmedTitle = "TypeScript入門";
console.log(pageTitle.toUpperCase()); // string 確定なのでそのまま使える

// typeof と組み合わせて、引数の型からも導出できる
function submitMemo(memo: string | null): void {
  const confirmed: NonNullable<typeof memo> = memo ?? "未記入";
  console.log(confirmed);
}
submitMemo("提出済み");
submitMemo(null);

type Shape =
  | { kind: "circle"; radius: number }
  | { kind: "square"; sideLength: number };

// kind が "circle" のメンバーだけを取り出す
type Circle = Extract<Shape, { kind: "circle" }>;

// 円だけを受け取る関数が、型を手書きせずに書ける
function circleArea(circle: Circle): number {
  return circle.radius * circle.radius * 3.14;
}

const unitCircle: Circle = { kind: "circle", radius: 2 };
console.log(circleArea(unitCircle));

// 注文ステータスの全候補はここに1回だけ書く
type OrderStatus = "draft" | "pending" | "paid" | "shipped" | "cancelled";

// 発送済み・キャンセル済み以外 = キャンセル操作が可能な状態を導出する
type CancellableStatus = Exclude<OrderStatus, "shipped" | "cancelled">;

// 操作可能な状態しか受け取れない関数になる
function cancelOrder(orderId: number, current: CancellableStatus): string {
  return "注文" + orderId + "(" + current + ")をキャンセルしました";
}

console.log(cancelOrder(101, "pending"));
console.log(cancelOrder(102, "paid"));
// cancelOrder(103, "shipped"); // 発送済みは渡せないのでコンパイルエラー