如何在 Typescript 中定義和調用通用 function 參數？

Question

我在Function.prototype.call中尋找 Function.prototype.call 的單參數類型安全等效項。

這不起作用，因為F缺少正確的約束（也許）：

function call<F,A>(f: F, arg: A) {
  return f(arg);
}

因此，Typescript 抱怨“此表達式不可調用。‘未知’類型沒有調用簽名。”

如何使F可調用？ 如何管理call以具有F的返回類型？

Answer 1

正如您所說，您需要添加一個約束，以便它是可調用的。 一個選項可能如下所示：

function call<F extends Function,A>(f: F, arg: A) {
  return f(arg);
}

通用約束： https://www.typescriptlang.org/docs/handbook/generics.html#generic-constraints 。

如果您想提供更強的類型安全性，一種方法可能如下所示。

type Parameter<T> = T extends (arg: infer T) => any ? T : never;


function call<F extends (arg: any) => any>(f: F, arg: Parameter<F>): ReturnType<F> {
  return f(arg);
}

const fn = (input: number): number => input * 2;

const result = call(fn, 2) // Valid
const result2 = call(fn, "2") // Argument of type '"2"' is not assignable to parameter of type 'number'.(2345)
const result3 = call(fn, false) // Argument of type 'false' is not assignable to parameter of type 'number'.(2345)

const badFn = (input: number, options: {}): number => input * 2;

const result4 = call(badFn, 2) // Argument of type '(input: number, options: {}) => number' is not assignable to parameter of type '(arg: any) => any'.(2345)

這為F定義了一個更嚴格的約束，說它必須是一個只接受一個參數的 function。 然后從 function 推斷出參數。 您也可以使用Parameters<F>[0] ，因為Parameters是 Typescript 提供的實用程序類型。 ReturnType是另一種推斷F的返回類型的實用程序類型，可用作call的返回類型。