satisfies (TS 4.9+) patikrina, kad reikšmė atitinka tipą neplečiant išvesto reikšmės tipo. Jis patvirtina pagal apribojimą, išlaikant tikslų, tikslinį tipą vėlesniam naudojimui — geriausias anotacijos ir išvados derinys.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Su anotacija, b būtų tipizuota kaip platus Config. Su satisfies, b išlaiko tikslią formą { host: string; port: number } ir patikrinama, kad tai galiojantis Config.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs anotacija: T — patikrina, bet išplečia į T (praranda detales).as T — priverstinai nustato tipą, be tikros patikros (nesaugu).satisfies T — patikrina pagal T, išlaiko siaurą išvestą tipą (saugu + tikslus).satisfies leidžia patikrinti, kad objektas atitinka sąsają/apribojimą ir vis tiek gauti tikslų tipiniu tipą automatiniam užbaigimui, susiaurinimui ir keyof.
Tai idealu konfigūracijos objektams, maršruto žemėlapiams, temos paletėms ir konstantų paieškai, kai norite tiek teisingumo, tiek tikslios išvados.