TypeScript中的数组元素类型断言问题

Question

type Plan<T> = [T[], ...T[]];

我声明了一个名为Plan的类型，其中包括索引0中的重复计划以及最初执行的内容。

例如） const life: Plan<string> = [ ["getUp", "work", "sleep"], "birth", "grow" ]

我试图定义以下函数：

function parsePlan<T>(plan: Plan<T>, index: number): T {
    if(index < 1) throw Error();

    return index < plan.length
    ?plan[index]
    :plan[0][(index-plan.length)%(plan[0].length)]
}

但它说有一个问题，这将返回T | T[] T | T[] 。

如果index < 1 ，它将throw Error()并且无法返回T[] 。

为什么会出现此错误，我该如何解决此错误？

非常感谢你的帮助。

Answer 1

如您所料，类型缩小并非在所有情况下都有效。

但是，当您添加类型保护或类型谓词以缩小范围时，它确实适用于单个变量。

这将起作用：

type Plan<T> = [T[], ...T[]];

function parsePlan<T>(plan: Plan<T>, index: number): T {
    const item = plan[index]

    if (Array.isArray(item)) throw Error();

    return index < plan.length ? item : plan[0][(index-plan.length)%(plan[0].length)]
}

这里也是游乐场。