Утверждения сужения (asserts)

Принципы

• Функция с сигнатурой asserts value is Type гарантирует, что после успешного вызова значение имеет указанный тип.
• Внутри функции выполняется проверка и выбрасывается ошибка при несоответствии.
• Такой guard полезен, когда вы хотите остановить выполнение при неверном типе и продолжить суженный путь.

Пример

interface Person {
  firstName: string;
  surname: string;
}

interface Organisation {
  name: string;
}

type Contact = Person | Organisation;

function assertIsPerson(contact: Contact): asserts contact is Person {
  if ((contact as Person).firstName === undefined) {
    throw new Error('Not a person');
  }
}

function sayHello(contact: Contact) {
  assertIsPerson(contact);
  console.log('Hello ' + contact.firstName);
}

Практика

• Вызывайте assertion-функцию перед доступом к специализированным свойствам, чтобы избежать дополнительных проверок.
• В примере исходного кода следите за корректным именем вызываемой функции (sayHello3 → sayHello).
• Не забывайте обрабатывать исключение на уровне вызывающего кода, если assert может выбросить ошибку.