satisfies (TS 4.9+) memeriksa bahwa nilai sesuai dengan tipe tanpa memperluas tipe yang disimpulkan dari nilai. Ini memvalidasi terhadap batasan sambil mempertahankan tipe yang tepat dan literal untuk digunakan nanti — yang terbaik dari anotasi dan inferensi.
= <, | >;
: = { : , : };
a..();
b = { : , : } ;
b..();
b..();
Dengan anotasi, b akan diketik sebagai Config yang luas. Dengan satisfies, b mempertahankan bentuk tepatnya { host: string; port: number } dan diperiksa untuk menjadi Config yang valid.
const routes = {
home: "/",
user: "/users/:id",
} satisfies Record<string, string>;
type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved
as vs anotasi: T — memeriksa, tetapi memperluas ke T (kehilangan spesifik).as T — memaksa tipenya, tanpa pemeriksaan nyata (tidak aman).satisfies T — memeriksa terhadap T, mempertahankan tipe yang disimpulkan secara sempit (aman + tepat).satisfies memungkinkan Anda memvalidasi bahwa objek cocok dengan antarmuka/batasan sambil tetap mendapatkan tipe literal yang tepat untuk penyelesaian otomatis, penyempitan, dan keyof.
Ini ideal untuk objek konfigurasi, peta rute, palet tema, dan pencarian konstan di mana Anda menginginkan kebenaran dan inferensi yang tepat.