22. in と等価チェックによる絞り込み

typeof で区別できるのはプリミティブ型だけです。オブジェクト同士のユニオンは、"radius" in shape のように in 演算子で「そのプロパティを持っているか」を確かめて絞り込みます。

もう1つの基本が等価チェックです。value === null のように特定の値と比較すると、一致した側・しなかった側それぞれで型が絞り込まれます。「null かもしれない値」を安全に扱う実務の定番パターンです。

どの絞り込みも、書くのは普通の JavaScript の条件分岐だけです。「この条件が真なら型は何に決まるか」をコンパイラが追いかけてくれている、という見方ができるようになると読み書きが楽になります。

▶ サンプルコードを実行してみよう(自由に書き換えてOK)

TypeScript

type Circle = { radius: number };
type Square = { sideLength: number };

function area(shape: Circle | Square): number {
  // in 演算子でプロパティの有無を確かめて絞り込む
  if ("radius" in shape) {
    return shape.radius * shape.radius * 3.14;
  }
  return shape.sideLength * shape.sideLength;
}
console.log(area({ radius: 2 }));
console.log(area({ sideLength: 3 }));

// 等価チェックでも絞り込める(null との比較が定番)
function printCode(code: string | null): void {
  if (code === null) {
    console.log("コードなし");
    return;
  }
  console.log(code.toUpperCase()); // ここでは string
}
printCode("abc-1");
printCode(null);

公式ドキュメントで詳しく ↗