Какой тип следует указывать для переменной ошибки в блоке catch в TypeScript и почему?

Введение в типизацию ошибок

В TypeScript, начиная с версии 4.0, переменная в блоке catch по умолчанию имеет тип unknown, а не any. Это изменение было внесено для повышения безопасности типов, поскольку в JavaScript в блок catch может попасть любое значение: строка, число, объект, null и так далее. Использование unknown заставляет разработчика явно проверять тип ошибки перед её использованием, что предотвращает случайные ошибки во время выполнения.

Почему unknown, а не any или Error?

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

Пример использования

try {
  // какой-то код, который может выбросить ошибку
  throw new Error('Что-то пошло не так');
} catch (error) {
  // error имеет тип unknown
  if (error instanceof Error) {
    console.log(error.message);
  } else {
    console.log('Неизвестная ошибка:', error);
  }
}

В этом примере мы проверяем, является ли перехваченное значение экземпляром Error, и только потом обращаемся к свойству message. Если бы мы использовали any, то могли бы написать error.message без проверки, что привело бы к ошибке во время выполнения, если бы было выброшено нечто иное.

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

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

Вывод

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