为何显式类型的对象数组无法使用TypeScript推断类型谓词过滤？

这是预期行为，核心差异来自TypeScript对显式类型标注、自动类型推断以及satisfies关键字的不同处理逻辑：

1. 显式标注类型时的逻辑 #

当你给objArr1显式标注OriginalType[]时，TypeScript会强制将数组的类型固定为OriginalType[]，完全忽略数组字面量中包含的更具体的类型细节。此时数组元素的类型被统一为OriginalType（id和name都是number|undefined/string|undefined的联合类型）。

虽然你的filter谓词做了类型守卫，但TypeScript不会从这个固定的联合类型里自动提炼出更窄的子类型——它认为过滤后的元素依然是OriginalType的子集，因此返回类型还是OriginalType[]。

2. 未显式标注类型时的逻辑 #

objArr0的类型是TypeScript从字面量自动推断出来的，它实际上是一个包含四种不同对象类型的联合数组：

({ id: number; name: string } | { id: undefined; name: string } | { id: number; name: undefined } | { id: undefined; name: undefined })[]

此时filter的谓词会逐个检查联合类型的每个成员，筛选出符合typeof obj.id === "number" && typeof obj.name === "string"条件的成员，最终正确推断出过滤后的类型为{id: number; name: string;}[]。

3. 使用satisfies关键字时的逻辑 #

satisfies的核心作用是验证数组字面量是否符合OriginalType[]的要求，但不会覆盖TypeScript自动推断出的更具体的联合类型。也就是说，objArr2的实际类型和objArr0完全一致，只是多了一层类型验证，因此filter依然能基于原始的联合类型正确推断出过滤后的结果类型。

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