Блог

 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 Функция является функцией более высокого порядка, и, похоже, typescript не может определить общий тип P .

Как я могу сделать generate способным принимать общую типизированную функцию в качестве параметра?

Typescript 3.4 вносит огромные улучшения в обработку пересылки параметров универсального типа. Вы можете прочитать подробности здесь.

Хотя ваш код также не будет работать так, как в 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 .