Co dělá operátor satisfies?

Question

Accepted Answer

`satisfies` (TS 4.9+) kontroluje, že hodnota **odpovídá** typu **bez rozšíření** odvozené typu hodnoty. Validuje proti omezení a zároveň zachovává přesný, doslovno zadaný typ pro pozdější použití — to nejlepší z anotace a inference. ## Problém, který řeší ```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 anotací by `b` měl typ širokého `Config`. S `satisfies`, `b` si zachovává svůj přesný tvar `{ host: string; port: number }` *a* je kontrolován, aby byl validním `Config`. ## Další klasika: typované vyhledávání, u kterého chcete stále přesné klíče ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies vs `as` vs anotace - **`: T`** — kontroluje, ale rozšiřuje na `T` (ztratíte specifika). - **`as T`** — vynucuje typ, *bez* skutečné kontroly (nebezpečné). - **`satisfies T`** — kontroluje proti `T`, zachovává úzký odvozený typ (bezpečné + přesné). ## Proč je to důležité `satisfies` vám umožňuje ověřit, že objekt odpovídá rozhraní/omezení a přesto získáte přesné doslovno typované hodnoty pro automatické doplňování, zúžení a `keyof`. Je ideální pro objekty konfigurace, mapy tras, palety barev a vyhledávání konstant, kde chcete jak správnost, *tak* přesnou inference.

Problém, který řeší

Další klasika: typované vyhledávání, u kterého chcete stále přesné klíče

satisfies vs as vs anotace

Proč je to důležité

satisfies vs `as` vs anotace