`satisfies` 运算符做什么?

Question

`satisfies` 运算符做什么?

Accepted Answer

`satisfies`（TS 4.9+）检查一个值**符合**一个类型**而不扩大**该值的推断类型。它在验证约束的同时保留精确的、字面的类型以供后续使用 — 这是注解和推断的最好结合。 ## 它解决的问题 ```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 ``` 使用注解，`b` 会被类型化为宽泛的 `Config`。使用 `satisfies`，`b` 保持其精确的形状 `{ host: string; port: number }` *并且*被检查为有效的 `Config`。 ## 另一个经典例子：一个类型化的查询，其中你仍然想要精确的键 ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies vs `as` vs 注解 - **`: T`** — 检查，但扩大到 `T`（失去详细信息）。 - **`as T`** — 强制类型，*没有*真正的检查（不安全）。 - **`satisfies T`** — 针对 `T` 检查，保持狭窄的推断类型（安全 + 精确）。 ## 为什么这很重要 `satisfies` 让你验证对象是否匹配接口/约束，同时仍然获得用于自动完成、类型缩小和 `keyof` 的精确字面类型。它非常适合配置对象、路由映射、主题调色板和常量查询，在这些地方你既想要正确性*又*想要精确推断。

它解决的问题

另一个经典例子：一个类型化的查询，其中你仍然想要精确的键

satisfies vs as vs 注解

为什么这很重要

satisfies vs `as` vs 注解