В каких сценариях утверждение типа (type assertion) целесообразно, а когда его следует избегать?

Type assertion — это способ сообщить компилятору TypeScript, что значение имеет конкретный тип, даже если вывод типов говорит иначе. Синтаксис value as Type или устаревший <Type>value не выполняет никаких проверок во время выполнения: он лишь отключает часть проверок компилятора. Поэтому assertion одновременно и удобен, и опасен.

Когда assertion оправдан

• Работа с DOM: document.getElementById возвращает HTMLElement | null, а вы точно знаете, что это HTMLInputElement.
• Данные из внешних источников: ответ API, JSON.parse, значения из localStorage — компилятор не знает их форму.
• Сужение после собственной проверки, которую компилятор не может вывести (например, кастомный type guard).
• Миграция legacy-кода, когда полная типизация пока невозможна.

Когда assertion стоит избегать

• Если можно применить type guard (typeof, instanceof, in) — это безопаснее.
• Если можно описать тип через generic или union — компилятор сам выведет нужное.
• Когда assertion используется, чтобы "заткнуть" ошибку типов — это скрывает реальный баг.
• Двойной assertion через as unknown as T — почти всегда признак плохого дизайна типов.

Пример

// Плохо: assertion скрывает возможную ошибку
function getLength(value: unknown) {
  return (value as string).length; // упадёт, если придёт число
}

// Хорошо: type guard делает код безопасным
function getLengthSafe(value: unknown) {
  if (typeof value === 'string') return value.length;
  return 0;
}

// Оправданный assertion: DOM гарантированно input
const el = document.getElementById('name') as HTMLInputElement;
el.value = 'Ivan';

Итог: применяйте type assertion только там, где тип действительно известен из внешнего контекста и проверка невозможна, а во всех остальных случаях предпочитайте type guards, generics и корректные типы — это сохраняет безопасность типов и предотвращает ошибки в рантайме.