unknown と any: より安全な選択肢

ようこそ

anyの問題点

let val: any = getData();
val.someMethod(); // TypeScript: OK. Runtime: possible crash

unknownの導入

let val: unknown = getData();
// val.someMethod(); // Error: Object is of type 'unknown'

使用前にunknownを絞り込む

let input: unknown = getInput();
if (typeof input === 'string') {
  console.log(input.toUpperCase()); // OK — narrowed to string
}

unknownは特定の型に代入できない

let x: unknown = 'hello';
// let s: string = x; // Error
let s: string = x as string; // OK with assertion

catchブロックでunknownを使用する

try {
  doSomething();
} catch (err: unknown) {
  if (err instanceof Error) {
    console.log(err.message); // safe
  }
}

外部データにunknownを使用する

const raw: unknown = JSON.parse(text);
if (
  typeof raw === 'object' &&
  raw !== null &&
  'name' in raw
) {
  console.log((raw as any).name);
}

unknownと型ガード

function isUser(val: unknown): val is { name: string } {
  return typeof val === 'object' && val !== null && 'name' in val;
}

unknownとnever

// unknown: anything can be assigned to it
let a: unknown = 42; // OK

// never: nothing can be assigned to it
function fail(): never { throw new Error(); }

anyとunknownの選択

実行時検証ライブラリ

import { z } from 'zod';
const UserSchema = z.object({ name: z.string(), age: z.number() });
const user = UserSchema.parse(unknownData); // throws if invalid

クイックチェック

まとめ