Введение в расширенное сужение типов

Расширенное сужение типов позволяет уточнять сложные типы во время выполнения с помощью таких методов, как защитники типов, анализ потока управления и пользовательские предикаты.

Эти средства делают код на TypeScript более безопасным и предсказуемым.

Что такое сужение типов?

Сужение типов — это процесс уточнения более общего типа (например, string | number) до более конкретного типа с помощью проверок во время выполнения.

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

Оператор typeof можно использовать для сужения примитивных типов:

function printValue(value: string | number): void {
  if (typeof value === 'string') {
    console.log(`String: ${value}`);
  } else {
    console.log(`Number: ${value}`);
  }
}

printValue('Hello'); // String: Hello
printValue(42); // Number: 42

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

Оператор instanceof можно использовать для сужения типов экземпляров классов:

class Dog {
  bark() {
    console.log('Woof!');
  }
}

class Cat {
  meow() {
    console.log('Meow!');
  }
}

function makeSound(animal: Dog | Cat): void {
  if (animal instanceof Dog) {
    animal.bark();
  } else {
    animal.meow();
  }
}

makeSound(new Dog()); // Woof!
makeSound(new Cat()); // Meow!

Использование пользовательских защитников типов

Вы можете создавать пользовательские функции-защитники типов, чтобы точнее сужать типы:

type Fish = { swim: () => void };
type Bird = { fly: () => void };

declare const animal: Fish | Bird;

function isFish(animal: Fish | Bird): animal is Fish {
  return (animal as Fish).swim !== undefined;
}

if (isFish(animal)) {
  animal.swim();
} else {
  animal.fly();

Анализ потока управления

TypeScript автоматически сужает типы на основе логического потока вашего кода:

function getLength(value: string | string[]): number {
  if (Array.isArray(value)) {
    return value.length;
  } else {
    return value.length;
  }
}

console.log(getLength('Hello')); // 5
console.log(getLength(['a', 'b', 'c'])); // 3

Преимущества расширенного сужения типов

Расширенное сужение типов улучшает код следующим образом:

• Уменьшает количество ошибок во время выполнения.
• Делает код безопаснее и понятнее.
• Обеспечивает точный контроль над обработкой типов.

Практическое задание

Создайте функцию, принимающую параметр типа string | number и записывающую в журнал разные сообщения для каждого типа. Используйте typeof для реализации этой логики.

Поздравляем!

Вы научились использовать методы расширенного сужения типов в TypeScript для безопасного и эффективного уточнения и обработки сложных типов. Практикуйтесь в применении этих методов, чтобы сделать свой код более надёжным и безопасным с точки зрения типов!