TypeScript中Map值为string|number联合类型时报重载不匹配错误原因

定义值为number | string联合类型的Map时，传入混合了字符串、数字值的初始化数组，TypeScript抛出No overload matches this call错误，复现代码如下：

const map: Map<string, string | number> = new Map([
    [
        '1',
        '1',
    ],
    [
        '2',
        1,
    ],
]);

• 不存在「TypeScript要求Map值类型必须保持一致」的规则，完全可以通过联合类型定义支持多类型值的Map，本次报错是类型推断机制导致，并非类型约束不允许多类型值。
• 当你给变量显式标注Map<string, string | number>类型时，TypeScript不会直接用这个类型反向约束new Map()传入的初始化参数，而是会先对传入的初始化数组做独立类型推断：它会识别到传入的两个元组分别为[string, string]和[string, number]，推导得到的数组元素类型为[string, string] | [string, number]，这个类型无法匹配Map构造函数的任意重载签名，因此抛出重载匹配失败的错误。

优先推荐第一种写法，简洁且类型校验最准确：

• 直接给Map构造函数传入显式泛型参数，指定键、值类型，让TS按照指定类型校验初始化参数，跳过自动窄化推断

  const map = new Map<string, string | number>([
      ['1', '1'],
      ['2', 1],
  ]);
  

• 给初始化数组添加类型断言，明确标注数组的元组类型

  const map: Map<string, string | number> = new Map([
      ['1', '1'],
      ['2', 1],
  ] as Array<[string, string | number]>);
  

• 提前单独声明初始化条目的类型，避免TS自动窄化条目类型

  const mapEntries: Array<[string, string | number]> = [
      ['1', '1'],
      ['2', 1],
  ];
  const map: Map<string, string | number> = new Map(mapEntries);
  

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