TS2346：提供的参数与调用目标的任何签名都不匹配——数组减少函数签名

Question

这是我的函数签名：

export type ReduceCallback<TVal,TAcc> 
    = (accumulator: TAcc, currentValue: TVal, currentIndex: number, array: TVal[]) => TAcc


export function reduceArray<TVal,TAcc>(
    iterable: Iterable<TVal>,
    callback: ReduceCallback<TVal,TAcc>,
    initialValue: TAcc
): TAcc;
export function reduceArray<TVal>(
    iterable: Iterable<TVal>,
    callback: ReduceCallback<TVal,TVal>,
    initialValue?: TVal
): TVal {
    let arr = toArrayStrict(iterable);
    if(initialValue === undefined) {
        return arr.reduce(callback); // 2nd arg has to be fully omitted
    }
    return arr.reduce(callback, initialValue);
}

我是这样称呼它的：

reduceArray([0,1,2,3], (acc, val) => acc + val)

tsc 在抱怨：

TS2346：提供的参数与调用目标的任何签名都不匹配。

但我不知道为什么。我的调用应该匹配第二个函数签名，不是吗？我在通话中省略了initialValue，所以它应该别无选择，只能匹配第二个签名。

[0,1,2,3] 是 Iterable<number>，ReduceCallback 应该使用 ReduceCallback<number,number>，这意味着 acc 和 val 是数字。

有什么问题？

Answer 1

你有两个问题。首先，当您调用 reduceArray 时，它会尝试使用第一个重载，因为 initialValue 是非可选的类型。其次，您要查找的 Array.reduce() 的重载具有非可选的第二个参数。

reduce<U>(callbackfn: (previousValue: U, currentValue: T, 
          currentIndex: number, array: ReadonlyArray<T>) => U, initialValue: U): U;

该方法应该自动计算出“第一次通过”值，因此我简化了该部分。我还用Array.from() 替换了toArrayStrict()，因为我不知道那个方法是什么，但它似乎返回了一个数组类型。

export type ReduceCallback<TVal, TAcc> = (accumulator: TAcc, currentValue: TVal, currentIndex: number, array: Array<TVal>) => TAcc

export function reduceArray<TVal, TAcc>(
           iterable: Iterable<TVal>,
           callback: ReduceCallback<TVal, TAcc>,
           initialValue?: TAcc
       ): TAcc;
export function reduceArray<TVal>(
           iterable: Iterable<TVal>,
           callback: ReduceCallback<TVal, TVal>,
           initialValue?: TVal
       ): TVal
{
    let arr = Array.from(iterable);
    return arr.reduce(callback, initialValue);
}

let result = reduceArray([0, 1, 2, 3], (acc: number, val) => acc + val);
console.log(result);

Answer 2

你的重载语法有点错误。对于重载，您需要为每个特定重载 声明。实际的函数头不算作声明。这意味着在您的情况下，不幸的是您必须指定函数头两次：

// because I don't know what toArrayStrict is
declare function toArrayStrict<T>(it: Iterable<T>): T[];

export type ReduceCallback<TVal, TAcc> 
    = (accumulator: TAcc, currentValue: TVal, currentIndex: number, array: TVal[]) => TAcc

export function reduceArray<TVal,TAcc>(
    iterable: Iterable<TVal>,
    callback: ReduceCallback<TVal,TAcc>,
    initialValue: TAcc
): TAcc;
// here we declare the second overload, which is just a duplicate of the actual function header
export function reduceArray<TVal>(
    iterable: Iterable<TVal>,
    callback: ReduceCallback<TVal, TVal>,
    initialValue?: TVal
): TVal;
export function reduceArray<TVal>(
    iterable: Iterable<TVal>,
    callback: ReduceCallback<TVal,TVal>,
    initialValue?: TVal
): TVal {
    let arr = toArrayStrict(iterable);
    if(initialValue === undefined) {
        return arr.reduce(callback); // 2nd arg has to be fully omitted
    }
    return arr.reduce(callback, initialValue);
}

来源：https://www.typescriptlang.org/docs/handbook/functions.html（底部）