TypeScript中T与T|undefined参数的重载函数定义问题

你的问题根源在于重载签名的声明顺序错误。TypeScript对重载签名的匹配是从上到下进行的，会优先匹配第一个符合参数类型的签名。你原本把宽泛的string | undefined参数签名放在了最前面，导致传入明确的string值时，会先匹配到这个返回string | undefined的签名，从而出现类型不兼容的编译错误。

正确的函数定义方式 #

调整重载签名的顺序，把更具体的（仅接收string类型参数）签名放在前面，再声明宽泛的签名：

// 1. 更具体的重载：接收string，返回string
function toUpper(value: string): string;
// 2. 宽泛的重载：接收string | undefined，返回string | undefined
function toUpper(value: string | undefined): string | undefined;
// 函数实现体
function toUpper(value: string | undefined): string | undefined {
    return value?.toUpperCase(); // 注：原代码用toString()不符合toUpper的语义，这里修正为toUpperCase()，如果确实需要toString()可自行替换
}

验证调用 #

调整后，两种调用场景都能符合预期：

// 传入string类型，返回string，无编译错误
const x: string = toUpper('abc');

// 传入string | undefined类型，返回对应联合类型
const y: string | undefined = toUpper(Math.random() > 0.5 ? 'def' : undefined);

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