TypeScript默认泛型类型为何仅限定参数为默认类型？

我尝试使用带默认值的泛型类型，并基于它推断其他函数参数，但TypeScript似乎判定该参数只能是默认类型。这是预期行为吗？我是否存在操作失误？

相关代码片段 #

type MyComponentOption = HasNameId | HasLabelValue
type HasLabelValue = { label: string, value: number }
type HasNameId = { name: string, id: number }

interface MyComponentProp<
  OptL extends ('label' | 'name') = 'label',
  OptV = OptL extends 'label' ? 'value' : 'id',
  Multiple extends boolean = false,
  S = OptL extends 'label' ? HasLabelValue : HasNameId,
> {
  optionLabel?: OptL;
  optionValue?: OptV;
  multiple?: Multiple,
  preSelected?: Multiple extends true ? S[] : S;
}

export const MyCOmponent = (prop: MyComponentProp) => {
  const {
    optionLabel,
    optionValue,
    multiple,
    preSelected,
  } = prop

    // v const preSelected: HasLabelValue | undefined
  if (preSelected == null) console.log('no preselected options')
  else {
    if (isOfLabelValue(preSelected)) {
      console.log(preSelected.label)
    } else {
      console.log(preSelected.name) // Error : Property 'name' does not exist on type 'never'
    }
  }
}

function isOfLabelValue(opt: MyComponentOption): opt is HasLabelValue {
  return ('label' in opt && 'value' in opt)
}

问题原因 #

你定义的MyCOmponent函数没有显式声明泛型参数，直接使用MyComponentProp时，TypeScript会自动应用所有泛型的默认值，导致preSelected的类型被固定为HasLabelValue | undefined，而非预期的HasLabelValue | HasNameId | undefined。此时类型守卫排除HasLabelValue后，剩余类型被推断为never，所以访问name会触发错误。

解决方案 #

修改函数定义，让它支持泛型参数推断，同时保留默认值：

export const MyComponent = <
  OptL extends 'label' | 'name' = 'label',
  Multiple extends boolean = false
>(prop: MyComponentProp<OptL, OptL extends 'label' ? 'value' : 'id', Multiple>) => {
  const { preSelected } = prop;

  if (preSelected == null) {
    console.log('no preselected options');
    return;
  }

  // 直接用in操作符做类型窄化，无需额外函数
  if ('label' in preSelected) {
    console.log(preSelected.label);
  } else {
    console.log(preSelected.name); // 错误消失
  }
};

核心改进说明 #

1. 显式泛型声明：函数显式声明泛型参数，让TypeScript能根据传入的prop自动推断OptL和Multiple的类型，不再一直固定使用默认值。
2. 简化类型窄化：直接使用'label' in preSelected进行类型判断，既简洁又能让TypeScript正确识别剩余类型为HasNameId。
3. 修正拼写错误：原函数名MyCOmponent的拼写错误（应为MyComponent）也一并修正，避免潜在问题。

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