typeofガード

typeof x === 'string'
typeof x === 'number'
typeof x === 'boolean'
typeof x === 'bigint'
typeof x === 'symbol'
typeof x === 'undefined'
typeof x === 'function'
typeof x === 'object'

function format(value: string | number | boolean): string {
  if (typeof value === 'string') {
    // ここでは value: string
    return value.toUpperCase();
  } else if (typeof value === 'number') {
    // ここでは value: number
    return value.toFixed(2);
  } else {
    // ここでは value: boolean
    return value ? 'yes' : 'no';
  }
}

// undefined のチェック
function greet(name?: string): string {
  if (typeof name === 'undefined') {
    return 'Hello, guest!';
  }
  // ここでは name: string
  return `Hello, ${name}!`;
}

// typeof 'object' は null も含むので注意
function processObj(val: object | null) {
  if (typeof val === 'object' && val !== null) {
    // ここでは val: object
    console.log(Object.keys(val));
  }
}

『typeof』ガードは TypeScript が標準でサポートする型ナローイングの手法の一つです。JavaScript の『typeof』演算子をそのまま条件式で使うだけで型が絞り込まれるため、特別な設定は不要です。

注意点として、『typeof null === "object"』は JavaScript の仕様上 true を返します。null を弾きたい場合は『typeof val === "object" && val !== null』のように追加チェックが必要です。

クラスのインスタンスを絞り込む場合は instanceof ガード を、プロパティの存在で絞り込む場合は in 演算子ガード を使います。