类型化数组和联合类型

Question

我经常使用类型化数组，而且我的很多函数确实应该能够使用任何类型的类型化数组（例如，对 Uint8Array 或 Float32Array 求和）。有时，我可以只使用一个简单的类型联合，但我经常会遇到同样的错误。

一个简单的例子：

type T1 = Uint8Array;
type T2 = Int8Array;
type T3 = Uint8Array | Int8Array;

// No problems here:
const f1 = (arr: T1) => arr.reduce((sum, value) => sum + value);
const f2 = (arr: T2) => arr.reduce((sum, value) => sum + value);

// Does not work:
const f3 = (arr: T3) => arr.reduce((sum, value) => sum + value);

f3 的错误是：

Cannot invoke an expression whose type lacks a call signature. Type '
{
    (callbackfn: (previousValue: number, currentValue: number, currentIndex: number, array: Uint8Array) => number): number;
    (callbackfn: (previousValue: number, currentValue: number, currentIndex: number, array: Uint8Array) => number, initialValue: number): number;
    <U>(callbackfn: (previousValue: U, currentValue: number, currentIndex: number, array: Uint8Array) => U, initialValue: U): U;
} | {
    (callbackfn: (previousValue: number, currentValue: number, currentIndex: number, array: Int8Array) => number): number;
    (callbackfn: (previousValue: number, currentValue: number, currentIndex: number, array: Int8Array) => number, initialValue: number): number;
    <U>(callbackfn: (previousValue: U, currentValue: number, currentIndex: number, array: Int8Array) => U, initialValue: U): U; 
}' has no compatible call signatures.ts(2349)

根据docs：

如果我们有一个联合类型的值，我们只能访问联合中所有类型共有的成员。

我在这里使用reduce 的方式对所有数组都是通用的，但我推测问题是可选的第四个参数（Uint8Array.prototype.reduce 是Uint8Array，但Int8Array.prototype.reduce 是Int8Array )。

是否有一个简单的解决方法？还是我需要为map、reduce、filter 中的每一个编写一个泛型实现？

Answer 1

有一个简单的解决方法。用通用方法签名声明接口

type T3 = Uint8Array | Int8Array;

interface HasReduce {
    reduce(c: (p: number, n: number) => number): number; // common callback signture with 2 arguments
}

function someLogic(arr: HasReduce): number { 
    return arr.reduce((sum, value) => sum + value);
}

declare var v : T3;
someLogic(v); // OK

因此您可以声明 HasMap、HasFilter 并将它们组合起来。

Answer 2

在调用函数联合时一直存在问题。直到最近，规则是根本不允许调用，但由于 3.3 (PR) 调用是允许的，但有一些警告。您在这里遇到的重要问题是，如果工会的成员都具有通用签名，则仍然不允许调用。因此，例如在简单数组上，可以调用一个 forEach（没有泛型类型参数），而不能调用 reduce（因为来自 string[] 和来自 number[] 的 reduce 都具有泛型类型参数）：

declare let o: string[] | number[];
o.forEach((e: number | string) => console.log(e)); // ok 
o.reduce((e: number | string, r: number | string) => e + ' ' + r) //err

这确实意味着数组类型的联合很难使用，并且只允许调用非常小的一组方法（大多数数组方法都有泛型类型参数）。

这也适用于Uint8Array 和Int8Array，它们虽然不继承数组但具有大部分相同的方法。

这里没有好的解决方案，最简单的解决方法是将变量断言为其中一种类型并继续使用（假设您不使用array回调参数应该没问题）

const f3 = (arr: T3) => (arr as Uint8Array).reduce((sum, value, array /* no good inferred to Uint8Array */) => sum + value);

或者退回到您可以调用的函数之一

const f4 = (arr: T3) => {
    let sum = 0;
    (arr as Uint8Array).forEach((val)=> sum + val)
}