Typescript: Наследование массивов в файле объявлений ES6 (lib.es6.d.ts)

Созданный на 13 сент. 2016 · 3Комментарии · Источник: microsoft/TypeScript

ES6 поддерживает наследование массивов, но это не отражено в файле объявления TypeScript (lib.es6.d.ts).

Функции работы с массивами, такие как filter и slice, возвращают массив подкласса, поэтому следующее должно компилироваться в TypeScript:

class MyArray extends Array {
    get size() { return this.length; }
}

var x = new MyArray(10).slice();
x.size;

Функции reverse, concat, slice, splice, filter должны возвращать тип this.
Функция 'map' также возвращает экземпляр подтипа, но я не знаю, как это можно представить в TypeScript, поскольку для этого потребуется общий параметр в возвращаемом типе, что-то вроде:
map<U>(callback: (value: T, index: number, array: this) => U): this<U>

Другая проблема - статические конструкторы класса Array, они тоже должны компилироваться:

var x = MyArray.of(1,2,3);
var y = MyArray.from([1,2,3]);
x.size;
y.size;

Есть также некоторые дополнительные сложности, добавленные символом @ @species , который можно использовать для изменения сигнатуры типа подкласса, чтобы не использовать this в качестве возвращаемого значения для таких функций, как filter и slice. Итак, для следующего примера подкласс будет работать так, как в настоящее время определены возвращаемые типы в файле объявления:

class MyArray2 extends Array {
    static get [Symbol.species]() { return Array; }
}

И Chrome, и Node.js уже реализуют функции наследования массивов, показанные здесь.

lib.d.ts Suggestion help wanted

Источник

ggmod

Самый полезный комментарий

статические функции могут быть решены путем создания класса Array . проблема в том, что нам нужен способ описания вызываемого конструктора (https://github.com/Microsoft/TypeScript/issues/183), поскольку Array также можно вызывать как функцию. К сожалению, это предложение застопорилось в TC39, но мы можем сделать его версию для внешних объявлений. Я думаю, это нужно отслеживать отдельно.

в остальном добавление this вместо T[] должно быть возможным. Я считаю, что sort уже делает это.

mhegazy 15 сент. 2016

👍3

Все 3 Комментарий

Это будет сложно, потому что TypeScript в настоящее время не позволяет переназначать дженерики на полиморфные this . См. № 6223 (который этот вопрос можно было бы считать обманом).

Проблема заключается в том, что если в подклассе вы вводите другой общий слот, как работает полиморфный this ? Например, вы создаете подкласс, который имеет дело только с массивами массивов, где общий T использовался таким образом T[][] . Но общий слот в Array this будет T[] , как вы выразите это так, чтобы это всегда работало?

В упомянутой выше проблеме есть и другие примеры того, как полиморфизм ломается в сочетании с дженериками.

kitsonk 13 сент. 2016

Проблема с 'map' действительно такая же, как и проблема, обсуждаемая в "Полиморфном 'this' и Generics", но все другие проблемные методы Array могут работать правильно, просто возвращая 'this'.

И методы Array.from и Array.of создают отдельную проблему, которую также невозможно представить с помощью текущего синтаксиса TypeScript, насколько мне известно, потому что интерфейс ArrayConstructor должен иметь возможность ссылаться на 'this' массива интерфейс.

ggmod 14 сент. 2016

в остальном добавление this вместо T[] должно быть возможным. Я считаю, что sort уже делает это.

mhegazy 15 сент. 2016

👍3

Была ли эта страница полезной?

0 / 5 - 0 рейтинги