TypeScript Array.prototype.map声明

Question

规格

根据Array.prototype.map（）的MDN规范，应该像这样使用map ...

var new_array = arr.map(callback[, thisArg])

问题

TypeScript有一些map的重载声明，这使得extend Array<T>变得非常困难。

我希望看到这个（在lib.d.ts中） ...

map<U>(callbackfn: (value: T, index: number, array: T[]) => U, thisArg?: any): U[];

但lib.d.ts也有这些......

map<U>(this: [T, T, T, T, T], callbackfn: (value: T, index: number, array: T[]) => U, thisArg?: any): [U, U, U, U, U];

map<U>(this: [T, T, T, T], callbackfn: (value: T, index: number, array: T[]) => U, thisArg?: any): [U, U, U, U];

map<U>(this: [T, T, T], callbackfn: (value: T, index: number, array: T[]) => U, thisArg?: any): [U, U, U];

map<U>(this: [T, T], callbackfn: (value: T, index: number, array: T[]) => U, thisArg?: any): [U, U];

异议

由于JavaScript不允许方法重载，并且TypeScript也不允许类实现，因此我认为TypeScript不应该允许它用于环境声明。

问题

1. 为什么TypeScript允许重载环境声明的签名？
2. 如何在扩展Array的类中覆盖map实现？

我也在GitHub上提出了这个... https://github.com/Microsoft/TypeScript/issues/13785

注意

ReadonlyArray<T>只有一个地图签名，这是......

 map<U>(callbackfn: (value: T, index: number, array: ReadonlyArray<T>) => U, thisArg?: any): U[];

Answer 1

（1）如果不允许在环境声明中重载签名，你将如何在本机js函数/方法中获得不同的签名？
lib.d.ts中有很多重载，反映了本机js对象的工作方式。

（2）您需要告诉编译器您正在覆盖所有可能的声明签名。
在您的情况下，您可以执行以下操作：

class A<T> extends Array<T> {
    map<U>(this: Array<U>, ...args: any[]);
    map<U>(this: Array<T>, callbackfn: (value: T, index: number, array: T[]) => U, thisArg?: any): U[] {
        return [];
    }
}

第一个重载签名负责处理您不想打扰的签名。

Answer 2

您的问题涉及TypeScript的不同方面。 我将单独处理它们然后将它们放在一起。

阵列<T>

接口在TypeScript中具有双重用途：

1. 它们允许您为其他（尚未存在的）类创建“真正的”接口。 实现它时，必须完全实现它，因为界面提供了所有成员可用的保证。
2. 它们允许您定义已存在的 javascript类型的接口。 当您想要使用众多现有库中的一个并且仍然具有静态类型的优点时，这非常有用。 这些接口通常在.d.ts文件中定义（而lib.d.ts文件包含基本的JavaScript类型）。 这些接口是根据现有类型定制的，通常不适合您实现。 如果你愿意，你可以，但你必须实现其所有成员。

Array<T>接口属于第二种类型，因此不适合您实现。

this参数在函数中

在您可以传递参数的意义上，函数定义中的this:参数不是真正的参数。 它允许您指定函数体中期望this值的类型。 如果你没有指定它， this将是any类型，这通常不是很有用。

功能/方法重载

在TypeScript中，函数和方法在Java或C＃等语言中过载时不会重载。 您不能多次实现它，但您可以定义备用签名，以允许为返回变量类型或使用变量参数的函数进行静态类型。 特别是在.d.ts定义文件中，这是有用的并且通常是必需的，因为现有的库使用JavaScript的弱类型来返回值或期望不同类型的参数。 这使你的反对意见错误。 您需要函数重载来适应这些JavaScript构造。

元组

在JavaScript数组中，您可以在每个插槽中分配多种类型的值。 在TypeScript数组定义中，您可以指定编译器强制执行的一种类型。 要填补空白，您可以定义元组 。 像[number, string, string]这样的类型转换为JavaScript数组， any[]和TypeScript仍然可以强制执行静态类型。

摘要

数组方法重载你的对象在Array<T>引入一个静态类型的this参数，如果数组是实际的[T, T] ， [T, T, T] ， [T, T, T, T] ， [T, T, T, T, T] 。 这并不意味着数组提供了多种map方法。 它是相同的方法，但对某些特定的数组类型重载。 它在lib.d.ts中提供，因此不是为您实现的。 您可以扩展基础类（即使没有接口也已经存在），但重载不会对您造成伤害（至少在这种情况下不会，因为它们只提供this参数）。