TypeScript：显式类型收窄失效，如何兼顾类型收窄与返回值推断？

我在梳理TypeScript的类型守卫逻辑时遇到了一个矛盾场景：需要实现一个数组判断函数，得同时满足两个要求：

1. 对unknown类型的变量判断后，能自动收窄为数组类型，方便后续操作
2. 传入明确的数组时，函数返回值类型是true字面量，能直接赋值给true类型的变量

但现有的两种写法都只能满足其中一个需求：

第一种写法：使用类型谓词（仅支持类型收窄） #

这种写法通过value is any[]类型谓词实现了类型收窄，但返回值始终是boolean类型，无法赋值给true类型变量：

export function isArray(value?: any): value is any[] {
    return Array.isArray(value)
}

// 正常工作：unknown类型变量被收窄为数组
const a: unknown = []
if (isArray(a)) {
    const l: number = a.length // 无报错，a的类型已变为any[]
}

// 报错：boolean类型无法赋值给true类型
const t: true = isArray([]) // Type 'boolean' is not assignable to type 'true'.ts(2322)

第二种写法：使用函数重载（仅支持返回字面量布尔） #

这种写法通过重载让传入明确数组时返回true，但对unknown类型判断后无法收窄类型：

export function isArray(value: any[]): true
export function isArray(value?: any): false
export function isArray(value?: any): boolean {
    return Array.isArray(value)
}

// 报错：unknown类型未被收窄
const a: unknown = []
if (isArray(a)) {
    const l: number = a.length // 'a' is of type 'unknown'.ts(18046)
}

// 正常工作：传入数组返回true字面量
const t: true = isArray([])

两全其美的解决方案：结合重载与类型谓词 #

我们可以通过多签名重载，同时覆盖类型收窄和字面量返回的场景：

// 重载1：传入明确数组类型，返回true字面量
export function isArray(value: any[]): true;
// 重载2：传入unknown类型，返回类型谓词实现收窄
export function isArray(value: unknown): value is any[];
// 重载3：处理其他任意输入，返回boolean
export function isArray(value?: any): boolean;

// 统一实现逻辑
export function isArray(value?: any): boolean {
    return Array.isArray(value);
}

验证两种场景 #

现在两种需求都能正常满足：

// 场景1：unknown类型收窄正常
const a: unknown = [];
if (isArray(a)) {
    const l: number = a.length; // 无报错，a已被收窄为any[]
}

// 场景2：传入明确数组返回true，赋值正常
const t: true = isArray([]); // 无报错，类型匹配

原理说明 #

TypeScript的重载会根据传入参数的类型自动匹配对应的签名：

• 当传入明确的数组类型时，匹配第一个重载，返回true字面量
• 当传入unknown类型时，匹配第二个重载，触发value is any[]类型谓词，自动收窄变量类型
• 其他情况（比如传入null、undefined或非数组类型）匹配第三个重载，返回boolean类型

这种写法同样适用于其他类型判断场景（比如判断Map、Set等），符合多类型分支判断的实际业务需求。

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