如何创建含空元组的元组联合类型，避免forEach中出现never类型？

问题原因 #

你定义的T是包含空元组[]的联合类型，TypeScript中空元组的forEach方法回调参数类型为never（因为没有元素可遍历）。当联合非空元组时，方法参数类型会取所有成员的交集，最终变成never & O = never，导致访问v.prop时报错。

同时你想要的索引访问严格性是符合预期的：t[0]类型为O|undefined，因为空元组不存在索引0的元素，TypeScript会自动补充undefined类型，这正是你需要的安全性。

解决方案 #

方案1：通过长度判断缩小类型范围 #

在调用forEach前判断数组长度，TypeScript会自动缩小类型、排除空元组场景，此时回调参数会正确推断为O：

type O = {prop:number}
type T = []|[O,O,O]|[O,O,O,O,O,O,O,O]

let t:T = []

if (t.length > 0) {
  t.forEach(v => {
    v.prop; // 类型正确，无报错
  });
}

方案2：自定义遍历工具函数 #

如果需要频繁处理该类型，可封装工具函数内部处理空数组情况，确保回调参数始终为O：

type O = {prop:number}
type T = []|[O,O,O]|[O,O,O,O,O,O,O,O]

function forEachT(arr: T, callback: (item: O) => void) {
  if (arr.length === 0) return;
  // 断言为非空数组，确保回调参数类型正确
  (arr as [O, ...O[]]).forEach(callback);
}

let t:T = []
forEachT(t, v => {
  v.prop; // 无报错
});

方案3：重载数组方法（进阶） #

可通过接口合并给T类型重载forEach方法，但此方法会全局修改数组类型，需谨慎使用：

type O = {prop:number}
type T = []|[O,O,O]|[O,O,O,O,O,O,O,O]

interface Array<T> {
  forEach(callback: (value: O) => void, thisArg?: any): void;
}

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