Техники сужения типов

Принципы

• Оператор as и угловые скобки (<Type>value) выполняют утверждение типов, но не меняют runtime-значение — используйте их осторожно.
• Проверки через оператор in позволяют отличать объекты по наличию свойства.
• Различные техники сужения комбинируются для получения строго типизированного кода без any.

Пример

const button1 = document.querySelector('.go') as HTMLButtonElement;
button1.disabled = true;

const button2 = <HTMLButtonElement>document.querySelector('.go');
button2.disabled = false;

interface Type1 { name: string; }
interface Type2 { age: number; }

function getUnion(): Type1 | Type2 {
  return {} as any;
}

const value = getUnion();
if ('name' in value) {
  console.log(value.name);
}

Практика

• Отдавайте предпочтение пользовательским type guard-ам вместо принудительного as.
• При работе с DOM всегда проверяйте результат querySelector, прежде чем приводить тип (if (!button) return;).
• Используйте in, typeof, instanceof, чтобы безопасно работать с объединениями типов.