如何避免TypeScript“变量未赋值即使用”报错的替代语法/逻辑

你编写的prevCurrent生成器逻辑没问题，但TypeScript的控制流分析无法追踪head变量与循环迭代次数的关联，因此会误判previous可能未赋值就被使用。以下是几种无需!非空断言的静态分析友好方案：

方案一：手动获取迭代器的第一个值（推荐） #

直接通过迭代器取出第一个元素，确保previous从一开始就被赋值，同时还能优雅处理空可迭代对象的情况：

function* prevCurrent<T>(iterable: Iterable<T>) {
  const iterator = iterable[Symbol.iterator]();
  const firstItem = iterator.next();
  
  // 处理空可迭代对象的情况
  if (firstItem.done) return;
  
  let previous = firstItem.value;
  for (const current of iterator) {
    yield [previous, current];
    previous = current;
  }
}

这种写法完全符合TypeScript的类型推断逻辑，不会出现错误提示，同时代码逻辑更清晰。

方案二：将previous设为联合类型并通过判断缩小范围 #

把previous的类型声明为T | undefined，通过显式判断排除undefined的情况，让TypeScript的类型收缩生效：

function* prevCurrent<T>(iterable: Iterable<T>) {
    let previous: T | undefined;
    for (const current of iterable) {
        if (previous === undefined) {
            previous = current;
            continue;
        }
        yield [previous, current];
        previous = current;
    }
}

这种写法不需要额外操作迭代器，只是通过类型联合和判断让TS认可previous在yield时已赋值。

测试验证 #

用你的示例代码测试两种方案，输出结果一致：

const arr = [1, 2, 3];
for (const pair of prevCurrent(arr)) {
    console.log(pair);
}
// 输出：
// [1, 2]
// [2, 3]

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