Когда массивы можно преобразовать в кортежи с помощью одного утверждения as

Утверждения позволяют расширять или сужать, а не «отклонять в сторону»

Смысл утверждений состоит в том, чтобы позволить вам «повышать» или «понижать» значение до типа. Итак, эмпирическое правило для утверждений таково: если у вас есть значение x типа X, то вы можете написать утверждениеx as Y, если либо X extends Y, либо Y extends X. Если ни одно из этих утверждений не верно, то TypeScript, вероятно, будет жаловаться, что эти два типа недостаточно связаны, чтобы утверждать между собой, и что это, вероятно, ошибка. Вы не можете напрямую «привести» значение к типу.

Обратите внимание, что отношения extendsимеют разные названия, и хотя между ними иногда есть различия, все они представляют собой примерно одно и то же понятие: вы можете сказать «T extends U» или «T присваивается U» или «T является подтипом». U» или «T — это сужение U», или «U — это расширение T», или «T⊑U». Это отношение не симметрично (T extends U не подразумевает, что U extends T), но обычно транзитивно (T extends U и U extends V часто подразумевают, что T extends V).

С другой стороны, отношение утверждаемости симметрично (если вы можете утверждать t as typeof u, то вы можете утверждать u as typeof t) и обычно не транзитивно (разрешение t as U as V не означает, что t as V разрешено). Таким образом, даже если вы не можете напрямую преобразовать значение t в тип V, вы можете найти промежуточный тип U, который работает, и написать t as U as V.

Кортежи уже, чем массивы

Изменяемые типы кортежей , такие как [T] и [T, T], можно назначать неупорядоченным изменяемым типам массивов произвольной длины, таким как T[], но не наоборот:

declare let mutArr: number[];
declare let mutTup: [number, number, number];

mutArr = mutTup; // okay
mutTup = mutArr; // error

Такая же связь справедлива между кортежами только для чтения типа readonly [T] и типами массивов только для чтения такими как readonly T[]:

declare let roArr: readonly number[];
declare let roTup: readonly [number, number, number];

roArr = roTup; // okay
roTup = roArr; // error

Изменяемые массивы/кортежи уже, чем readonly массив/кортежи

Изменяемые типы массивов, такие как T[], можно назначить типам массивов readonly, таким как readonly T[], но не наоборот:

roArr = mutArr; // okay
mutArr = roArr; // error

roTup = mutTup; // okay
mutTup = roTup; // error

Таблица назначаемости

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

Это означает, что вы можете ожидать, что любое из этих утверждений сработает:

// narrowings
roArr as number[]; // okay
roArr as readonly [number, number, number]; // okay
roArr as [number, number, number]; // okay
mutArr as [number, number, number]; // okay
roTup as [number, number, number]; // okay

// widenings
mutArr as readonly number[]; // okay
roTup as readonly number[]; // okay
mutTup as readonly number[]; // okay
mutTup as number[]; // okay
mutTup as readonly [number, number, number]; // okay

Но вы можете ожидать, что эти утверждения потерпят неудачу:

// sidecasting
mutArr as readonly [number, number, number]; // error
/* Conversion of type 'number[]' to type 'readonly [number, number, number]' may be a 
   mistake because neither type sufficiently overlaps with the other.
   If this was intentional, convert the expression to 'unknown' first. */
roTup as number[]; // error
/* Conversion of type 'readonly [number, number, number]' to type 'number[]' may be a 
   mistake because neither type sufficiently overlaps with the other. 
   If this was intentional, convert the expression to 'unknown' first. */

И это действительно то, что происходит. И если вы действительно хотите «побочную трансляцию», вы можете сделать это, используя промежуточный тип, который может быть подтвержден обоими. Компилятор рекомендует unknown, но вы можете использовать все, что угодно, например другие углы диаграммы:

// widen then narrow
mutArr as readonly number[] as readonly [number, number, number]; // okay
roTup as [number, number, number] as number[]; // okay

// narrow then widen
mutArr as [number, number, number] as readonly [number, number, number]; // okay
roTup as readonly number[] as number[]; // okay

Детская площадка, ссылка на код