打字稿泛型，未知的嵌套函数参数

Question

我对具有未知参数的函数作为参数的通用函数有一些问题。

export const inject = <I,V>(fn:<U>(input?:U) => V, resolveWithPayload: boolean, resolveArgs?: I) => <R>(payload:R):R => {
    resolveWithPayload ? fn(payload) : resolveArgs ? fn(resolveArgs) : fn();
    return  payload;
};

const fn = (value:number):number => {
    propertyToMutate = value;
    return propertyToMutate;
}

const res =_fish.inject(fn,false,60)(50);
but calling it ends with :

'(value: number) => number' 类型的参数不可分配给 '(input?: U) => number' 类型的参数。参数类型 “值”和“输入”不兼容。类型“U”不可分配 输入“数字”。

如果我以这种方式更改代码：

export const inject = <I,V,U>(fn:(input?:U) => V, resolveWithPayload: boolean, resolveArgs?: I) => <R>(payload:R):R => {
    resolveWithPayload ? fn(payload) : resolveArgs ? fn(resolveArgs) : fn();
    return  payload;
};

它以注入本身的类型定义错误结束，例如：

TS2345：“R”类型的参数不可分配给类型参数 'U'。

TS2345：“I”类型的参数不能分配给类型参数 'U'。

如果我不知道“fn”的输入类型，我该怎么办？

谢谢

Answer 1

第一个错误是因为 inject 需要一个签名为 <U>(input?: U) => V 的函数，但您提供的函数签名为 (value: number) => number。换句话说，inject 期望 fn 是类型为 U 的泛型函​​数，它接受 U | undefined 类型的参数，但您传递给它的 fn 接受 number 类型的参数.

很难知道你到底想用所有这些泛型来完成什么，但也许你正在寻找这样的东西：

export const inject = <U>(fn:(input?:U) => U, resolveWithPayload: boolean, resolveArgs?: U) => (payload:U):U => {
    resolveWithPayload ? fn(payload) : resolveArgs ? fn(resolveArgs) : fn();
    return payload;
};

const fn = (value:number = 0):number => {
    propertyToMutate = value;
    return propertyToMutate;
}

注意number 是唯一需要的类型参数