泛型约束函数输入输出类型不匹配报错，求解决方案

问题原因 #

你定义的泛型T被约束为string | number，但T可以是这两个类型的子类型（比如特定字符串字面量"test"、数字字面量3）。当你在typeof input === 'string'分支中赋值'foo'给result: T时，TypeScript无法保证'foo'能匹配T的具体子类型（比如如果T是"test"，'foo'显然不匹配），因此抛出类型不兼容的错误。

修复方案 #

方案1：类型断言配合类型守卫

既然已经通过typeof确定了当前分支的输入类型，就可以安全地用as T断言赋值，因为此时T必然是对应分支类型的子类型：

function dummy<T extends string | number>(input: T): T {
  let result: T

  if (typeof input === 'string') {
    // 加入字符串分支的错误检查、解析逻辑
    result = 'foo' as T
  } else {
    // 加入数字分支的错误检查、解析逻辑
    result = 1 as T
  }

  return result
}

方案2：函数重载增强类型推断

通过函数重载明确不同输入类型对应的输出类型，让TypeScript更精准地处理类型匹配：

// 重载签名：明确输入输出的类型对应关系
function dummy(input: string): string;
function dummy(input: number): number;
// 实现签名
function dummy<T extends string | number>(input: T): T {
  let result: T

  if (typeof input === 'string') {
    result = 'foo' as T
  } else {
    result = 1 as T
  }

  // 错误检查、解析逻辑
  return result
}

方案3：临时变量存储中间结果

如果分支内逻辑复杂，可先用string | number类型的临时变量存储结果，最后统一断言为T：

function dummy<T extends string | number>(input: T): T {
  let tempResult: string | number;

  if (typeof input === 'string') {
    // 字符串分支的错误检查、解析逻辑
    tempResult = 'foo'
  } else {
    // 数字分支的错误检查、解析逻辑
    tempResult = 1
  }

  return tempResult as T
}

关键逻辑 #

这些方案的核心是：通过typeof类型守卫已经确认了输入类型，此时T必然是对应分支类型的子类型，因此断言赋值是安全的，不会出现类型不匹配的情况。

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