satisfies 是 TypeScript 4.9 引入的一个关键字，用来在 类型检查时 确保一个值“符合（satisfies）”某个类型约束，同时不改变该值的推断类型。

可以简单的理解为：satisfies 是介于 as 和类型注解（: Type）之间的一种检查方式。
它只在编译阶段检查类型是否兼容，但不会像 as 那样强制断言，也不会像 : Type 那样改变推断类型。

📘 基本语法

const value = {
  name: "Alice",
  age: 25,
} satisfies Person;

这段代码意思是：

• 检查 { name: string; age: number } 是否 满足 Person 类型；
• 如果满足，编译通过；
• 但变量 value 的推断类型依然是 { name: string; age: number }，不会被变成 Person。

🔍 与其他写法对比

type Person = { name: string; age: number };
const user = {
  name: "Bob",
  age: 30,
} satisfies Person;
// user 推断类型为 { name: string; age: number }

⚠️ 使用类型注解 :

const user: Person = {
  name: "Bob",
  age: 30,
};
// user 的类型固定为 Person，推断信息可能丢失

⚠️ 使用断言 as

const user = {
  name: "Bob",
  age: 30,
} as Person;
// 跳过部分类型检查（可能导致错误被忽略）

🧩 实际例子：对象字面量检查

type Colors = "red" | "green" | "blue";

const theme = {
  primary: "red",
  secondary: "green",
  accent: "blue",
} satisfies Record<string, Colors>;

// ✅ 检查值是否都是 Colors
// ✅ 仍能推断 theme.primary 是 "red"

如果用类型注解：

const theme: Record<string, Colors> = {
  primary: "red",
  secondary: "green",
  accent: "blue",
};
// theme.primary 只被推断为 Colors，而不是 "red"

⚙️ 优势总结

特性	: Type	as Type	satisfies Type
类型检查	✅	⚠️（可能跳过）	✅
推断保留	❌	✅	✅
编译期验证	✅	❌	✅
类型安全性	一般	低	高

🎯 总结一句话

satisfies 用于 确保一个值符合某个类型要求，同时 保留原始类型推断。
它是一种 安全且智能的类型约束方式。