T 型锯齿数组的类型定义及其数组原型扩展

Question

我正在尝试为我附加到 Array.prototype 的 JavaScript 函数编写 Typescript 定义文件。

Array.js

/**
 * Flattens the array recursively.
 *
 * @example
 * [1, [2, 3]].flat() // => [1, 2, 3]
 *
 * @example
 * [[1, [2, 3], [4, [5]]], 6].flat() // => [1, 2, 3, 4, 5, 6]
 */
Array.prototype.flat = function () {
    return this.reduce((arr, val) => Array.isArray(val) ? arr.concat(val.flat()) : arr.concat(val), []);
}

flat() 在Array<T|S> 上工作，其中S 是Array<T|S> 并返回Array<T>。也就是说，它具有递归定义，并且所有数组都符合定义，因为[1, 2, 3].flat() 将简单地返回原始数组的副本。

我是 TypeScript 的新手，但我的理解是，为了获得 TypeScript 定义文件（即 IntelliSense）的好处，方法定义必须在 interface Array<T> 内。如果是这种情况，有没有办法对T 的专用版本Array<T> 施加约束？

如果不是，我如何定义一个接口，该接口将为每个数组拾取并识别该数组何时适合递归定义？

Answer 1

这不是一个完整的答案，但它确实让我们了解了大部分情况。这里是in the TypeScript Playground。

type JaggedArrayItem<T> = T | JaggedArray<T>;

interface JaggedArray<T> extends Array<JaggedArrayItem<T>> { }

type FlatArray<T> = T extends JaggedArrayItem<infer U> ? U[] : T;

interface Array<T> {
  flat(this: JaggedArray<T>): FlatArray<T>;
}

Array.prototype.flat = function () {
  return this.reduce(
    (arr, val) => Array.isArray(val)
      ? arr.concat(val.flat())
      : arr.concat(val),
    []);
};

// Test

const myRecursiveArray: JaggedArray<number> = [
  10,
  [9],
  [
    [8],
    [
      [7],
    ]
  ],
];

const flattened: number[] = myRecursiveArray.flat();    
const flattenedToo: (string | number)[] = [1, 'two'].flat();

另见

• https://github.com/Microsoft/TypeScript/issues/3496#issuecomment-128553540
• https://github.com/shaunluttin/typescript-jagged-array-type-and-prototype