satisfies (TS 4.9+) prüft, dass ein Wert einem Typ entspricht, ohne den hergeleiteten Typ des Wertes zu verbreitern. Es validiert gegen eine Bedingung, während der präzise, exakte Typ für die weitere Verwendung erhalten bleibt — das Beste aus Annotation und Inferenz.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Mit der Annotation würde b als der breite Typ Config typisiert. Mit satisfies behält b seine exakte Form { host: string; port: number } und wird geprüft, um ein gültiges Config zu sein.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs Annotation: T — prüft, verbreitert aber zu T (Spezifiken gehen verloren).as T — erzwingt den Typ, keine echte Prüfung (unsicher).satisfies T — prüft gegen T, behält den engen hergeleiteten Typ (sicher + präzise).satisfies lässt dich validieren, dass ein Objekt einem Interface/einer Bedingung entspricht, während du gleichzeitig exakte literale Typen für Autocompletion, Narrowing und keyof erhältst.
Es ist ideal für Config-Objekte, Route Maps, Theme Paletten und konstante Lookups, bei denen du sowohl Korrektheit als auch präzise Inferenz möchtest.