Определяемая пользователем защита типа — это функция, тип возвращаемого значения которой является предикатом типа (x is T). Когда она возвращает true, компилятор сужает аргумент до T в вызывающем коде — позволяя инкапсулировать пользовательские проверки во время выполнения.
interface Cat { meow(): void; }
interface Dog { bark(): void; }
// the magic is the return type `pet is Cat`, not just `boolean`
function isCat(pet: Cat | Dog): pet is Cat {
return "meow" in pet;
}
function speak(pet: Cat | Dog) {
if (isCat(pet)) {
pet.meow(); // ✅ narrowed to Cat
} else {
pet.bark(); // ✅ narrowed to Dog
}
}
Без предиката pet is Cat функция isCat, возвращающая boolean, не сужала бы pet — компилятор по-прежнему видел бы Cat | Dog внутри if. Предикат — это то, что его этому учит.
interface User { id: number; name: string; }
function isUser(x: unknown): x is User {
return (
typeof x === "object" && x !== null &&
typeof (x as any).id === "number" &&
typeof (x as any).name === "string"
);
}
const data: unknown = await res.json();
if (isUser(data)) data.name; // ✅ safely typed as User
Компилятор доверяет вашему предикату — если логика в теле неправильная, вы получаете небезопасное сужение. Для сложных структур валидатор схемы (zod) генерирует правильные защиты за вас.
Защиты типов позволяют преобразовывать произвольные проверки во время выполнения в переиспользуемые функции сужения — необходимо для валидации данных unknown на границах API и для различения членов объединения, когда простой проверки typeof/in недостаточно.