为何`NoInfer`干扰`Exclude`？部分场景`undefined`未被排除的原因

核心原因：严格空检查模式与类型兼容性 #

你的观察结果并非 ExcludeUndefined 工具本身存在逻辑问题，而是由两个关键因素共同决定：TypeScript 的 strictNullChecks 配置，以及不同类型与 undefined 的兼容性规则。

1. strictNullChecks 的决定性影响 #

strictNullChecks 是控制空值（null/undefined）类型兼容性的核心开关：

• 启用时：undefined 只能赋值给明确包含它的类型（如 undefined、void 或带 undefined 的联合类型）。此时 Exclude<NoInfer<R>, undefined> 会正确移除 undefined，赋值 undefined 会触发类型错误。
• 禁用时：undefined 几乎可以赋值给所有类型（除 null 外）。即使 Exclude 已移除联合类型中的 undefined，你仍然可以将 undefined 赋值给结果类型——这就是你看到部分变量标注为「ok」的直接原因。

2. 不同类型的兼容性细节 #

你看到的差异本质是不同类型在非严格模式下与 undefined 的兼容规则：

• 原始类型（number/string）：禁用严格空检查时，undefined 可直接赋值给原始类型，因此即使 Exclude 移除了 undefined，赋值仍被允许。
• 原始包装类型（Number/String）：这些是对象类型，理论上在非严格模式下 undefined 也可赋值，但部分场景下编辑器会对对象类型的空值赋值给出更明确的错误提示（这可能是你标注「not excluded」的原因，但实际 Exclude 已正确移除 undefined）。
• 对象类型（Date/number[]）：与原始包装类型逻辑一致，Exclude 已移除 undefined，但非严格模式下仍可赋值，只是编辑器提示更严格。
• {} 类型：{} 代表所有非 null/undefined 的值，但非严格模式下 undefined 仍可赋值给它，因此赋值操作被允许。
• null 类型：非严格模式下 undefined 可直接赋值给 null，所以即使 Exclude 移除了 undefined，赋值仍合法。

验证 ExcludeUndefined 的实际效果 #

你可以通过查看类型别名的解析结果确认工具逻辑正确性：

type Test1 = ExcludeUndefined<number | undefined>; // 解析为 number
type Test2 = ExcludeUndefined<Number | undefined>; // 解析为 Number
type Test3 = ExcludeUndefined<Date | undefined>; // 解析为 Date

所有结果类型均不包含 undefined，说明 ExcludeUndefined 的逻辑是正常的。

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