satisfies (TS 4.9+) ellenőrzi, hogy egy érték megfelel-e egy típusnak az érték kikövetkeztetett típusának szélességét meg nem változtatva. Megkötéssel szemben érvényesít, miközben az érték pontos, szöveges típusát őrzi meg a későbbi felhasználáshoz — az anotáció és a kikövetkeztetés legjobbjából.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Az anotációval b a széles Config típusú lenne. A satisfies segítségével b megtartja pontos formáját { host: string; port: number } és egy érvényes Config ként van ellenőrizve.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs anotáció: T — ellenőriz, de kiterjed T-re (specifika elvesztése).as T — kényszeríti a típust, nincs valódi ellenőrzés (nem biztonságos).satisfies T — ellenőriz T ellen, megtartja a szűk kikövetkeztetett típust (biztonságos + pontos).A satisfies lehetővé teszi annak ellenőrzését, hogy egy objektum megfelel-e egy felületnek/megkötésnek, miközben továbbra is pontos szöveges típusokat kap az automatikus kitöltéshez, szűkítéshez és keyof-hoz.
Ideális konfigurációs objektumokhoz, útvonaltérképekhez, témapaleták és állandó keresésekhez, ahol pontosságot és pontos kikövetkeztetést szeretne.