Menene mai aiki na satisfies?

Question

Accepted Answer

`satisfies` (TS 4.9+) yana bincike cewa darajar **ta daidaita da** nau'in **ba tare da fadada** nau'in da aka fahimta na darajar. Yana tabbatarwa a kan takaitawa yayin da ake kiyaye ainihin nau'in zahiri don amfani gida — mafi kyau na bayanin bayanai da tunanin. ## Matsalar da ya warware ```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 ``` Tare da bayanin bayanai, `b` za a buga shi azaman fadi `Config`. Tare da `satisfies`, `b` yana kiyaye ainihin siffarsa `{ host: string; port: number }` *kuma* an tabbata cewa yana da inganci `Config`. ## Wani babi: binciken nau'in da maɓabobin da kika ƙi gida ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies a gāre `as` a gāre bayanin bayanai - **`: T`** — yana bincike, amma yana fadada zuwa `T` (ya asarar cikakku). - **`as T`** — yana tilastawa nau'in, *ba* ainihin bincike (mara aminci). - **`satisfies T`** — yana bincike a gāre `T`, kiyaye nau'in da aka fahimta (aminci + ainihi). ## Me ya sa ya zama mahimmanci `satisfies` yana ba ka damar tabbatar cewa abin ke daidaita da ingancin/takaitawa yayin da har yanzu ake samun ainihin nau'in zahiri don cikakka, ƙarewa, da `keyof`. Iya dace da abubuwan daidaita, taswira jeri, palette na jiya, da zuba tabbatacciya inda kake bukata daidaita *kuma* ainihin tunanin.

Matsalar da ya warware

Wani babi: binciken nau'in da maɓabobin da kika ƙi gida

satisfies a gāre as a gāre bayanin bayanai

Me ya sa ya zama mahimmanci

satisfies a gāre `as` a gāre bayanin bayanai