TypeScript类型守卫与Exclude结合时变量类型推断失效原因

我编写了如下代码片段，但return arg行出现编译错误：

type Foo<T> = T | Error

type Successful<A> = Exclude<A, Error>

const fn = <S>(arg: Foo<S>): Successful<Foo<S>> => {
    if (arg instanceof Error) {
        throw new Error()
    }
    return arg
}

错误提示：Type 'S' is not assignable to type 'Exclude<S, Error>'.(2322)

为何编译器无法识别经过类型守卫后，arg的类型应仅为S？

问题根源 #

TypeScript的类型系统在这里存在一个关键局限：Successful<Foo<S>>等价于Exclude<S | Error, Error>，也就是Exclude<S, Error>。但编译器无法自动完成这个推导——虽然类型守卫已经排除了arg是Error的情况，将其类型收窄为S，但泛型参数S本身可能包含Error类型（比如调用fn<Error>(new Error())）。此时S和Exclude<S, Error>并不等价，编译器无法确定S中不包含Error，因此抛出类型不匹配的错误。

简言之，类型守卫只能处理当前函数参数的具体值类型，无法约束泛型参数S的整体范围。

修复方案 #

方案一：约束泛型S不包含Error #

直接在泛型定义中限制S不能是Error或包含Error的联合类型，从根源上避免类型冲突：

type Foo<T> = T | Error

type Successful<A> = Exclude<A, Error>

const fn = <S extends Exclude<S, Error>>(arg: Foo<S>): Successful<Foo<S>> => {
    if (arg instanceof Error) {
        throw new Error()
    }
    return arg
}

方案二：调整返回值类型或添加类型断言 #

既然已经通过类型守卫排除了Error，可以直接将返回值类型设为S，或者给返回值添加类型断言来告诉编译器实际类型：

type Foo<T> = T | Error

type Successful<A> = Exclude<A, Error>

// 子方案1：返回值类型设为S
const fn = <S>(arg: Foo<S>): S => {
    if (arg instanceof Error) {
        throw new Error()
    }
    return arg
}

// 子方案2：使用类型断言
const fn = <S>(arg: Foo<S>): Successful<Foo<S>> => {
    if (arg instanceof Error) {
        throw new Error()
    }
    return arg as Successful<Foo<S>>
}

另外，你也可以简化类型定义，直接用Exclude<S, Error>作为返回值类型，这样更直观，避免多层类型推导的歧义。

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