为何使用RemoveMethods时TypeScript条件类型嵌套推断返回unknown？

先明确几个关键类型的本质：

• Bar<T>是一个类的实例类型，其中泛型T仅出现在方法fn1的参数和返回值中，属性foo是固定的string类型。
• Id<T>是同态映射类型：它仅原样复制输入类型的所有属性，不添加、删除或修改属性，TypeScript会保留这类映射类型与原类型之间的泛型参数关联。
• RemoveMethods<T>是非同态映射类型：它通过as子句过滤掉了方法属性，破坏了原类型的结构关联，且丢失了原类型中泛型参数的承载信息。

1. 为什么Baz可以正常推断 #

Id<Bar<infer U>>中，Id只是对Bar<U>的属性做原样复制，结构上完全等价于Bar<U>。由于Id是同态映射，TypeScript会保留Bar<U>的泛型参数关联，当Foo（即Bar<{title: string}>）与Id<Bar<infer U>>匹配时，能直接反向推导出U = {title: string}。

2. 为什么Baz3直接匹配Bar<infer U>失败 #

Bar<T>的泛型T仅出现在方法fn1的签名里，而TypeScript对类实例类型的泛型推断规则是：如果泛型参数仅存在于方法的参数/返回值中，且没有具体的调用上下文约束，那么无法从实例类型本身反向确定T的具体值，最终会推断U为unknown。

3. 为什么Baz2使用RemoveMethods失败 #

RemoveMethods<Bar<infer U>>会过滤掉所有方法属性，仅保留foo: string。此时，无论U是什么类型，RemoveMethods<Bar<U>>的结果都是{foo: string}——U的信息完全被丢弃了。当Foo经过RemoveMethods处理后也是{foo: string}，条件永远成立，但U没有任何可用于推断的约束，因此只能推断为unknown。

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