如何创建Map.entries()同款泛型类型？解决类型丢失问题

首先明确：Map.entries()返回的IterableIterator<[K, V]>里的[K, V]是TypeScript元组类型，不是普通的数组类型。

普通数组类型（比如Array<K | V>）的元素类型是所有可能值的联合，而元组是固定长度、每个位置对应明确类型的结构——这就是为什么遍历Map.entries()时，解构[k, v]能分别拿到K和V的准确类型，而你自己map返回的数组会被推断成联合类型数组。

解决方法 #

要让map的返回值保持元组类型，有两种常用方式：

1. 显式指定map的返回类型 #

给map方法传入泛型参数，明确回调函数返回的是元组：

// 假设m是Map<K, V>类型
let out = [...m.entries()]
  .map<[K, { foo: V }]>(([k, v]) => [k, { foo: v }]) // 显式指定返回元组类型
  .reduce((map, [k, fooV]) => {
    map.set(k, fooV);
    return map;
  }, new Map<K, { foo: V }>());

2. 使用as const断言 #

通过as const让TypeScript把数组字面量推断为只读元组，保留每个位置的具体类型：

let out = [...m.entries()]
  .map(([k, v]) => [k, { foo: v }] as const) // 断言为只读元组
  .reduce((map, [k, fooV]) => {
    map.set(k, fooV);
    return map;
  }, new Map<K, { foo: V }>());

为什么原代码会出问题？ #

TypeScript默认会把[k, { foo: v }]这种数组字面量推断为(K | { foo: V })[]——也就是元素类型为K和{foo:V}的联合数组。这时候reduce里解构[k, fooV]，k和fooV的类型都会变成这个联合类型，丢失了原来的对应关系。

而Map.entries()的迭代器返回的是元组类型[K, V]，TypeScript能识别到这个结构里第一个元素固定是K，第二个固定是V，所以解构时类型不会混乱。

内容的提问来源于stack exchange，提问作者Some Noob Student