O sentință de tip definită de utilizator este o funcție al cărei tip de retur este un predicat de tip (x is T). Când returnează true, compilatorul restrânge argumentul la T în codul apelant — permițând encapsularea unor verificări personalizate la runtime.
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
}
}
Fără predicatul pet is Cat, isCat care returnează boolean nu ar restrânge pet — compilatorul ar vedea în continuare Cat | Dog în interiorul if. Predicatul este ceea ce o învață.
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
Compilatorul încrede în predicatul tău — dacă logica din corp este greșită, obții o restrângere nesigură. Pentru forme complexe, un validateur de schemă (zod) generează pentru tine sentințe corecte.
Sentințele de tip te lasă să transformi verificări arbitrare la runtime în funcții de restrângere reutilizabile — esențial pentru validarea datelor unknown la granițe de API și pentru a distinge membrii unei uniuni atunci când o simplă verificare typeof/in nu este suficientă de una singură.