我正在編寫一個 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() 將返回未定義。但在這種情況下，我的 while 循環僅在 temp.length 為真時運行，在這種情況下我知道 temp.shift() 將返回一個值而不是未定義...我錯過了什麼嗎？