Hvad gør satisfies-operatoren?

Question

IT Interview Practice · Accepted Answer

`satisfies` (TS 4.9+) kontrollerer, at en værdi **overholder** en type **uden at udvide** værdiens infererede type. Det validerer mod en begrænsning, mens det bevarer den præcise, ordentlige type til senere brug — det bedste af både annotation og inferens. ## Det problem, det løser ```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 ``` Med annotationen ville `b` blive typet som den brede `Config`. Med `satisfies` bevarer `b` sin nøjagtige form `{ host: string; port: number }` *og* bliver kontrolleret for at være en gyldig `Config`. ## Endnu et klassisk tilfælde: et typet lookup, hvor du stadig ønsker præcise nøgler ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies vs `as` vs annotation - **`: T`** — kontrollerer, men udvider til `T` (mister specifikke detaljer). - **`as T`** — gennemtvinger typen, *ingen* rigtig kontrol (usikker). - **`satisfies T`** — kontrollerer mod `T`, bevarer den snævre infererede type (sikker + præcis). ## Hvorfor det betyder noget `satisfies` lader dig validere, at et objekt matcher en interface/begrænsning, mens du stadig får præcise ordentlige typer til autocompletion, narrowing og `keyof`. Det er ideelt til config-objekter, route-kort, tema-paletter og konstante lookups, hvor du ønsker både korrekthed *og* præcis inferens.

Det problem, det løser

Endnu et klassisk tilfælde: et typet lookup, hvor du stadig ønsker præcise nøgler

satisfies vs as vs annotation

Hvorfor det betyder noget

Relaterede spørgsmål

satisfies vs `as` vs annotation