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] ऑपरेटर का प्रदर्शन करते समय कुंजी क्रम खो जाता है

संबंधित मुद्दों: