TypeScript数组长度检查报错：类型'1'与'0'无重叠的原因及解决方法

问题场景 #

以下TypeScript代码中，编译器在if (x.length === 0)行抛出错误：This comparison appears to be unintentional because the types '1' and '0' have no overlap.ts(2367)

const x = [1];

if (x.length !== 1)
throw "error";

x.pop();

if (x.length === 0)
throw "error";

问题原因 #

TypeScript对const x = [1]这类字面量数组，默认会推断为固定长度的元组类型（如readonly [1]或[1]），元组的长度被视为不可变的常量：

• 第一个if判断通过类型窄化，进一步确认x.length的类型为1；
• 尽管运行时调用x.pop()会修改数组长度，但TypeScript认为元组类型的长度不会被方法改变，因此依然认定x.length始终为1，后续和0的比较就被判定为无意义操作。

解决方法 #

通过以下方式让TypeScript正确识别数组长度的可变性：

• 显式声明为普通数组类型：

  const x: number[] = [1];
  

• 使用类型断言转换为可变数组：

  const x = [1] as number[];
  

• 通过展开操作生成可变数组：

  const x = [...[1]];
  

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