satisfies (TS 4.9+) vérifie qu'une valeur se conforme à un type sans élargir le type inféré de la valeur. Il valide par rapport à une contrainte tout en conservant le type précis et littéral pour une utilisation ultérieure — le meilleur de l'annotation et de l'inférence.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Avec l'annotation, b serait typé comme le large Config. Avec satisfies, b conserve sa forme exacte { host: string; port: number } et est vérifiée pour être un Config valide.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs annotation: T — vérifie, mais élargit à T (perte des spécificités).as T — force le type, pas de véritable vérification (dangereux).satisfies T — vérifie par rapport à T, conserve le type inféré étroit (sûr + précis).satisfies vous permet de valider qu'un objet correspond à une interface/contrainte tout en obtenant des types littéraux exacts pour l'autocomplétion, le narrowing et keyof.
C'est idéal pour les objets de configuration, les cartes de routes, les palettes de thèmes et les recherches de constantes où vous voulez à la fois la correction et une inférence précise.