サンプルコードで身につける: typeof — 値から型を作る

// 実物の値が先にある
const basePoint = { x: 0, y: 0 };

// typeof で basePoint と同じ形の型を写し取る
type Point = typeof basePoint; // { x: number; y: number }

const goal: Point = { x: 100, y: 50 };

console.log(basePoint);
console.log(goal);
// const wrong: Point = { x: 1 }; // y がないのでエラー

let releaseYear = 2012;

// 式の中の typeof は実行時の機能。型名の文字列を返す
console.log(typeof releaseYear); // "number" と出力される

// 型を書く場所の typeof は TypeScript の機能。変数から型を作る
type Year = typeof releaseYear; // number 型

const nextYear: Year = 2013;
console.log(nextYear);
// const wrong: Year = "2014"; // string は入らないのでエラー

const defaultOptions = {
  retryCount: 3,
  timeoutMs: 5000,
  verbose: false,
};

// 値から作った型を、そのまま引数の型に使える
function startTask(options: typeof defaultOptions): void {
  console.log("リトライ回数: " + options.retryCount);
  console.log("タイムアウト: " + options.timeoutMs + "ms");
}

startTask(defaultOptions);
startTask({ retryCount: 5, timeoutMs: 10000, verbose: true });

const messages = {
  saved: "保存しました",
  deleted: "削除しました",
  failed: "エラーが発生しました",
};

// keyof typeof で「実物のキーのユニオン」を作る
type MessageKey = keyof typeof messages; // "saved" | "deleted" | "failed"

function notify(key: MessageKey): void {
  console.log(messages[key]);
}

notify("saved");
notify("failed");
// notify("updated"); // 定義にないキーはエラー

// 送料の対応表という「実物」から型を導く
const shippingFees = {
  standard: 520,
  express: 900,
  overnight: 1400,
};

type ShippingMethod = keyof typeof shippingFees;

function totalWithShipping(itemPrice: number, method: ShippingMethod): number {
  return itemPrice + shippingFees[method];
}

console.log(totalWithShipping(3000, "standard"));
console.log(totalWithShipping(3000, "overnight"));
// totalWithShipping(3000, "rocket"); // 対応表にない方法はエラー