Typescript: 유형 순서를 유지하지 않는 유니온 + 매핑 된 배열 유형으로 배열 캐스팅

TypeScript 버전 : 3.4.0-dev.201xxxxx

검색어:

매핑 된 유형 키 순서 손실

암호

type Initial = [1, 2, 3, 4]

type FindReplace<T extends any[], Find, Replace> = {
  [K in keyof T]: T[K] extends Find ? Replace : T[K]
}

// Map over array and replace '2'
type ResultArray = FindReplace<Initial, 2, 'was 2'>
// => [1, "was 2", 3, 4]

// Now accessing the array values using [number], the type
// order is lost. This matters because now when the union is later
// cast as a intersection, the types are in the wrong order
type Result = ResultArray[number]
// => 1 | 3 | 4 | "was 2

예상되는 동작 :

유형에 대한 매핑은 키 순서를 유지해야합니다.

실제 행동 :

유형에 대한 매핑은 "유형"을 유지하지만 T[keyof T] 연산자를 수행하면 키 순서가 손실됩니다.

관련 문제: