TypeScript嵌套条件类型引发类型推断失效问题解析

两种写法表现不一致，本质是TypeScript泛型系统的条件分支收窄规则不支持跨类型别名传递约束：

• 类型收窄只会在「当前泛型定义内直接写的条件判断」的true/false分支中生效。
• TS不会对抽离出去的独立泛型类型做逻辑回溯，不会把独立类型的计算结果反向映射为当前作用域下泛型参数的约束。

两种写法的具体差异 #

• 对于MessageOfB：条件T extends { message: unknown }直接定义在MessageOfB自身的条件类型分支上，当TS判定条件成立时，会自动在true分支给泛型T追加{ message: unknown }的约束，此时T必然存在message属性，T["message"]属于合法索引，因此不会报错。
• 对于MessageOfA：条件判断被抽离到了独立的IsMessage<T>类型中，此时MessageOfA里的条件IsMessage<T> extends true仅做类型值的相等比较——TS只会判断IsMessage<T>的计算结果是不是true，但不会主动推导「如果IsMessage<T>为true，则T必然满足{ message: unknown }」这个关联关系。在这个分支里T仍然是没有任何额外约束的原始泛型，自然不允许直接用"message"做索引，就会抛出类型错误。

注意：TS的类型检查是基于语法上下文的，而非语义等价推导。哪怕两个类型逻辑上100%等价，只要约束判断没有直接写在当前泛型的条件分支里，TS就不会跨类型别名自动传递收窄后的约束，它本身不是通用定理证明器，不会为了类型校验做无边界的逻辑回溯。

如果要保留抽离判断类型的写法同时避免报错，不能让判断类型只返回true/false，需要把收窄后的类型直接作为判断类型的返回值，比如：

type IsMessage<T> = T extends { message: unknown } ? T : never;
type MessageOfA<T> = IsMessage<T> extends never ? never : IsMessage<T>["message"];

此时true分支拿到的是已经被IsMessage收窄过的类型，不再是原始无约束的T，索引访问就会合法。

内容的提问来源于stack exchange，提问作者Александр Алехин