Typescript generics 返回类型问题

Question

我在我的项目中使用 typescript generics 但它似乎效果不佳。

例子：

interface Test<T, P> {
  a?: (v: T) => P
  b?: (v: P) => void
}

const fn1 = <T, P>(_config: Test<T, P>) => {}

fn1({
  a: (p) => 1,
  b: (p) => {},
})

我认为params 'a'类型就像：

Test<unknown, number>.a?: ((v: unknown) => number) | undefined

但实际上：

Test<unknown, unknown>.a?: ((v: unknown) => unknown) | undefined

我不知道为什么，有人可以帮助我吗？ 谢谢。

Answer 1

由于您没有在此行定义类型： b: (p) => {}

然后 TS 无法推断 P 的类型，即使您在上述a的定义中返回它。

Answer 2

这是因为在联合中，未知吸收了一切。

对于 (a) 中的 P，TypeScript 推断出一种“数字”，但是对于 (b) 中的 P，它推断出一种“未知”，就像它对于 (a) 中的 T 所做的那样。

因此，P 会导致“数字 | 未知”（不是您预期的“数字 | 未定义”），这只会导致“未知”。

如果您在此处参考 TypeScript 文档，您会发现：

// 在联合中，未知数吸收一切

P 型 = 未知 | 数字; // 未知