Kaj dela operator `satisfies`?

Question

Accepted Answer

`satisfies` (TS 4.9+) preveri, da vrednost **ustreza** tipu **brez razširjanja** sklepane vrednosti vrednosti. Potrdi omejitve, hkrati pa ohrani natančen, dobeseden tip za poznejšo uporabo — najbolje od anotacije in sklepanja. ## Problem, ki ga rešuje ```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 ``` S pripombo bi bil `b` tipiziran kot široki `Config`. Z `satisfies` `b` ohrani svojo natančno obliko `{ host: string; port: number }` *in* je preverjen kot veljaven `Config`. ## Še ena klasika: tipiziran pogled, katerega ključe še vedno želiš natančne ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies vs `as` vs anotacija - **`: T`** — preveri, toda razširi na `T` (izgubi posebnosti). - **`as T`** — prisili tip, *brez* prave preverjanja (nesigurno). - **`satisfies T`** — preveri proti `T`, ohrani ozko sklepan tip (varno + natančno). ## Zakaj je to pomembno `satisfies` ti omogoči, da preverjaš, da je objekt skladem z vmesnikom/omejitvijo, medtem ko še vedno dobivaš natančne dobesedne tipe za samodokončanje, zožavanje in `keyof`. Je idealen za objekte konfiguracije, zemljevide poti, palete tem in stalne preglede, kjer hočeš pravilo *in* natančno sklepanje.

Problem, ki ga rešuje

Še ena klasika: tipiziran pogled, katerega ključe še vedno želiš natančne

satisfies vs as vs anotacija

Zakaj je to pomembno

satisfies vs `as` vs anotacija