使用`never`限制字段可选性时TypeScript的不一致表现

问题核心 #

你定义的Entity联合类型对直接声明的对象数组能正确检查，但对返回该类型的函数数组却无法正确拦截仅含text和icon的情况，原因在于TypeScript对直接对象字面量和函数返回对象的类型检查逻辑存在差异，以及联合函数类型的特殊处理方式。

原因分析 #

1. 直接对象数组的正确检查 #

当你直接声明Entity[]时，TypeScript会对每个对象字面量执行严格的联合类型匹配和多余属性检查：

• { text: 'foo', icon: 'apple' }既不匹配第一个联合成员（存在不允许的icon属性），也不匹配第二个（缺少必填的color），因此报错。

2. 联合函数类型的检查漏洞 #

当定义EntityFn为两个函数类型的联合时，TypeScript的类型检查逻辑发生了变化：

• 函数() => ({ text: 'foo', icon: 'apple' })的返回类型被推断为{ text: string; icon: string; }。
• 虽然该返回类型与EntityFn的两个成员都不兼容（既不符合第一个成员的icon?: never约束，也缺少第二个成员的必填color），但TypeScript的类型检查器在处理联合函数类型时，没有严格验证返回对象的属性类型与可选never属性的兼容性，错误地允许了这种赋值。
• 当你添加完全不兼容的函数（如() => ({ nonexistent: true })）时，编译器会重新对所有数组成员进行更严格的检查，此时才会发现icon函数的不兼容性。

解决方案 #

将EntityFn定义为返回Entity联合类型的函数，而非函数类型的联合：

type EntityFn = () => Entity;

const entityFns: EntityFn[] = [
  () => ({ text: 'foo' }),
  () => ({ text: 'foo', color: 'red' }),
  () => ({ text: 'foo', color: 'red', icon: 'apple' }),
  // 现在会正确报错：类型"{ text: string; icon: string; }"不能赋给类型"Entity"
  () => ({ text: 'foo', icon: 'apple' }),
];

这种方式下，函数的返回值会直接与Entity联合类型匹配，触发正确的严格检查，拦截不符合要求的返回对象。

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