TypeScript中数组map方法为何需要类型断言？

先看报错的代码：

function myFilter(debts: Map<string, number>): Map<string, number> {
  return new Map([...debts]
    .map(d => [d[0], Math.round(d[1] * 10) / 10]) // error
    .filter(d => d[1] != 0)
  )
}

TS会报错，因为它把map的返回值推断成了(string | number)[][]，而不是我们期望的[string, number][]。

核心原因：TS对数组字面量的默认推断规则 #

当你在map里返回[d[0], Math.round(d[1] *10)/10]这个数组字面量时，TS默认会把它推断成可修改的混合类型数组(string | number)[]，而不是固定长度的键值对元组[string, number]。

这是因为TS不知道你会不会在后续代码里修改这个数组（比如给它push一个新元素），所以它会默认给出一个更宽松的类型，确保类型安全。但问题在于，Map的构造函数要求传入的迭代器必须是Iterable<[K, V]>结构——也就是每个元素必须是严格的「键类型+值类型」的元组，而不是随便的混合数组。

当TS看到map返回的是(string | number)[]的数组时，它没法保证每个子数组都是[string, number]的结构（比如理论上可能出现[number, string]的情况），所以就会抛出类型不匹配的错误。

加类型断言解决了什么问题 #

function myFilter(debts: Map<string, number>): Map<string, number> {
  return new Map([...debts]
    .map(d => [d[0], Math.round(d[1] * 10) / 10] as [string, number])
    .filter(d => d[1] != 0)
  )
}

这里的as [string, number]是在告诉TS：「别瞎推断了，这个数组就是固定两个元素的元组，第一个是string类型的键，第二个是number类型的值」。

一旦明确了这个类型，TS就能确认map的返回值是[string, number][]，完全符合Map构造函数的要求，自然就不会报错了。

替代方案：不用类型断言也能解决 #

除了类型断言，还有两种更「优雅」的方式：

1. 显式指定map的泛型参数：

function myFilter(debts: Map<string, number>): Map<string, number> {
  return new Map([...debts]
    .map<[string, number]>(d => [d[0], Math.round(d[1] * 10) / 10])
    .filter(d => d[1] != 0)
  )
}

直接给map指定返回的元组类型，TS就会按照这个类型去校验返回值，不用额外断言。

2. 使用const断言：

function myFilter(debts: Map<string, number>): Map<string, number> {
  return new Map([...debts]
    .map(d => [d[0], Math.round(d[1] * 10) / 10] as const)
    .filter(d => d[1] != 0)
  )
}

as const会把数组推断成只读的元组readonly [string, number]，而Map的构造函数也接受只读元组的迭代器，同样能解决问题。

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