TypeScript数组类型守卫失效：如何实现正确的类型收窄？

你的代码里用Array.isArray()做类型守卫后，TypeScript仍未正确识别数组类型，导致调用join时报错。下面是几种有效的解决方式：

方法1：添加明确的函数返回类型 #

给函数指定返回类型string，帮助TypeScript明确推断分支的类型：

const x = (value: string | string[]): string => {
    return Array.isArray(value) ? value.join(',') : value
}

方法2：改用if-else分支 #

TypeScript对if-else结构的类型收窄支持更稳定，拆分分支后能正确识别数组类型：

const x = (value: string | string[]) => {
    if (Array.isArray(value)) {
        return value.join(',')
    }
    return value
}

方法3：手动类型断言（不推荐） #

如果确定类型判断逻辑无误，可以手动断言类型，但这会跳过TypeScript的类型检查，谨慎使用：

const x = (value: string | string[]) => {
    return Array.isArray(value) ? (value as string[]).join(',') : value
}

本质上，前两种方法都是帮助TypeScript更清晰地跟踪每个分支的变量类型，完成正确的类型收窄。

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