为何TypeScript的satisfies仅针对对象而非简单类型？

问题场景 #

以下代码展示了三种不同类型约束方式下，出现的看似矛盾的调用结果：

type Treta = {
    name: string,
    stuff: number | Function
}

const obj1 = {
    name: "Paulo",
    stuff: () => {}
} satisfies Treta;

obj1.stuff() // No error!

const obj2: Treta = {
    name: "Paulo",
    stuff: () => {}
};

obj2.stuff();
//  ^^^^ ERROR: No constituent of type 'number | Function' is callable.

type Other = number | Function;

const obj3 : Other = () => {};

obj3(); // No error even without satisfies

核心原因解析 #

1. satisfies与类型注解的本质区别 #

• 类型注解（:）会直接将变量类型固定为注解的类型：obj2的类型被设定为Treta，因此obj2.stuff的类型就是宽泛的number | Function，TS无法确定它一定是可调用的函数，所以触发报错。
• satisfies仅验证变量符合目标类型，但保留变量自身的推断类型：obj1的stuff被TS推断为具体的() => void类型（而非联合类型），调用时自然能确定它是可执行的，不会报错。

2. 简单联合类型的自动收窄优化 #

对于obj3这种直接注解为简单联合类型的场景，TS会在赋值时做自动类型收窄：因为你直接赋值了一个函数字面量，TS会把obj3的实际类型收窄为Function（甚至更具体的函数类型），而非保留原始的number | Function联合类型。所以调用obj3()时，TS能明确它是可调用的。

3. 对象类型的类型安全限制 #

而obj2的场景中，Treta是对象类型，TS不会自动对对象属性做额外收窄——即使你初始赋值了函数给stuff，obj2的类型依然是Treta，stuff的类型保留number | Function。这是因为对象属性可能在后续被修改（比如把stuff改成数值），TS必须维持类型的宽泛性来保证后续操作的类型安全。

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