标签: 编译时检查

TypeScript 4.9 引入 `satisfies` 运算符，旨在解决类型注解和类型推断的矛盾，保留字面量类型信息。它通过验证类型是否满足目标类型，同时保留最具体的推断类型，强化运行时安全，适用于配置对象验证和联合类型精确推断等场景。应权衡使用，避免过度增加编译耗时。