TypeScript 中的 satisfies 操作符解决了什么问题？

在 TypeScript 4.9 之前，我们经常遇到一种尴尬的局面：想用类型标注来约束一个对象字面量，确保它符合某个接口，但又希望保留对象字面量中每个属性的窄化类型。用 : Type 注解会导致类型被拓宽到接口定义，丢失字面量信息；用 as const 又无法校验结构是否满足接口，写错了属性名或类型只能等运行时才发现。satisfies 操作符正是为了填补这个缺口而引入的。它允许你用一个类型去检查