TypeScript泛型使用时控制流分析失效的原因解析

这确实是TypeScript的预期行为，核心原因在于泛型上下文的类型推断限制以及泛型T的不确定性：

1. 具体类型场景的类型窄化逻辑 #

当你使用具体类型RequireOne<string>时，TypeScript可以直接展开联合类型的三个分支，逐一分析每个分支中a ?? b的结果：

// 分支1：a和b都是string，结果为string
// 分支2：a是string、b是undefined，结果为string
// 分支3：a是undefined、b是string，结果为string
const test1 = ({ a, b }: RequireOne<string>): string => a ?? b

TypeScript能明确确定返回值类型是string，与函数返回类型完全匹配，因此不会报错。

2. 泛型场景的类型推断限制 #

当函数改为泛型<T>后，TypeScript无法像具体类型那样对RequireOne<T>的联合分支做针对性分析：

• 它只能推断出a和b的类型是NonNullable<T> | undefined，因此a ?? b的类型会被统一推断为NonNullable<T> | undefined。
• 由于T是任意泛型类型，TypeScript无法保证NonNullable<T> | undefined一定能安全赋值给T：
  • 如果T是不包含undefined的类型（比如number），NonNullable<T> | undefined等价于number | undefined，这比T的范围更宽，无法安全赋值给T；
  • 只有当T本身包含undefined时（比如number | undefined），NonNullable<T> | undefined才与T等价。

为了严格保证类型安全，TypeScript会抛出类型不匹配的错误，这是符合其设计逻辑的预期行为。

内容的提问来源于stack exchange，提问作者M-N