複雑な型のための型エイリアス

ようこそ

typeキーワード

type UserId = number;
type UserName = string;
type Point = { x: number; y: number };

ユニオン型に別名を付ける

type StringOrNumber = string | number;
function format(val: StringOrNumber): string {
  return String(val);
}

オブジェクト型に別名を付ける

type Product = {
  id: number;
  name: string;
  price: number;
};
const p: Product = { id: 1, name: 'Widget', price: 9.99 };

タプル型に別名を付ける

type Coordinate = [number, number];
type RGB = [number, number, number];
const pos: Coordinate = [10, 20];

関数型に別名を付ける

type Comparator<T> = (a: T, b: T) => number;
const numSort: Comparator<number> = (a, b) => a - b;

Type aliasではジェネリクスを使える

type Maybe<T> = T | null | undefined;
type Pair<A, B> = { first: A; second: B };

自己参照型のType alias

type TreeNode = {
  value: number;
  left?: TreeNode;
  right?: TreeNode;
};

Type aliasは再オープンできない

// Interface can be merged (declaration merging):
interface A { x: number; }
interface A { y: number; } // OK — A now has x and y

// Type alias cannot:
type B = { x: number };
// type B = { y: number }; // Error: duplicate identifier

型エイリアスによる判別可能なユニオン

type Success = { kind: 'success'; data: string };
type Failure = { kind: 'failure'; error: Error };
type Result = Success | Failure;

interfaceよりtypeを優先する場面

確認問題

まとめ