একটি user-defined type guard হল একটি ফাংশন যার রিটার্ন টাইপ একটি type predicate (x is T)। যখন এটি true রিটার্ন করে, কম্পাইলার কলিং কোডে আর্গুমেন্টকে T-এ সংকুচিত করে — আপনাকে কাস্টম রানটাইম চেক এনক্যাপসুলেট করতে দেয়।
{ (): ; }
{ (): ; }
(): pet is {
pet;
}
() {
((pet)) {
pet.();
} {
pet.();
}
}
pet is Cat predicate ছাড়া, isCat রিটার্নিং boolean pet সংকুচিত করবে না — কম্পাইলার এখনও if-এর ভিতরে Cat | Dog দেখবে। predicate-ই এটি শেখায়।
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
কম্পাইলার আপনার predicate-কে বিশ্বাস করে — যদি বডির লজিক ভুল হয়, আপনি একটি অনিরাপদ সংকোচন পান। জটিল আকৃতির জন্য, একটি schema validator (zod) আপনার জন্য সঠিক guards তৈরি করে।
টাইপ গার্ড আপনাকে যেকোনো রানটাইম চেককে পুনঃব্যবহারযোগ্য সংকোচন ফাংশনে পরিণত করতে দেয় — API/সীমানায় unknown ডেটা যাচাইয়ের জন্য এবং একটি ইউনিয়নের সদস্য আলাদা করার জন্য অপরিহার্য যখন একটি সাধারণ typeof/in চেক একা যথেষ্ট নয়।