我正在写一个TypeScript函数，我的IDE告诉我，.shift（）的结果可能是未定义的，这会导致更多的类型警告。
代码如下：

function accumulateProofs(
  proofs: Proof[],
  requiredAmount: Number,
  strategy: 'middle' | 'ascending' | 'descending',
): Proof[] {
  const result:Proof[] = [];
  const temp = proofs.slice();
  let total = 0;
  switch (strategy) {
    case 'middle': {
      while (temp.length && total < desired) {
        const first = temp.shift();
        total += first.amount;
        result.push(first);
        if (total >= desired) {
          break;
        }
        const last = temp.pop();
        total += last;
        result.push(last);
      }
    }
  }
  return result
}

现在我明白了这个警告是有意义的，当你不能确定一个数组中有任何元素时，在这种情况下.shift（）将返回undefined。但是在这种情况下，我的while循环只在temp.length为true时运行，在这种情况下，我知道temp.shift（）将返回一个值，而不是undefined...我错过了什么吗？