satisfies (TS 4.9+) verifica che un valore sia conforme a un tipo senza ampliare il tipo inferito del valore. Valida il vincolo mantenendo il tipo preciso e letterale per un uso successivo — il meglio dell'annotazione e dell'inferenza.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Con l'annotazione, b sarebbe tipizzato come il vasto Config. Con satisfies, b mantiene la sua forma esatta { host: string; port: number } ed è verificato per essere un Config valido.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs annotazione: T — verifica, ma amplia a T (perde specifiche).as T — forza il tipo, nessuna verifica reale (non sicuro).satisfies T — verifica rispetto a T, mantiene il tipo inferito ristretto (sicuro + preciso).satisfies consente di verificare che un oggetto corrisponda a un'interfaccia/vincolo mentre si ottengono ancora tipi letterali esatti per il completamento automatico, il restringimento e keyof.
È ideale per oggetti di configurazione, mappe di route, tavolozze di tema e ricerche costanti dove si desidera sia la correttezza che l'inferenza precisa.