为何可使用可迭代字面量初始化Map，却无法使用可迭代变量？

问题根源 #

TypeScript对数组字面量和数组变量的类型推断逻辑不同：

• 直接用new Map([[1, true], [2, false]])时，TS能自动识别每个子数组是固定长度为2的键值对元组，完全符合Map构造函数要求的Iterable<readonly [unknown, unknown]>类型。
• 但把数组赋值给变量d时，TS默认会将d推断为(number | boolean)[][]——也就是子数组可以是任意长度（比如可能只有1个元素，甚至空数组），这违反了Map初始化时“每个元素必须是包含键和值的二元组”的类型规则，所以抛出TS2769错误。

三种解决方法 #

1. 显式标注变量类型 #

给d指定明确的二元组数组类型，告诉TS每个子数组都是固定长度的键值对：

const d: readonly [number, boolean][] = [
  [1, true],
  [2, false]
]
const tmp = new Map(d)

2. 使用as const断言固定数组结构 #

通过as const让TS推断出数组是只读的固定结构，子数组不会被当成可变长度的数组：

const d = [
  [1, true],
  [2, false]
] as const
const tmp = new Map(d)

这种方式会把元素类型锁定为字面量（比如1会被推断为1而不是number），如果不需要这么精确的类型，可以用第三种方法。

3. 直接断言为二元组数组 #

把数组直接断言为符合Map要求的二元组数组类型：

const d = [
  [1, true],
  [2, false]
] as [number, boolean][]
const tmp = new Map(d)

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