satisfies (TS 4.9+) sjekker at en verdi samsvarer med en type uten å utvide verdiens utledet type. Den validerer mot en begrensning mens den beholder den presise, bokstavelige typen for senere bruk — det beste av annotasjon og utledning.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Med annoteringen ville b blitt skrevet som den brede Config. Med satisfies beholder b sin eksakte form { host: string; port: number } og er sjekket for å være en gyldig Config.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs annotasjon: T — sjekker, men utvider til T (mister detaljer).as T — tvinger typen, ingen reell sjekking (usikker).satisfies T — sjekker mot T, beholder den snevre utledet typen (sikker + presise).satisfies lar deg validere at et objekt stemmer overens med et interface/begrensning samtidig som du fortsatt får eksakte bokstavelige typer for autofullføring, innsnevrering og keyof.
Det er ideelt for konfigurasjons objeketer, rutekart, tempaletter og konstante oppslag der du ønsker både korrekthet og presise utledning.