TypeScript重载签名与实现签名不兼容问题排查

TypeScript检查重载与实现的兼容性时，只会依据签名的静态类型判断，不会分析函数体内部的类型守卫逻辑。你的实现函数返回的是字面量'string'和1，TypeScript会自动推断其返回类型为"string" | 1。而你定义的重载签名分别声明返回number和string——"string" | 1无法被number或string单独兼容（比如"string"不属于number类型），因此触发了兼容性错误。

方法一：明确标注实现签名的返回类型 #

给实现函数加上string | number的返回类型声明，让它覆盖两个重载的返回类型范围：

function stringOr1(v: number): number;
function stringOr1(v: string): string;

// 明确标注返回类型为 string | number
function stringOr1(v: number | string): string | number {
  if (typeof v == 'string') {
    return 'string';
  } else {
    return 1;
  }
}

const s1 = stringOr1('1'); // 类型为 string
const s2 = stringOr1(1);   // 类型为 number

方法二：调整重载签名匹配字面量返回类型（可选） #

如果你希望返回的是具体字面量类型而非宽泛的number/string，可以修改重载签名的返回类型：

function stringOr1(v: number): 1;
function stringOr1(v: string): "string";

function stringOr1(v: number | string) {
  if (typeof v == 'string') {
    return 'string';
  } else {
    return 1;
  }
}

const s1 = stringOr1('1'); // 类型为 "string"
const s2 = stringOr1(1);   // 类型为 1

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