TypeScript 条件返回值类型？

function f(x:boolean|string) { return x }
f(true) // boolean | string

为什么打字稿不能理解返回值是布尔值？

function f(x:boolean|string) {
    return typeof x === 'boolean' ? true : 'str'
}
f(true) // boolean | string

这也不能理解。

我需要手动设置函数重载定义吗？

Typescript 不会根据函数中的类型保护推断出不同的返回类型。但是，您可以定义多个函数签名，让编译器知道输入参数类型和结果类型之间的链接：

function ff(x: boolean): boolean;
function ff(x: string): string;

// Implementation signature, not publicly visible
function ff(x: boolean | string): boolean | string {
    return typeof x === 'boolean' ? true : 'str'
}