如何在TypeScript接口中自动推断特定泛型，无需显式定义全部泛型？

你的核心需求是在不指定全部泛型参数的前提下，单独设置第三个泛型TVariantType的值，下面是几种可行的实现方式：

方法一：用占位符直接指定目标位置 #

TypeScript支持通过逗号占位符跳过前面的泛型参数，未指定的参数会自动使用预设的默认值：

export const SvBadgeComponent: IComponent<,,TBadgeVariant>;

这里前两个逗号跳过TSizeType和TShapeType（自动使用它们的默认值TSize和TShape），第三个位置传入TBadgeVariant，最后一个TElevationType也会沿用默认值TElevation。

方法二：创建专用类型别名简化调用 #

如果需要频繁只指定TVariantType，可以提前封装一个类型别名，把固定用默认值的参数预先填好：

// 定义别名，仅暴露TVariantType作为可自定义参数
type IComponentWithVariant<
  V extends TVariant = TVariant
> = IComponent<,,V>;

// 使用时直接传入TBadgeVariant即可
export const SvBadgeComponent: IComponentWithVariant<TBadgeVariant>;

这种方式语义性更强，后续使用时无需再写占位符，代码可读性更高。

方法三：重构原接口的泛型参数顺序（可选） #

如果你的业务场景中TVariantType是最常需要自定义的参数，可以调整泛型参数的顺序，把它放到最前面：

export interface IComponent<
  TVariantType extends TVariant = TVariant,
  TSizeType extends TSize = TSize,
  TShapeType extends TShape = TShape,
  TElevationType extends TElevation = TElevation
> {
  // 代码内容
}

// 此时直接传TBadgeVariant即可生效
export const SvBadgeComponent: IComponent<TBadgeVariant>;

不过这个方案需要修改原接口结构，适合重构成本较低的初期场景。

内容的提问来源于stack exchange，提问作者Jesús Enrique