TypeScript报错：'item'隐式具有any类型，求原因及无断言解决方案

下面这段TypeScript代码会在cur[index]处触发类型错误：

type Foo = {
    foo: number
    items: Foo[]
}
type Bar = {
    bar: number
    items: Foo[]
}

function func(list: Bar[], indices: number[]) {
    let cur: Foo[] | Bar[] = list
    for (const index of indices) {
        const item = cur[index] // 错误发生在此处
        cur = item.items
    }
}

问题原因 #

你虽然显式标注了cur为Foo[] | Bar[]，但TypeScript的控制流分析会优先跟踪变量的初始具体类型——这里cur初始赋值为Bar[]（来自参数list），所以第一次循环时，TypeScript会认定cur是Bar[]。而后续迭代中，cur会被赋值为item.items（类型是Foo[]），但TypeScript无法在循环结构中正确推断这种动态的类型切换，导致类型检查时出现冲突：它既想保留初始的Bar[]类型，又要处理后续可能的Foo[]类型，最终抛出错误。

合理解决办法 #

1. 自定义类型谓词缩小类型

通过类型谓词显式判断cur的类型，让TypeScript明确当前变量的具体类型：

type Foo = {
    foo: number
    items: Foo[]
}
type Bar = {
    bar: number
    items: Foo[]
}

function isBarArray(arr: Foo[] | Bar[]): arr is Bar[] {
    // 空数组时默认返回false，可根据实际需求调整判断逻辑
    return arr.length > 0 && 'bar' in arr[0]
}

function func(list: Bar[], indices: number[]) {
    let cur: Foo[] | Bar[] = list
    for (const index of indices) {
        const item = isBarArray(cur) ? cur[index] : cur[index]
        cur = item.items
    }
}

2. 提取循环逻辑到独立函数

将循环内的类型依赖逻辑封装到函数中，让TypeScript在函数作用域内重新推导联合类型的处理：

type Foo = {
    foo: number
    items: Foo[]
}
type Bar = {
    bar: number
    items: Foo[]
}

function getNextCur(cur: Foo[] | Bar[], index: number): Foo[] {
    const item = cur[index]
    return item.items
}

function func(list: Bar[], indices: number[]) {
    let cur: Foo[] | Bar[] = list
    for (const index of indices) {
        cur = getNextCur(cur, index)
    }
}

3. 定义基类型统一约束

创建包含items属性的基类型，让Foo和Bar继承该类型，消除联合类型的歧义：

type ItemContainer<T> = {
    items: T[]
}

type Foo = ItemContainer<Foo> & {
    foo: number
}
type Bar = ItemContainer<Foo> & {
    bar: number
}

function func(list: Bar[], indices: number[]) {
    let cur: ItemContainer<Foo>[] = list
    for (const index of indices) {
        const item = cur[index]
        cur = item.items
    }
}

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