Toán tử satisfies làm gì?

Question

Accepted Answer

`satisfies` (TS 4.9+) kiểm tra rằng một giá trị **tuân thủ** một kiểu **mà không widen** kiểu được infer của giá trị đó. Nó xác thực theo một ràng buộc trong khi giữ lại kiểu literal chính xác để dùng sau — kết hợp điểm tốt nhất của annotation và inference. ## Vấn đề mà nó giải quyết ```ts type Config = Record; // annotation widen — bạn mất các key/value cụ thể const a: Config = { host: "localhost", port: 3000 }; a.port.toFixed(2); // ❌ port là string | number, .toFixed có thể không tồn tại // satisfies — xác thực VÀ giữ kiểu được infer hẹp const b = { host: "localhost", port: 3000 } satisfies Config; b.port.toFixed(2); // ✅ port được biết là number b.host.toUpperCase(); // ✅ host được biết là string // b.hsot; // ✅ lỗi compile — chỉ các key thật sự tồn tại ``` Với annotation, `b` sẽ được type là kiểu rộng `Config`. Với `satisfies`, `b` giữ shape chính xác `{ host: string; port: number }` *và* được kiểm tra là một `Config` hợp lệ. ## Một ví dụ kinh điển khác: một lookup được type mà bạn vẫn muốn key chính xác ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — giữ chính xác các key ``` ## satisfies so với `as` so với annotation - **`: T`** — kiểm tra, nhưng widen thành `T` (mất tính cụ thể). - **`as T`** — ép kiểu, *không* kiểm tra thực sự (không an toàn). - **`satisfies T`** — kiểm tra theo `T`, giữ kiểu được infer hẹp (an toàn + chính xác). ## Tại sao điều này quan trọng `satisfies` cho phép bạn xác thực rằng một object khớp với một interface/ràng buộc trong khi vẫn nhận được các literal type chính xác cho autocomplete, narrowing và `keyof`. Nó lý tưởng cho config object, route map, theme palette, và các lookup hằng số nơi bạn muốn cả tính đúng đắn *lẫn* inference chính xác.

Vấn đề mà nó giải quyết

Một ví dụ kinh điển khác: một lookup được type mà bạn vẫn muốn key chính xác

satisfies so với as so với annotation

Tại sao điều này quan trọng

satisfies so với `as` so với annotation