为何在TypeScript中使用泛型作为返回值时会报错？

报错原因 #

这段代码的泛型T约束为object | any[]，但TypeScript会根据传入的实际参数将T解析为更具体的子类型。比如调用fn时传入string[]，T就会被推断为string[]。而foo.map(item => item)返回的是宽泛的any[]，any[]无法赋值给string[]这类更精确的数组类型，因此触发类型不兼容的报错。

简单说：T是约束的具体子类型，不是约束本身，any[]只能满足约束，但不一定匹配T的实际类型。

解决方法 #

方法一：类型断言明确返回类型

直接告诉TypeScript，map返回的数组就是T类型：

const fn = <T extends (object | any[])>(foo: T): T => {
  if(Array.isArray(foo)){
    return foo.map(item => item) as T
  } else {
    return foo
  }
}

方法二：匹配原数组类型

利用typeof foo让返回值和输入数组类型完全一致：

const fn = <T extends object | any[]>(foo: T): T => {
  if(Array.isArray(foo)){
    return foo.map(item => item) as typeof foo
  } else {
    return foo
  }
}

方法三：更精确的泛型处理

拆分判断逻辑，让泛型适配更多场景：

function fn<T>(foo: T): T {
  if(Array.isArray(foo)){
    return foo.map(item => item) as T
  } else if (typeof foo === 'object' && foo !== null) {
    return foo
  }
  return foo
}

补充说明 #

当传入readonly string[]这类特殊数组类型时，map返回的是普通string[]，和原类型不兼容，这也是报错的潜在场景。类型断言在这里是安全的，因为已经通过Array.isArray确认输入是数组，且map操作未改变元素类型，结构和原数组一致。

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