Объединения типов: A или B

Добро пожаловать

Базовый синтаксис объединений

let id: string | number;
id = 'abc123'; // OK
id = 42;       // OK
// id = true;  // Error

Объединение в параметрах функции

function format(val: string | number): string {
  return typeof val === 'string' ? val.toUpperCase() : val.toFixed(2);
}

Сужение обязательно для вариантов объединения

function process(val: string | number) {
  // val.toFixed(2); // Error — not on string
  if (typeof val === 'number') {
    val.toFixed(2); // OK
  }
}

Объединение с литеральными типами

type Direction = 'north' | 'south' | 'east' | 'west';
type StatusCode = 200 | 201 | 400 | 404 | 500;

Объединение для допускающих отсутствие значений типов

function getUser(id: number): User | null {
  return db.find(u => u.id === id) ?? null;
}

Объединение типов объектов

type Cat = { kind: 'cat'; meow(): void };
type Dog = { kind: 'dog'; bark(): void };
type Pet = Cat | Dog;
function speak(pet: Pet) {
  if (pet.kind === 'cat') pet.meow();
  else pet.bark();
}

Три и более типа в объединении

type Input = string | number | boolean | null;

Объединение в возвращаемых типах

function divide(a: number, b: number): number | null {
  if (b === 0) return null;
  return a / b;
}

Дискриминируемые объединения

type Square = { kind: 'square'; side: number };
type Circle = { kind: 'circle'; radius: number };
type Shape = Square | Circle;

Общие свойства без сужения

type A = { name: string; x: number };
type B = { name: string; y: number };
type AB = A | B;
function getName(obj: AB): string {
  return obj.name; // OK — name is on both
}

Быстрая проверка

Повторение