型ガード関数とunknown

なぜ学ぶか： 「何が来るか分からない値」を安全に扱うには？anyは「チェックしない」、unknownは「チェックするまで使わせない」— 似ているようで正反対です。一番よく出会う場面（catch）で見てみましょう。

まずはこの例を見てみましょう

try {
  await fetch("...");
} catch (e) {
  // e は unknown（何が投げられたか分からない）

  // e.message               ← いきなりは読めない（赤線）

  if (e instanceof Error) {
    console.log(e.message); // 確認した後なら読める
  }
}

unknownは「検査するまで触れない」型。anyと違って、確認を強制してくれます。