为何我的类型检查函数无法通过TypeScript类型检查？

这个错误的核心是联合类型数组的索引访问存在不确定性——TypeScript没法确保你两次images[idx]访问的是同一个类型的元素，同时也没法确认idx对应的元素是否存在。下面是几种实用的解决方法：

方法1：缓存数组元素，缩小类型范围 #

把目标元素先存到变量里，让TypeScript能跟踪这个变量的类型，避免多次索引访问导致的类型混淆，同时先处理索引越界的情况：

const getImg = (images: string[] | IImage[], idx: number) => {
  const imgItem = images[idx];
  if (!imgItem) return null;
  
  if (typeof imgItem === "string") {
    return imgItem;
  } else {
    return imgItem.image;
  }
};

方法2：先判断数组的整体类型 #

如果你的数组元素类型是统一的（要么全是string，要么全是IImage），可以先判断数组的类型，再处理索引：

const getImg = (images: string[] | IImage[], idx: number) => {
  if (idx < 0 || idx >= images.length) return null;
  
  if (typeof images[0] === "string") {
    return images[idx];
  } else {
    return images[idx].image;
  }
};

方法3：类型断言（谨慎使用） #

如果你能100%确认索引合法且元素类型，可以用类型断言跳过TypeScript的检查，但这会失去类型保护，只建议在明确场景下使用：

const getImg = (images: string[] | IImage[], idx: number) => {
  if (idx < 0 || idx >= images.length) return null;
  
  const imgItem = images[idx];
  if (typeof imgItem === "string") {
    return imgItem;
  } else {
    return (imgItem as IImage).image;
  }
};

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