TypeScript泛型参数与Payload映射：封装后类型校验失效问题

为什么封装后不报错？ #

当你在run函数里调用setParameter时，parameter的类型是Parameter（即'a' | 'b' | 'c'的联合类型）。此时TypeScript会把setParameter的泛型参数P推断为整个联合类型Parameter，对应的ParameterPayload[P]就变成了{ payloadA: string } | { payloadB: string } | { payloadC: string }的联合类型。你传入的{ payloadB: 'bar' }属于这个联合类型的一员，所以TypeScript认为类型合法，不会触发错误。但实际上只有当parameter是'b'时这个payload才匹配，其他情况都会不兼容，只是TypeScript在这个上下文里无法追踪具体的分支。

如何触发错误并强制分支判断？ #

有两种可行的方案：

方案1：让run函数也成为泛型函数 #

把run定义成泛型函数，让它的参数类型和setParameter的泛型绑定，这样调用run时必须传入明确的参数类型，或者让TypeScript推断出具体的分支，从而校验payload的正确性：

const run = <P extends Parameter>(parameter: P, payload: ParameterPayload[P]) => {
  return setParameter(parameter, payload);
};

// 正确调用示例
run('a', { payloadA: 'foo' }); // 正常
run('b', { payloadB: 'bar' }); // 正常
run('c', { payloadB: 'bar' }); // 报错，类型不匹配

方案2：使用类型守卫缩小参数范围 #

如果run函数需要接收任意Parameter类型的参数，必须在函数内部通过类型守卫（比如switch或if-else）来缩小parameter的类型，让TypeScript能在每个分支里确定对应的payload类型：

const run = (parameter: Parameter) => {
  switch (parameter) {
    case 'a':
      return setParameter(parameter, { payloadA: 'foo' }); // 正常
    case 'b':
      return setParameter(parameter, { payloadB: 'bar' }); // 正常
    case 'c':
      return setParameter(parameter, { payloadC: 'baz' }); // 正常
    default:
      // 可选：添加穷尽检查，避免遗漏分支
      const _exhaustiveCheck: never = parameter;
      throw new Error(`Unexpected parameter: ${_exhaustiveCheck}`);
  }
};

// 若分支内传入错误payload会直接报错
// 比如在case 'a'里传{ payloadB: 'bar' }，TypeScript会立即提示类型不兼容

这种方式强制你必须处理每个Parameter的分支，并且每个分支里的payload类型会被严格校验，避免传入不匹配的内容。

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