TypeScript如何收窄泛型返回类型 解决类型不兼容报错

报错根本原因 #

你遇到的报错并非TypeScript无法识别typeof的类型收窄逻辑，而是泛型声明和实际代码逻辑的约定存在冲突：
你定义的泛型TInputType允许是任意string的子类型（比如字符串字面量类型'test'），如果此时传入'test'作为参数，按照泛型约定返回值也应该是'test'类型，但你实际返回的是固定字符串'abc'，显然不符合类型约定，因此TS的报错是合理的。

可行解决方案 #

使用函数重载即可完全满足需求，不需要任何类型断言、@ts-ignore等强制跳过校验的操作：

// 重载规则1：输入为字符串时返回字符串类型
function getOutput(input: string): string;
// 重载规则2：输入为其他类型时返回和输入完全相同的类型
function getOutput<T>(input: T): T;
// 函数实现直接写原有逻辑即可，不需要额外标注泛型
function getOutput(input: unknown) {
    if (typeof input === 'string') {
        return 'abc';
    }
    return input;
}

该方案的类型匹配效果完全符合预期：

• 传入字符串类型参数时，返回值自动推断为string类型
• 传入其他类型参数时，返回值和输入参数的类型完全对齐
• 全程符合TypeScript的类型推导规则，没有强转或者跳过校验的操作

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