高阶函数中的打字稿泛型类型推断

Question

function generate<P extends object>(init: (p: P) => void) {
  return function (p: P): P {
    init(p)
    return p
  }
}

const g = generate(function AAA<T>(p: T) {
  console.log(p)
})

const result = g({
  x: 1
})

result.x // TS2339: Property 'x' does not exist on type '{}'.

generate 函数是高阶函数，打字稿似乎无法推断出泛型类型P。

如何使generate 能够接受泛型类型函数作为参数？

Answer 1

Typescript 3.4 对泛型类型参数转发的处理进行了巨大改进。您可以阅读详细信息here。

虽然您的代码在 3.4 中也无法正常工作，但如果我们将 init 函数更改为接受通用元组参数，我们就可以让它工作。这将导致类型参数转发启动：

function generate<A extends [any]>(init: (...p: A) => void) {
    return function (...p: A): A[0] {
        init(...p)
        return p
    }
}

const g = generate(function AAA<T>(p: T) {
    console.log(p)
})

const result = g({
    x: 1
})

result.x // ok now

如果你运行npm install typescript@next，你可以自己测试这段代码。