satisfies (TS 4.9+) kontrollerer, at en værdi overholder en type uden at udvide værdiens infererede type. Det validerer mod en begrænsning, mens det bevarer den præcise, ordentlige type til senere brug — det bedste af både annotation og inferens.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Med annotationen ville b blive typet som den brede Config. Med satisfies bevarer b sin nøjagtige form { host: string; port: number } og bliver kontrolleret for at 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 annotation: T — kontrollerer, men udvider til T (mister specifikke detaljer).as T — gennemtvinger typen, ingen rigtig kontrol (usikker).satisfies T — kontrollerer mod T, bevarer den snævre infererede type (sikker + præcis).satisfies lader dig validere, at et objekt matcher en interface/begrænsning, mens du stadig får præcise ordentlige typer til autocompletion, narrowing og keyof.
Det er ideelt til config-objekter, route-kort, tema-paletter og konstante lookups, hvor du ønsker både korrekthed og præcis inferens.