为何TypeScript无法在函数实现中正确推断剩余参数？

你定义了一个依赖映射接口的泛型函数，调用阶段的类型约束正常生效，但函数内部通过判断name的具体值时，无法正确缩小params的类型。希望保留简洁的映射关系，避免拆分多个独立接口。

原代码及问题 #

interface ThingParams {
  A: [isThing: boolean];
  B: [thingCount: number];
}

function DoThing<T extends keyof ThingParams>( name: T, ...params: ThingParams[T] )
{
  if ( name === 'A' )
  {
    const foo = params[0] // 类型为boolean | number，未正确缩小为boolean
  }
}

DoThing( 'A', true ); // 正确限制传入参数
DoThing( 'B', 5 ); // 正常运行
DoThing( 'B', false ); // 如预期报错

问题原因 #

泛型T是keyof ThingParams的子类型，但TypeScript无法将name === 'A'的条件判断与ThingParams[T]的类型做关联缩小。当T为联合类型时，ThingParams[T]会解析为联合类型，条件判断无法拆分泛型约束，导致内部类型推断失效。

方案1：基于映射接口生成函数重载 #

通过映射类型自动生成所有可能的重载签名，既保留原映射关系，又能让函数内部正确推断类型：

interface ThingParams {
  A: [isThing: boolean];
  B: [thingCount: number];
}

// 自动生成对应所有key的重载签名
type DoThingOverloads = {
  [K in keyof ThingParams]: (name: K, ...params: ThingParams[K]) => void
}[keyof ThingParams];

// 重载声明 + 函数实现
function DoThing(name: keyof ThingParams, ...params: ThingParams[keyof ThingParams]): void;
function DoThing(...args: any[]) {
  const [name, ...params] = args;
  if (name === 'A') {
    const foo = params[0]; // 类型自动推断为boolean
  } else if (name === 'B') {
    const bar = params[0]; // 类型自动推断为number
  }
}

// 调用验证
DoThing('A', true);
DoThing('B', 5);
DoThing('B', false); // 报错，符合预期

方案2：使用联合类型元组作为函数参数 #

直接基于映射接口生成联合类型的参数元组，让TypeScript自动关联name与params的类型：

interface ThingParams {
  A: [isThing: boolean];
  B: [thingCount: number];
}

// 生成包含所有合法参数组合的联合类型元组
type DoThingArgs = {
  [K in keyof ThingParams]: [name: K, ...params: ThingParams[K]]
}[keyof ThingParams];

function DoThing(...args: DoThingArgs) {
  const [name, ...params] = args;
  if (name === 'A') {
    const foo = params[0]; // 类型为boolean
  } else if (name === 'B') {
    const bar = params[0]; // 类型为number
  }
}

// 调用验证
DoThing('A', true);
DoThing('B', 5);
DoThing('B', false); // 报错，符合预期

两种方案均无需拆分多个独立接口，完全复用原有的ThingParams映射关系，同时解决了函数内部的类型推断问题。

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