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 વિરુદ્ધ એનોટેશન: T — ચકાસે છે, પરંતુ T માં વિસ્તૃત કરે છે (વિશેષતા ગુમાવે છે).as T — પ્રકાર ફરજ કરે છે, કોઈ વાસ્તવિક ચકાસણી નથી (અસુરક્ષિત).satisfies T — T વિરુદ્ધ ચકાસે છે, સાંકુચિત અનુમાનિત પ્રકાર રાખે છે (સુરક્ષિત + ચોક્કસ).satisfies તમને ચકાસવા દે છે કે એક પદાર્થ ઇન્ટરફેસ/અવરોધ સાથે મેળ ખાય છે જ્યારે હજુ પણ સ્વતઃપૂર્ણતા, સંકુચન, અને keyof માટે ચોક્કસ શાબ્દિક પ્રકાર મેળવી રહ્યો છે.
તે કૉન્ફિગ ઑબ્જેક્ટ્સ, રૂટ મેપ્સ, થીમ પેલેટ્સ, અને સતત લુકઅપ માટે આદર્શ છે જ્યાં તમે સુધારણા અને ચોક્કસ અનુમાન બંને ઇચ્છો છો.