Что делает оператор in в TypeScript?

Что такое оператор in?

Оператор in в TypeScript (и JavaScript) проверяет, существует ли указанное свойство в объекте. Он возвращает true, если свойство присутствует, и false в противном случае. Это полезно для проверки наличия опциональных полей или для работы с объектами, структура которых может различаться.

Использование в сужении типов

В TypeScript оператор in часто применяется в условных конструкциях для сужения типа (type narrowing). Когда у вас есть union-тип, например, Cat | Dog, и вы проверяете наличие свойства, специфичного для одного из типов, TypeScript автоматически понимает, какой тип используется в данной ветке кода.

type Cat = { meow: () => void };
type Dog = { bark: () => void };

function makeSound(animal: Cat | Dog) {
  if ('meow' in animal) {
    animal.meow(); // TypeScript знает, что это Cat
  } else {
    animal.bark(); // TypeScript знает, что это Dog
  }
}

Практическое применение

Оператор in полезен при работе с API-ответами, где структура данных может варьироваться, или при обработке событий, где разные типы событий имеют разные свойства. Он также помогает избежать ошибок, связанных с обращением к несуществующим свойствам.

Вывод

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