使用类型守卫后TypeScript类型推断是否失效？

你遇到的类型收窄异常，本质是对映射类型、联合类型交互，以及类类型兼容性的理解偏差，而非TypeScript的类型推断问题。

核心原因拆解 #

1. 映射类型的分布式特性 #

Writable<T>是分布式映射类型，当传入联合类型Foo | Bar时，会自动拆解为对每个联合成员的映射：

// 实际等价于
type WritableFooBar = Writable<Foo> | Writable<Bar>

其中Writable<Foo>是去掉readonly修饰符的普通对象类型{ foo: string }，和Foo类的实例类型完全不是一回事。

2. 类实例与映射类型的兼容性 #

Foo类的实例带有readonly foo属性，而Writable<Foo>的foo是可写的——这两个类型互相不兼容：

• Foo实例不能赋值给Writable<Foo>（只读属性无法转为可写）
• Writable<Foo>对象也不能赋值给Foo（缺少类实例的隐含特性，属性可写性不匹配）

3. 类型守卫的不匹配 #

你的isFoo守卫断言obj is Foo，但输入类型WritableFooBar里根本没有Foo类型的成员（只有Writable<Foo>和Writable<Bar>）。TypeScript会信任你写的守卫断言，因此在分支中错误地保留了Foo类型的可能性，最终出现Foo | Writable<Bar>的异常收窄结果。

修复方案 #

方案1：针对可写类型写守卫 #

调整类型守卫，让它识别Writable<Foo>而非Foo：

declare function isWritableFoo(obj: any): obj is Writable<Foo>;

function test(foobar: WritableFooBar): void {
    if (!isWritableFoo(foobar)) {
        foobar; // 正确收窄为 Writable<Bar>
    } else {
        foobar; // 正确收窄为 Writable<Foo>
    }
}

方案2：扩展联合类型（如果需要兼容原类实例） #

如果你的场景需要同时处理Foo/Bar实例和它们的可写版本，先扩展类型定义：

type WritableFooBar = (Foo | Bar) | Writable<Foo | Bar>;

然后调整守卫逻辑，通过属性检查来识别类型（比如判断foo属性是否存在）：

declare function isFooOrWritableFoo(obj: any): obj is Foo | Writable<Foo>;

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