Как Array это делает?

Question

[Alexandroppolus]

Как массив остается ковариантным? Интерфейс Array какой-то особенный?

// Добавим сюда два метода для надежности. Теперь они есть в типизации всех массивов
interface Array<T> {
  f1: () => T;
  f2: (v: T) => void;
}

// теперь из-за f2 массив должен стать инвариантным, но не стал:

type Array1ExtendsArray12 = Array<1> extends Array<1 | 2> ? true : false;  // true (вот здесь)

type Array12ExtendsArray1 = Array<1 | 2> extends Array<1> ? true : false;  // false



// обычный интерфейс получается инвариантным:

interface Preved<T> {
  [n: number]: T;
  push(x: T): void;
}

interface Preved<T> {
  f1: () => T;
  f2: (v: T) => void;
}

type Preved1ExtendsPreved12 = Preved<1> extends Preved<1 | 2> ? true : false;  // false

type Preved12ExtendsPreved1 = Preved<1 | 2> extends Preved<1> ? true : false;  // false

Playground

примечание: если смотреть пример в VSCode, то добавление методов в Array надо обернуть declare global { ... }

Comments

[Lynn «Кофеман»]

По идее все типы описаны тут
https://github.com/microsoft/TypeScript/tree/main/...

[WbICHA]

// ^?

Плевать на коварианты, как ты нашёл это???

[Lynn «Кофеман»]

WbICHA, я в своё время в доке TS увидел :)

[WbICHA]

Тут явно идёт привязка к ключевому слову Array, потому что:

interface IPreved<T> extends Array<T> {} // инвариантный
type TPreved<T> = Array<T> // ковариантный

[Alexandroppolus]

WbICHA, то что ты до сих пор не знал про эту хрень (// ^?), удивляет больше, чем сабж ))

[WbICHA]

Alexandroppolus, на самом деле мне кажется, что я знал, но, поскольку это актуально разве что для таких вот примеров, я тупо забыл.)
Надо бы на работе где-нибудь припилить, чтоб хоть иногда вспоминал.)

[WbICHA]

Lynn «Кофеман», а ведь точно, там же это есть, но мне казалось это они сами вручную прописали.)

[Alexandroppolus]

WbICHA,

Надо бы на работе где-нибудь припилить, чтоб хоть иногда вспоминал.)

Это работает только в плейграунде. Смысл у неё точно такой же, как у Watch за переменной в браузерном дебаггере - чтобы значение было перед глазами без наведения мыши, чисто для удобства, когда какой-нибудь тип отлаживаешь.

Тут явно идёт привязка к ключевому слову Array

да, видимо это зашито в самом движке..

[Александр]

Alexandroppolus, Можно и не только в плейграунде (и его вообще хотели в VS Code запихнуть, вроде даже в Insiders версии запихнули).
https://marketplace.visualstudio.com/items?itemNam...

[Alexandroppolus]

Александр, это офигительно! Спасибо. Поставил плагин.

[RAX7]

The stricter checking applies to all function types, except those originating in method or constructor declarations. Methods are excluded specifically to ensure generic classes and interfaces (such as Array) continue to mostly relate covariantly.
https://www.typescriptlang.org/docs/handbook/relea...

[Alexandroppolus]

RAX7, это да, но в моем примере в Array добавлена функция f2, у неё параметр контравариантный. В интерфейсе Preved она тоже есть, и если её там закомментить, Preved1ExtendsPreved12 будет true. А на массив она не повлияла.
Твоя цитата относится только к методам, которые выглядят как push в типе Preved

[RAX7]

Так написано, что для Array добавлено исключение, видимо это исключение работает как для встроенных filter/every/forEach и т.д., так и для методов добавленных пользователем. Других объяснений подобного поведения мне не удалось найти.