Apakah yang dilakukan operator satisfies?

Question

Accepted Answer

`satisfies` (TS 4.9+) memeriksa bahawa nilai **mematuhi** jenis **tanpa meluaskan** jenis yang disimpulkan nilai. Ia mengesahkan terhadap kekangan sambil mengekalkan jenis yang tepat dan literal untuk kegunaan kemudian — gabungan terbaik anotasi dan inferensi. ## Masalah yang diselesaikannya ```ts type Config = Record; // annotation widens — you lose the specific keys/values const a: Config = { host: "localhost", port: 3000 }; a.port.toFixed(2); // ❌ port is string | number, .toFixed may not exist // satisfies — validates AND keeps the narrow inferred type const b = { host: "localhost", port: 3000 } satisfies Config; b.port.toFixed(2); // ✅ port is known to be number b.host.toUpperCase(); // ✅ host is known to be string // b.hsot; // ✅ compile error — only real keys exist ``` Dengan anotasi, `b` akan ditaip sebagai `Config` yang luas. Dengan `satisfies`, `b` mengekalkan bentuknya yang tepat `{ host: string; port: number }` *dan* diperiksa menjadi `Config` yang sah. ## Satu lagi klasik: pencarian jenis yang kuncinya anda masih mahukan tepat ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies vs `as` vs anotasi - **`: T`** — memeriksa, tetapi meluas kepada `T` (hilang perincian). - **`as T`** — memaksa jenis, *tiada* pemeriksaan sebenar (tidak selamat). - **`satisfies T`** — memeriksa terhadap `T`, mengekalkan jenis yang disimpulkan sempit (selamat + tepat). ## Mengapa ini penting `satisfies` membolehkan anda mengesahkan bahawa objek mematuhi antarmuka/kekangan sambil masih mendapatkan jenis literal yang tepat untuk pelengkapan automatik, pengecilan, dan `keyof`. Ia ideal untuk objek konfigurasi, peta rute, palet tema, dan pencarian pemalar di mana anda mahukan kedua-dua ketepatan *dan* inferensi yang tepat.

Masalah yang diselesaikannya

Satu lagi klasik: pencarian jenis yang kuncinya anda masih mahukan tepat

satisfies vs as vs anotasi

Mengapa ini penting

satisfies vs `as` vs anotasi