O que o operador `satisfies` faz?

Question

Accepted Answer

`satisfies` (TS 4.9+) verifica que um valor **está em conformidade com** um tipo **sem ampliar** o tipo inferido do valor. Valida contra uma restrição enquanto mantém o tipo preciso e literal para uso posterior — o melhor da anotação e inferência. ## Por que isso importa O problema que resolve: ```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 ``` Com a anotação, `b` seria tipado como o amplo `Config`. Com `satisfies`, `b` mantém sua forma exata `{ host: string; port: number }` *e* é verificado como um `Config` válido. ## Outro clássico: uma busca tipada cujas chaves você ainda quer exatas ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies vs `as` vs anotação - **`: T`** — verifica, mas amplia para `T` (perde especificidades). - **`as T`** — força o tipo, *sem* verificação real (inseguro). - **`satisfies T`** — verifica contra `T`, mantém o tipo inferido restrito (seguro + preciso). ## Por que isso importa `satisfies` permite validar que um objeto corresponde a uma interface/restrição enquanto ainda obtém tipos literais exatos para autocompletar, estreitamento e `keyof`. É ideal para objetos de configuração, mapas de rotas, paletas de temas e buscas constantes onde você quer precisão *e* inferência precisa.

Por que isso importa

Outro clássico: uma busca tipada cujas chaves você ainda quer exatas

satisfies vs as vs anotação

Por que isso importa

satisfies vs `as` vs anotação