TypeScript多泛型参数类型推断失效？是Bug还是误解？

你遇到的这个情况完全是TypeScript泛型推断的既定规则，不是Bug。咱们一步步拆解来看：

先看单泛型参数的场景 #

export class OneParam { static bar<P1>(q:any, params: { p1: P1 }) {} }
OneParam.bar('foo', { p1: 12 });

这里只有一个泛型参数P1，TypeScript可以轻松从第二个参数{ p1: 12 }的类型里推断出P1是number——因为没有其他泛型参数干扰，TS明确知道该从哪里找推断依据。

再看双泛型参数的问题场景 #

export class TwoParams { static bar<T, P1>(q:T ,params: { p1: P1 }) {} }
TwoParams.bar<string>('foo', { p1: 12 });

当你显式传入第一个泛型参数<string>时，TypeScript的规则是：一旦你显式指定了部分泛型参数，剩余未指定的参数不会再自动推断，而是需要你显式传入（或者依赖参数的默认类型）。这是因为TS的泛型参数是按顺序绑定的，它不会假设你想让剩下的参数继续从函数参数里推断——毕竟有些场景下开发者可能就是想手动指定所有参数，避免自动推断带来的歧义。

解决办法 #

如果你需要显式指定T同时让P1自动推断，有几种可行的方式：

1. 用TypeScript 4.7+的_占位符 #

TS 4.7引入了部分泛型推断的支持，用_作为占位符告诉TS“这个参数帮我自动推断”：

TwoParams.bar<string, _>('foo', { p1: 12 }); // 此时P1会被正确推断为number

2. 柯里化函数拆分泛型参数 #

把需要显式指定的泛型参数和需要推断的参数拆成两个函数调用，这样TS可以分阶段推断：

export class TwoParams { 
  static bar<T>() {
    return <P1>(q: T, params: { p1: P1 }) => {};
  }
}
// 先指定T，再让TS推断P1
TwoParams.bar<string>()('foo', { p1: 12 });

3. 完全依赖自动推断（如果可行） #

如果T可以从第一个参数'foo'自动推断出来，那完全不用显式传任何泛型参数：

TwoParams.bar('foo', { p1: 12 }); // T自动为string，P1自动为number

总结 #

这是TS的设计规则，目的是避免歧义——毕竟如果允许混合显式指定和自动推断，有时候很难判断开发者的真实意图。所以你的情况是对TS推断规则的理解误区，不是Bug。

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