TypeScript中Map用string|number联合类型作键报错原因与解决方法

问题重现 #

以下代码中，使用number | string作为Map的键类型时，单个条目可正常创建Map，但包含不同类型键的多个条目会触发TypeScript错误：

type MyMap = Map<number | string, string>;

// ✅ 正常
const myMap: MyMap = new Map([
    [100, "number"]
]);

// 🚨 TypeScript报错 
const myMapErr: MyMap = new Map([
  [100, "number"],
  ["some", "string"],
]);

报错信息：

Argument of type '([number, string] | [string, string])[]' is not assignable to parameter of type 'Iterable<readonly [number, string]>'.
The types returned by 'Symbol.iterator.next(...)' are incompatible between these types.

错误原因 #

TypeScript对数组的类型推断逻辑偏保守：当数组包含多个不同类型的元组时，会将其推断为元组的联合数组（即([number, string] | [string, string])[]），而非我们期望的键为联合类型的统一元组数组（readonly [number | string, string][]）。

Map的构造函数要求传入的可迭代对象中，每个条目必须严格符合readonly [K, V]结构（这里K是number | string）。但TypeScript类型系统无法自动将联合元组数组与统一元组数组划等号——虽然从值的角度两者兼容，但类型层面属于不同范畴，因此触发类型不匹配错误。

修复方案（不丢失类型信息） #

方案1：显式指定Map的泛型参数 #

创建Map时直接声明泛型参数，让TypeScript明确识别条目的类型：

type MyMap = Map<number | string, string>;

const myMapFixed: MyMap = new Map<number | string, string>([
  [100, "number"],
  ["some", "string"],
]);

方案2：显式标注条目数组的类型 #

提前给条目数组指定类型，确保数组被推断为统一的联合键元组数组：

type MyMap = Map<number | string, string>;

const entries: readonly [number | string, string][] = [
  [100, "number"],
  ["some", "string"],
];

const myMapFixed: MyMap = new Map(entries);

方案3：使用类型断言（需确保类型安全） #

如果确定条目数组的类型符合要求，可以用类型断言告知TypeScript接受该类型：

type MyMap = Map<number | string, string>;

const myMapFixed: MyMap = new Map([
  [100, "number"],
  ["some", "string"],
] as Iterable<readonly [number | string, string]>);

内容的提问来源于stack exchange，提问作者panepeter