TypeScript数字联合类型触发TS2345类型不匹配错误如何解决？

你遇到的TS2345报错核心是类型推导的精度不匹配，底层逻辑分为两点：

• 你直接定义的[0, 90, 180, 270]默认会被TypeScript推导为number[]类型，而非你预期的ANGLE类型数组：TypeScript默认对普通数组做类型推导时，会放宽字面量类型为父类型（数字字面量放宽为number），因为它默认你后续可能修改数组的元素值。
• Lodash的shuffle方法会继承输入数组的类型，所以返回的结果也是number[]，取出的元素是number类型；而ANGLE是仅包含4个指定数字的字面量联合类型，属于number的子类型，更宽泛的number类型无法直接赋值给更严格的子类型，因此触发类型报错。

以下可行方案按类型安全优先级从高到低排序：

• 方案1：显式指定shuffle的泛型参数为ANGLE

test(_.shuffle<ANGLE>([0, 90, 180, 270])[0])

该方案直接告知TypeScript，传入shuffle的数组元素都是ANGLE类型，shuffle返回的结果自然也是ANGLE数组，类型完全安全。

• 方案2：给数组加const断言，强制TS推导为字面量类型

test(_.shuffle([0, 90, 180, 270] as const)[0])

as const会告知TypeScript这个数组是只读的、不会被修改，因此会把数组的元素类型推导为0 | 90 | 180 | 270，和ANGLE类型完全匹配。

• 方案3：给最终传参加类型断言（兜底方案）
  如果你能100%确认返回值一定符合ANGLE的取值范围，可以直接给参数加断言跳过校验：

test(_.shuffle([0, 90, 180, 270])[0] as ANGLE)

不推荐优先使用该方案，因为相当于手动绕过了TS的类型校验，如果数组后续被修改加入了其他数值，会出现类型不安全的问题。

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