为什么TypeScript使用条件类型实现泛型getPerson函数时返回值报错？

这个报错是TypeScript处理泛型条件类型时非常常见的认知差问题，本质是静态类型校验的逻辑和你在函数内做运行时判断的逻辑没有对齐：

• 你定义的 *T extends 'coach' ? Coach : Player* 是依赖泛型参数的延迟求值类型。编译器在编译函数实现部分的代码时，只知道泛型T满足T extends 'coach' | 'player'的约束，并不清楚调用方最终会把T实例化成什么——毕竟调用方完全可以传入T = 'coach' | 'player'的联合类型，此时预期的返回类型是Coach | Player，并非固定的某一个具体类型。
• 你通过if (role === 'coach')做的类型收窄，只能作用在role这个变量本身上面，没法反向修改泛型T的类型。TS不会因为你在if分支里判断了role的运行时取值，就自动认为此时T的类型就是'coach'，它依然会把T当成不确定的泛型参数来对待。

两个因素叠加后，TS自然无法证明你在分支内返回的Coach或Player，一定能匹配那个延迟解析的条件返回类型，因此抛出赋值不兼容的报错。

方案一：使用函数重载（推荐，类型安全度最高） #

这是TypeScript处理这类入参与返回值强关联场景的通用写法，不需要依赖复杂的类型断言，就能实现你最初想要的精确类型推导效果。

// 对外暴露的重载签名：精确匹配入参与返回值的对应关系
function getPerson(role: 'coach'): Coach;
function getPerson(role: 'player'): Player;
// 内部实现签名：仅在函数实现作用域可见，不参与调用侧的类型校验
function getPerson(role: Role): Coach | Player {
    if (role === 'coach') {
        return {} as Coach;
    } else {
        return {} as Player;
    }
}

这个方案的优势：

• 无不必要的类型断言，类型推导过程透明
• 调用侧的类型结果和泛型条件类型写法完全一致，传'coach'返回Coach，传'player'返回Player
• 函数内部的类型校验符合常规开发逻辑，没有额外的认知负担

方案二：保留泛型条件类型写法，通过显式断言匹配类型 #

如果你希望保留原有的泛型签名风格，可以利用双层断言绕开TS在函数内部无法解析延迟条件类型的限制。由于我们已经通过运行时逻辑固定了入参和返回值的对应关系，这种断言是完全安全的。

function getPerson<T extends Role>(role: T): T extends 'coach' ? Coach : Player {
    if (role === 'coach') {
        // 双层断言：明确告知TS当前返回值符合泛型条件类型的要求
        return {} as Coach as T extends 'coach' ? Coach : Player;
    } else {
        return {} as Player as T extends 'coach' ? Coach : Player;
    }
}

注意点：

• 不能直接把Coach赋值给目标条件类型，因为TS在函数内部无法确认泛型的最终取值，必须通过断言明确类型关系
• 这种写法的类型安全完全依赖内部的运行时判断逻辑，和常规业务开发的逻辑一致性高

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