Что такое non-null assertion оператор (!) в TypeScript? Почему он считается антипаттерном?

Что такое non-null assertion оператор (!)?

Оператор ! (восклицательный знак после выражения) в TypeScript называется non-null assertion. Он используется для того, чтобы явно указать компилятору: "Я уверен, что это выражение не равно null или undefined, даже если тип говорит об обратном". Это не меняет поведение кода во время выполнения, а только отключает проверку типов для данного выражения.

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

function getLength(str: string | null): number {
  // Без ! TypeScript выдаст ошибку: Object is possibly 'null'
  return str!.length;
}

В этом примере str! говорит TypeScript: "Не проверяй, что str может быть null, я знаю, что это строка". Если во время выполнения str окажется null, код упадет с ошибкой.

Почему это антипаттерн?

• Обход системы типов: Оператор отключает статическую проверку, которая защищает от ошибок. Это противоречит цели TypeScript — повышению надежности кода.
• Риск runtime-ошибок: Если ваше предположение неверно, приложение упадет. Например, при работе с данными из API или DOM, где значения могут быть неопределенными.
• Ухудшение читаемости: Другие разработчики могут не понять, почему вы уверены в отсутствии null, и код становится менее предсказуемым.
• Затруднение рефакторинга: При изменении логики программы такие утверждения могут остаться незамеченными и привести к багам.

Когда использовать?

В редких случаях, когда вы абсолютно уверены в значении, например, при работе с DOM-элементами, которые гарантированно существуют:

const button = document.getElementById('submit')!;
button.addEventListener('click', handleClick);

Но даже здесь лучше использовать проверки или утверждения типов.

Альтернативы

• Optional chaining (?.): str?.length — безопасно возвращает undefined, если str null.
• Проверки: if (str !== null) { str.length }.
• Утверждение типа: str as string — тоже обходит проверки, но более явно.

Вывод: Non-null assertion — это инструмент для крайних случаев, когда вы уверены в значении, но его использование должно быть минимальным. В большинстве ситуаций предпочтительнее использовать безопасные альтернативы, чтобы сохранить преимущества строгой типизации TypeScript и избежать ошибок во время выполнения.