ਇੱਕ ਯੂਜ਼ਰ-ਡਿਫਾਈਨਡ ਟਾਈਪ ਗਾਰਡ ਇੱਕ ਫੰਕਸ਼ਨ ਹੈ ਜਿਸਦੀ ਰਿਟਰਨ ਟਾਈਪ ਇੱਕ ਟਾਈਪ ਪ੍ਰੇਡੀਕੇਟ (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 ਨੂੰ ਨਹੀਂ ਸੀਮਿਤ ਕਰੇਗਾ — ਕੰਪਾਈਲਰ if ਦੇ ਅੰਦਰ Cat | Dog ਨੂੰ ਵੇਖਦਾ ਰਹੇਗਾ। ਪ੍ਰੇਡੀਕੇਟ ਹੀ ਉਹ ਹੈ ਜੋ ਇਸਨੂੰ ਸਿਖਾਉਂਦਾ ਹੈ।
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
ਕੰਪਾਈਲਰ ਆਪਣੀ ਪ੍ਰੇਡੀਕੇਟ ਉੱਤੇ ਭਰੋਸਾ ਕਰਦਾ ਹੈ — ਜੇ ਬਾਡੀ ਦਾ ਲਾਜਿਕ ਗ਼ਲਤ ਹੈ, ਤਾਂ ਤੁਹਾਨੂੰ ਇੱਕ ਅਸੁਰੱਖਿਅਤ ਸੀਮਿਤ ਬਣਾਇਆ ਪ੍ਰਾਪਤ ਹੁੰਦਾ ਹੈ। ਜਟਿਲ ਆਕਾਰਾਂ ਲਈ, ਇੱਕ schema validator (zod) ਤੁਹਾਡੇ ਲਈ ਸਹੀ ਗਾਰਡਾਂ ਨੂੰ ਤਿਆਰ ਕਰਦਾ ਹੈ।
ਟਾਈਪ ਗਾਰਡਸ ਤੁਹਾਨੂੰ ਮਨਮਾਨਤਰ ਰਨਟਾਈਮ ਚੈੱਕਸ ਨੂੰ ਮੁੜ-ਵਰਤਨਯੋਗ ਸੀਮਿਤ ਫੰਕਸ਼ਨਾਂ ਵਿੱਚ ਬਦਲਣ ਦਿੰਦੇ ਹਨ — API/ਸਰਹੱਦਾਂ ਵਿੱਚ unknown ਡਾਟਾ ਦੀ ਪ੍ਰਮਾਣਿਕਤਾ ਲਈ ਅਤੇ ਇੱਕ ਯੂਨੀਅਨ ਦੇ ਮੈਂਬਰਾਂ ਨੂੰ ਅਲੱਗ ਕਰਨ ਲਈ ਜਦੋਂ ਇੱਕ ਸਧਾਰਨ typeof/in ਚੈੱਕ ਆਪਣੇ ਆਪ ਮਾਤਰ ਲਈ ਕਾਫ਼ੀ ਨਹੀਂ ਹੈ — ਜ਼ਰੂਰੀ।