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

Принципы

• Общий литеральный ключ (contactType) позволяет TypeScript автоматически сужать тип внутри switch.
• Каждая ветка обращается только к полям, соответствующим своему варианту.
• Добавление нового варианта требует обновления объединения и обработки в switch.

Пример

interface Person {
  firstName: string;
  surname: string;
  contactType: 'person';
}

interface Organisation {
  name: string;
  contactType: 'organisation';
}

type Contact = Person | Organisation;

function sayHello(contact: Contact) {
  switch (contact.contactType) {
    case 'person':
      console.log('Hello ' + contact.firstName);
      break;
    case 'organisation':
      console.log('Hello ' + contact.name);
      break;
  }
}

Практика

• Всегда обрабатывайте default или обеспечьте исчерпывающий switch, чтобы компилятор предупредил о пропущенных вариантах.
• При необходимости переиспользуемых проверок создайте type guard (isPerson(contact)).
• Следите за вызовами: в исходном коде функция называлась sayHello4, но внутри использовалось sayHello.