TypeScript报错number|undefined无法赋值给number类型如何解决

算力阿峰

2026-9-3

问题原因

TypeScript的静态类型流分析不会追踪跨语句的数组长度动态变化，也不会自动推导循环边界和数组方法返回值的关联关系。在TS的内置类型定义中，数组shift()方法的返回值固定为T | undefined——即数组为空时返回undefined，它没法识别你写的循环次数刚好等于数组初始长度、运行时shift()永远不会遇到空数组的业务逻辑，因此抛出类型不匹配错误。

修复方案

你认为额外加undefined判断属于冗余逻辑的判断是对的，这个场景不需要写多余的空值校验，按优先级选以下方案即可：

方案1：使用非空断言操作符!（改动最小，最贴合现有逻辑）
非空断言的作用就是明确告知TS，你确定当前位置的值不会是null或undefined，不需要做类型告警。你的逻辑已经100%保证循环次数和数组初始长度对齐，shift()永远有合法返回值，完全符合非空断言的适用场景，不会引入类型安全问题。
修改后代码：
```
function example(queue: number[]): number[] {
    const curLength: number = queue.length
    for (let i = 0; i < curLength; i++) {
        const cur: number = queue.shift()! // 仅需在shift()后加!即可
    }
    return queue // 原代码缺失返回值，补充后可避免新的类型报错
}
```

方案2：调整遍历逻辑，从根源规避空值类型问题
如果你的业务不需要保留“边遍历边修改原数组”的副作用，完全可以不用shift()，直接按索引访问数组元素，写法上天然不会出现undefined的类型问题：

function example(queue: number[]): number[] {
    for (let i = 0; i < queue.length; i++) {
        const cur: number = queue[i]
        // 处理cur的业务逻辑
    }
    // 如果需要遍历后清空原数组，直接设置length即可，性能比循环shift更好
    // queue.length = 0
    return queue
}