TypeScript编译报错：无法将string赋值给条件类型T extends string? string : null

这个问题不是遗漏了declare声明块或者函数重载写法，是TypeScript针对依赖未解析泛型的条件类型的固有编译限制。
你定义的返回类型 T extends string ? string : null 是绑定在泛型参数T上的条件类型，在函数体内部的编译阶段，T对编译器来说是未确定具体取值的占位类型——哪怕你对入参test做了真值判断、明确能推导出test的实际类型，这个判断也不会传导到泛型T本身的取值上。
此时你在函数体中返回的string类型值，没办法匹配一个还未被编译器求值的、绑定在未知泛型上的条件类型，因此触发TS2322类型不兼容报错。哪怕从逻辑上看你写的返回逻辑完全符合预期，编译器也不会在函数内部对这类泛型条件类型做实际的类型推导计算。

使用函数重载的写法即可绕开这个限制，不需要额外的泛型条件类型：

function processO(test: string): string;
function processO(test: null): null;
function processO(test: string | null): string | null {
    return test && test.replace(/f/g, "p")
}

// 类型推导正常，可正常调用字符串方法
processO("foo").toUpperCase()

这种写法的优势：

• 对外暴露的重载签名会根据入参类型精确匹配返回值类型，和你原本想要实现的条件类型逻辑完全等价
• 内部的实现签名仅对开发者可见，不会对外暴露联合类型的返回值
• 不存在未解析的泛型条件类型，编译器可以正常完成全链路的类型检查

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