TypeScript предлагает надежную систему типов, но некоторые типы могут сбивать с толку, а именно: «любой», «неизвестный» и «никогда». Давайте разберем их для лучшего понимания.

Любой тип

Любой тип — самый простой из трех. По сути, он отключает проверку типов, позволяя переменной хранить значения любого типа. Например:

let value: any;
value = 42;             // number
value = "Hello";        // string
value = [1, 2, 3];      // array
value = () => {};       // function
value = { key: "val" }; // object
value = new Date();     // date

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

Неизвестный тип

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

let value: unknown;
value = 42;
value = "Hello";

// To perform operations, we need to narrow down the type
if (typeof value === "number") {
  console.log(value   1); // TypeScript knows value is a number here
}

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

Тип «никогда»

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

type User = { type: "admin" } | { type: "standard" };

function handleUser(user: User) {
  switch (user.type) {
    case "admin":
      // handle admin
      break;
    case "standard":
      // handle standard
      break;
    default:
      const _exhaustiveCheck: never = user;
      // This ensures all cases are handled
  }
}

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

Заключение

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