satisfies (TS 4.9+) kontrollerar att ett värde överensstämmer med en typ utan att utöka värdets härledda typ. Den validerar mot en constraint samtidigt som den behåller den exakta, literala typen för senare användning — det bästa från både annotation och härledning.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Med annotationen skulle b få typen för den breda Config. Med satisfies behåller b sin exakta form { host: string; port: number } och kontrolleras för att vara en giltig 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 — kontrollerar, men utökar till T (förlorar detaljer).as T — tvingar typen, ingen verklig kontroll (osäker).satisfies T — kontrollerar mot T, behåller den snäva härledda typen (säker + exakt).satisfies låter dig validera att ett objekt matchar ett gränssnitt/constraint samtidigt som du fortfarande får exakta literala typer för autoförslå, begränsning och keyof.
Det är idealiskt för konfigurationsobjekt, ruttkartningar, tempaletter och konstanta uppslag där du vill ha både korrekthet och exakt härledning.