TypeScript中函数默认参数破坏联合类型窄化推导的问题咨询

我最近碰到一个挺费解的TypeScript类型问题：当给函数参数里的联合类型属性设置默认值后，原本正常的类型窄化逻辑就失效了，想问问大家这是为什么。

先看我写的代码：

type TRadio = {
  type: 'RADIO'
  value: string
}

type TChecks = {
  type: 'CHECK'
  value: string[]
}

type TGroup = TRadio | TChecks

const testFunc = ({ type, value }: TGroup) => {
  if (type === 'CHECK') value // 这里value的类型是string[]，正常
  if (type === 'RADIO') value // 这里value的类型是string，正常
}

const testFunc2 = ({ type = 'RADIO', value }: TGroup) => {
  if (type === 'CHECK') value // 这里value的类型变成了string | string[]，不符合预期
  if (type === 'RADIO') value // 这里value的类型也变成了string | string[]，不符合预期
} 

我原本以为给type加个默认值'RADIO'不会影响类型推导逻辑，两个函数的行为应该一致，但实际结果却和预期不一样。为什么testFunc2里的类型窄化会失效呢？

问题原因解析 #

其实核心问题在于默认参数改变了函数参数的类型约束：

• 在testFunc中，参数严格遵循TGroup这个联合类型，type和value是强绑定的——type: 'RADIO'必然对应value: string，type: 'CHECK'必然对应value: string[]。所以TypeScript能通过type的条件判断，精准窄化value的类型。
• 但在testFunc2里，给type设置默认值后，TypeScript会认为函数参数允许缺失type属性：也就是说，调用testFunc2时，你可以只传{ value: 'xxx' }或者{ value: ['xxx'] }，type会自动补成默认的'RADIO'。

这就打破了原来联合类型中type和value的绑定关系——比如存在这样的调用场景：传入{ value: ['a'] }，此时type会被设为'RADIO'，但value却是string[]。这种情况下，TypeScript无法再通过type的值来确定value的类型，只能把它推断成两种类型的联合string | string[]。

简单来说，默认参数让参数的类型从“严格的联合类型”变成了“允许部分属性缺失的扩展类型”，破坏了联合类型内部的类型关联，自然就导致原本的窄化逻辑失效了。

备注：内容来源于stack exchange，提问作者Андрей Карпенко