Почему необходима защита текста? Изучение различных типов и вариантов их использования

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

Что такое типовая защита?

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

Почему необходима защита текста?

В JavaScript вы часто встречаете значения, которые могут иметь несколько типов, например, функция, возвращающая либо строку, либо число. Без защиты типа TypeScript не сможет определить точный тип, что приведет к потенциальным ошибкам во время выполнения и некорректному поведению. Защитники типов позволяют проверять тип значения во время выполнения, помогая TypeScript сузить типы и обеспечить более точную проверку типов.

Распространенные типы типовых ограждений и варианты их использования

1. typeof Тип охранника

Сценарий использования: базовая проверка примитивных типов.
Пример:

function printValue(value: string | number) {
  if (typeof value === "string") {
    console.log(`String value: ${value.toUpperCase()}`);
  } else {
    console.log(`Number value: ${value.toFixed(2)}`);
  }
}

Объяснение: typeof эффективен для примитивных типов (строка, число, логическое значение). Это позволяет функции по-разному обрабатывать строковые и числовые типы.

2. Пользовательские типы защиты (ключевое слово)

Сценарий использования: для сложной логики, проверка пользовательских фигур или интерфейсов.

Пример:

 interface Square {
    side: number;
  }
  interface Circle {
    radius: number;
  }

  function isSquare(shape: Square | Circle): shape is Square {
    return (shape as Square).side !== undefined;
  }

  function calculateArea(shape: Square | Circle) {
    if (isSquare(shape)) {
      return shape.side * shape.side;
    } else {
      return Math.PI * shape.radius * shape.radius;
    }
  }

Объяснение: Пользовательские средства защиты типа позволяют определять функции, которые проверяют определенные атрибуты для определения типа. Здесь isSquare проверяет наличие свойства Side.

3. в типе оператора Guards

Сценарий использования: проверка наличия у объекта определенного свойства.
Пример:

 interface Car {
    drive(): void;
  }
  interface Boat {
    sail(): void;
  }

  function move(vehicle: Car | Boat) {
    if ("drive" in vehicle) {
      vehicle.drive();
    } else {
      vehicle.sail();
    }
  }

Объяснение: оператор in проверяет наличие свойства, помогая TypeScript понять тип и обеспечивая доступ к соответствующим методам.

Заключение

Защита типов — это мощная функция TypeScript, которая обеспечивает точную проверку типов, уменьшает количество ошибок и улучшает читаемость и удобство обслуживания кода. Используя typeof, instanceof, специальные средства защиты типов и оператор in, вы можете безопасно и эффективно обрабатывать сложные типы в проектах TypeScript.