为什么TypeScript泛型无法匹配精确类型？代码报错解析

先看你给出的代码：

type Input = 'a' | 'b';
type ResultOf<T extends Input> = T extends 'a' ? 'A' : 'B';
function foo<T extends Input>(input: T): ResultOf<T> {
    return input === 'a' ? 'A' : 'B';
}

报错的核心原因是TypeScript泛型条件类型的分布式特性，和函数返回值的类型推断逻辑不匹配：

• ResultOf<T>是一个分布式条件类型，当T是Input联合类型的子类型时，它会针对每个分支单独计算结果（比如T是'a'时返回'A'，T是'b'时返回'B'）。
• 但函数里的三元表达式input === 'a' ? 'A' : 'B'，在编译阶段会被TS推断为固定的联合类型"A" | "B"，而非和泛型T绑定的动态条件类型ResultOf<T>。
• TS没办法证明这个固定联合类型能完全匹配ResultOf<T>的具体类型——因为泛型T是不确定的类型参数（可能是'a'、'b'或者整个联合类型），编译器无法把动态的条件判断逻辑和静态的泛型条件类型做精确关联匹配，因此抛出类型不兼容的错误。

简单来说：你预期返回值是和输入T对应的精确类型，但TS只识别出一个固定的联合类型，没法把它和泛型的条件类型划上等号。

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