TypeScript泛型函数默认参数报错：'T'可实例化为非number任意类型

问题核心在于：你定义的mapNumber<T>的泛型参数T是由调用方决定的，而默认参数identity无法适配所有可能的T类型，这才是报错的根本原因，并非你对逆变规则的理解有误。

具体原因拆解 #

当你给mapfn设置默认值identity时，TypeScript需要验证这个默认值是否能满足(value: number) => T的类型要求。但T是mapNumber的泛型参数——调用者可以随意指定T的类型，比如：

// 调用时强制指定T为string
mapNumber<string>(5);

此时mapfn需要是(number) => string类型，但identity函数处理number输入时，返回的只能是number，根本无法产出string；反过来，如果强制让identity返回string，它的参数又只能接受string，无法适配number输入。

你提到的逆变是针对具体函数类型的赋值规则：比如(x: Animal) => void可以赋值给(x: Dog) => void（因为参数类型逆变，Animal是Dog的超类型）。但这里的场景是泛型函数的实例化，不是具体函数类型的赋值——identity是泛型函数，它的类型是<T>(x: T) => T，无法直接实例化为一个能适配任意T的(number) => T函数。

解决方法 #

有两种常见的修正方式：

1. 给T设置默认类型并添加类型断言

让T默认是number，同时给identity加类型断言，告诉TypeScript默认情况下identity会被实例化为(number) => number，匹配默认的T：

function identity<T>(x: T) {
  return x;
}

function mapNumber<T = number>(value: number, mapfn: (value: number) => T = identity as (value: number) => T) {
  return mapfn(value);
}

// 调用示例
mapNumber(5); // 返回number，正常
mapNumber(5, n => n.toString()); // 返回string，正常

2. 使用函数重载更安全

通过重载明确两种场景：不传回调时返回number，传回调时返回对应T类型，避免类型断言：

function identity<T>(x: T) {
  return x;
}

// 重载签名：不传mapfn时返回number
function mapNumber(value: number): number;
// 重载签名：传mapfn时返回T
function mapNumber<T>(value: number, mapfn: (value: number) => T): T;
// 实现函数
function mapNumber<T = number>(value: number, mapfn?: (value: number) => T) {
  return (mapfn ?? identity)(value);
}

这样TypeScript能准确推断不同调用场景的返回类型，同时默认行为符合预期。

内容的提问来源于stack exchange，提问作者Adam B.