使用绑定函数进行Curring,并在TypeScript中使用泛型正确键入

6fe3ivhb  于 2023-03-13  发布在  TypeScript
关注(0)|答案(1)|浏览(103)

我写了一个排序函数,想绑定一个比较函数。不幸的是,TypeScript编译器警告我比较函数的类型为unknown
我已经尝试搜索SO: Bind function to function并在TS手册中搜索:绑定。但是,我找不到任何相关的问题。
并试图遵循声明文件中的类型:

/**
     * For a given function, creates a bound function that has the same body as the original function.
     * The this object of the bound function is associated with the specified object, and has the specified initial parameters.
     * @param thisArg The object to be used as the this object.
     * @param args Arguments to bind to the parameters of the function.
     */
    bind<T>(this: T, thisArg: ThisParameterType<T>): OmitThisParameter<T>;
    bind<T, A0, A extends any[], R>(this: (this: T, arg0: A0, ...args: A) => R, thisArg: T, arg0: A0): (...args: A) => R;
    bind<T, A0, A1, A extends any[], R>(this: (this: T, arg0: A0, arg1: A1, ...args: A) => R, thisArg: T, arg0: A0, arg1: A1): (...args: A) => R;
    bind<T, A0, A1, A2, A extends any[], R>(this: (this: T, arg0: A0, arg1: A1, arg2: A2, ...args: A) => R, thisArg: T, arg0: A0, arg1: A1, arg2: A2): (...args: A) => R;
    bind<T, A0, A1, A2, A3, A extends any[], R>(this: (this: T, arg0: A0, arg1: A1, arg2: A2, arg3: A3, ...args: A) => R, thisArg: T, arg0: A0, arg1: A1, arg2: A2, arg3: A3): (...args: A) => R;
    bind<T, AX, R>(this: (this: T, ...args: AX[]) => R, thisArg: T, ...args: AX[]): (...args: AX[]) => R;
function sorting<T>(a: T, fn: (v0: T, v1: T) => number,  b: T) {
  return fn(a, b)
}

sorting<number>.bind(null, 1, (a, b) => a + b)
//               ^ Cannot find name 'bind'.(2304)

sorting.bind<null, number, (v0: number, v1: number) => number, [b: number]>(null, 1, (a, b) => a + b)
//^ Argument of type '(b: number) => unknown' is not assignable to parameter of type //'(v0: number, v1: number) => number'.
//  Type 'unknown' is not assignable to type 'number'.(2345)

TSPlayground
而且它仍然不起作用。我在这里错过了什么吗?为什么我不能用bind参数afn
附言
目前我使用箭头函数来作为一个变通办法来咖喱排序函数。

xfb7svmp

xfb7svmp1#

这实际上是一个常见的问题,而且非常常见,因此在TypeScript的下一个次要版本(4.7)中得到了修复!所使用的解决方案称为示例化表达式。
下面是他们的例子:

interface Box<T> {
    value: T;
}

function makeBox<T>(value: T) {
    return { value };
}

您可以执行以下操作:

const makeStringBox = (value: string) => makeBox(value); // makeBox<string>(value: string)

这是相当浪费的,所以4.7引入了新语法:

const makeStringBox = makeBox<string>; // type parameters passed without calling it!

这也意味着您可以在绑定它之前将其传递给sorting

// works in 4.7+ now!
(sorting<number>).bind(null, 1, (a, b) => a + b)

您可以在此示例中尝试夜间版本的TypeScript(4.8+)。

相关问题