对象数组的类型收窄问题：VS Code为何识别y为any类型？

问题原因 #

当参数x的初始类型是unknown时，即使通过Array.isArray(x)确认它是数组，TypeScript也无法自动推断出数组元素的具体类型，只能默认将其视为any[]。循环中的y因此被推断为any类型。

而TypeScript的类型窄化逻辑对any类型不生效——any可以代表任意类型，后续的typeof y !== "object"检查无法将其收缩为object，所以IntelliSense依然认为y是any。

调整方案 #

这里提供几种可行的代码调整方式，让TypeScript正确识别y的类型：

方案一：明确断言数组元素类型

在确认x是数组后，将其断言为object[]，直接指定数组元素类型，后续再补充null的判断（因为typeof null === 'object'）：

const f = (x: unknown) => {
  if (!x || !Array.isArray(x)) {
    throw new Error("bad");
  }

  // 断言数组元素为object类型
  const objArray = x as object[];
  for (const y of objArray) {
    // 排除null，避免误判
    if (y === null || typeof y !== "object") {
      throw new Error("bad");
    }

    y; // 此时类型为object（已排除null）
  }
};

方案二：先将y转为unknown再做类型窄化

由于any的类型窄化不生效，先把y断言为unknown，再进行类型检查，让TypeScript正常收缩类型：

const f = (x: unknown) => {
  if (!x || !Array.isArray(x)) {
    throw new Error("bad");
  }

  for (const y of x) {
    const yUnknown = y as unknown;
    if (!yUnknown || typeof yUnknown !== "object") {
      throw new Error("bad");
    }

    yUnknown; // 类型为object
  }
};

方案三：使用自定义类型守卫

编写一个类型守卫函数，明确判断值是非null的object，让TypeScript更精准地识别类型：

// 自定义类型守卫，确认值是object且非null
function isNonNullObject(value: unknown): value is object {
  return typeof value === "object" && value !== null;
}

const f = (x: unknown) => {
  if (!x || !Array.isArray(x)) {
    throw new Error("bad");
  }

  for (const y of x) {
    if (!isNonNullObject(y)) {
      throw new Error("bad");
    }

    y; // 类型为object
  }
};

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