satisfies演算子

const value = expression satisfies Type;

// 型注釈（: Record）を使うと string | string[] に広がってしまう
type Config = Record<string, string | string[]>;

// : Config を使った場合
const config1: Config = {
  port: '3000',
  hosts: ['localhost', 'example.com'],
};
// config1.port は string | string[] として認識される
// config1.port.toUpperCase(); // エラー: string | string[] に toUpperCase はない

// satisfies を使った場合
const config2 = {
  port: '3000',
  hosts: ['localhost', 'example.com'],
} satisfies Config;

// config2.port は string 型として保持される
console.log(config2.port.toUpperCase()); // OK: 'PORT' → '3000'
// config2.hosts は string[] 型として保持される
console.log(config2.hosts.join(', ')); // OK

// 型チェックは機能する（誤った値はエラーになる）
const bad = {
  port: 3000, // エラー: number は string | string[] に代入できない
} satisfies Config;

// カラーパレットの例
type Color = { r: number; g: number; b: number } | string;

const palette = {
  red: { r: 255, g: 0, b: 0 },
  blue: '#0000ff',
} satisfies Record<string, Color>;

// red はオブジェクト型、blue は string 型として保持される
console.log(palette.red.r); // OK: 255
console.log(palette.blue.toUpperCase()); // OK: '#0000FF'

実行すると次のように出力されます。

npx ts-node ts_satisfies.ts
3000
localhost, example.com
255
#0000FF

『satisfies』は「型チェックはしたいが、推論された具体的な型情報も失いたくない」というケースで力を発揮します。型注釈（: 型）を使うと、TypeScript が推論する型が指定した型に固定され、リテラル型などの詳細な型情報が失われることがあります。型注釈（『:』）を使うと変数の型が指定した型に固定されてしまうため、プロパティごとの詳細な型情報が失われます。

『as』を使った型アサーションは型チェックを行わないため、誤った型を指定してもエラーになりません。一方『satisfies』は型チェックを行いながら、元の推論型をそのまま保持するという点で、両者の長所を組み合わせた演算子です。

設定オブジェクト・カラーパレット・ルートテーブルなど、各プロパティの型が異なるオブジェクトリテラルを扱う際に特に有用です。