satisfies 演算子は何をしますか?

Question

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` であることがチェックされます。 ## もう1つの典型例: キーを正確に保ちたい型付きルックアップ ```ts const routes = { home: "/", user: "/users/:id", } satisfies Record; type RouteName = keyof typeof routes; // "home" | "user" — exact keys preserved ``` ## satisfies と `as` と注釈の比較 - **`: T`** — チェックするが、`T` に拡大される(具体性が失われる)。 - **`as T`** — 型を強制するが、実際のチェックは*行われない*(安全でない)。 - **`satisfies T`** — `T` に対してチェックし、絞り込まれた推論型を保持する(安全かつ正確)。 ## なぜ重要なのか `satisfies` を使うと、オブジェクトがインターフェースや制約に一致することを検証しつつ、オートコンプリート、絞り込み、`keyof` のために正確なリテラル型を得られます。設定オブジェクト、ルートマップ、テーマパレット、定数ルックアップなど、正しさ*と*正確な推論の両方が欲しい場面に最適です。

これが解決する問題

もう1つの典型例: キーを正確に保ちたい型付きルックアップ

satisfies と as と注釈の比較

なぜ重要なのか

satisfies と `as` と注釈の比較