satisfies (TS 4.9+) जाँच गर्छ कि मान प्रकारसँग अनुरूप छ मानको अनुमानित प्रकार चौडो नगरी। यो बाधा विरुद्ध प्रमाणित गर्छ जबकि पछिको उपयोगको लागि सटीक, शाब्दिक प्रकार राख्छ —주석 र अनुमानको सर्वोत्तम संयोजन।
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
व्याख्याको साथ, b फराकिलो Config को रूपमा टाइप गरिनेछ। satisfies सँग, b यसको सटीक आकार { host: string; port: number } राख्छ र वैध Config भएको जाँच गरिन्छ।
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs व्याख्या: T — जाँच गर्छ, तर T सँग चौडो गर्छ (विशेषता हराउँछ)।as T — प्रकार लाई बल गर्छ, कुनै पनि वास्तविक जाँच छैन (असुरक्षित)।satisfies T — T विरुद्ध जाँच गर्छ, सँकुचित अनुमानित प्रकार राख्छ (सुरक्षित + सटीक)।satisfies ले तपाईलाई जाँच गर्न दिन्छ कि वस्तु इन्टरफेस/बाधासँग अनुरूप छ जबकि अटोकम्प्लीट, नेरोइङ, र keyof को लागि सटीक शाब्दिक प्रकार पनि पाउँछु।
यो कन्फिगरेशन वस्तुहरू, मार्ग नक्साहरू, थिम प्यालेटहरू, र स्थिरांक खोजहरूको लागि आदर्श छ जहाँ तपाईले सहीपन र सटीक अनुमान दुवै चाहनुहुन्छ।