TypeScript satisfies运算符行为不对称性原因探究

先看嵌套属性场景的代码示例：

type stringOrNumber = string | number; 

const user : { name : stringOrNumber} = {
    name: 'John'
}

user.name.toUpperCase();  // 报错

const userThatSatisfies = {
    name : 'John'
} satisfies { name : stringOrNumber}; 

userThatSatisfies.name.toUpperCase();  // 正常运行

这里用类型注解时，user.name的类型被固定为string | number联合类型，TypeScript无法确定它的具体类型，所以调用字符串方法会报错；而satisfies既验证了对象符合目标类型，又保留了name为string的原始推断类型，因此可以正常调用方法。

再看扁平变量场景的代码：

type stringOrNumber = string | number; 

const userName : stringOrNumber = 'John'; 

userName.toUpperCase();  // 正常运行

同样是联合类型注解，这里却无需satisfies就能正常执行，差异的根源在于TypeScript的类型推断和窄化逻辑：

• 扁平const变量场景：当你给const变量直接赋值字面量时，TypeScript会通过控制流分析确定该变量不会被重新赋值，因此自动将其类型窄化为具体的字面量类型（这里就是string），而非停留在联合类型上。即使你显式注解了stringOrNumber，TypeScript依然能识别出变量的实际具体类型，允许调用对应类型的方法。

• 嵌套属性场景：const对象仅保证引用不可变，但对象的属性本身是可以修改的。当你给对象显式注解类型{ name: stringOrNumber }时，TypeScript会将name的类型锁定为联合类型，不会自动窄化——因为它无法保证后续代码不会把name改成number。而satisfies运算符的核心作用就是在验证对象符合目标类型的前提下，保留对象字面量的原始推断类型（包括嵌套属性的具体类型），从而解决了这个问题。

内容的提问来源于stack exchange，提问作者chilly_maximus