TypeScript — мощный язык, предоставляющий возможности статической типизации для JavaScript. Одной из его ключевых особенностей является возможность определять объединения типов, которые позволяют переменным иметь несколько возможных типов. Однако работа с объединениями иногда может создавать проблемы, когда речь идет о безопасности типов и обеспечении выполнения правильных операций над значениями. В этой статье блога мы рассмотрим различные методы добавления защиты типов в объединения TypeScript, что позволит вам писать более надежный и безошибочный код.

Метод 1: защита типа typeof
Одним из распространенных способов добавления защиты типа в объединения TypeScript является использование оператора typeof. Этот тип защиты позволяет сузить возможные типы объединения на основе типа значения во время выполнения JavaScript. Например:

function printLength(value: string | number) {
  if (typeof value === 'string') {
    console.log(value.length);
  } else {
    console.log('Invalid type: expected a string.');
  }
}

Метод 2: защита типа instanceof.
Еще одна мощная защита типа в TypeScript — оператор instanceof. Он позволяет вам проверить, является ли объект экземпляром определенного класса или функции-конструктора. Этот тип защиты особенно полезен при работе с объединениями классов. Вот пример:

class Animal {
  public name: string;
  constructor(name: string) {
    this.name = name;
  }
}
class Dog extends Animal {
  public bark() {
    console.log('Woof!');
  }
}
class Cat extends Animal {
  public meow() {
    console.log('Meow!');
  }
}
function petSounds(animal: Dog | Cat) {
  if (animal instanceof Dog) {
    animal.bark();
  } else {
    animal.meow();
  }
}

Метод 3: пользовательские средства защиты типов
В дополнение к встроенным средствам защиты типов TypeScript позволяет вам определять собственные средства защиты типов с использованием определяемых пользователем предикатов типов. Это дает вам больше гибкости и контроля над процессом сужения типа. Вот пример:

function isEven(value: string | number): value is number {
  return typeof value === 'number' && value % 2 === 0;
}
function processValue(value: string | number) {
  if (isEven(value)) {
    console.log('Even number!');
  } else {
    console.log('Odd number or not a number.');
  }
}

Объединения TypeScript предоставляют гибкий способ работы с несколькими возможными типами переменной. Включив защиту типов в свой код, вы можете обеспечить безопасность типов и повысить надежность своих приложений. В этой статье мы рассмотрели средства защиты типов typeofи instanceof, а также создание пользовательских средств защиты типов с использованием определяемых пользователем предикатов типов. Применяя эти методы, вы сможете эффективно обрабатывать объединения TypeScript и писать более надежный код.