TypeScript泛型函数报K可实例化为约束不同子类型错误怎么解决？

• 泛型的类型参数由调用方指定，而非函数实现方定义。你给K添加extends number约束，只是限制调用方传入的K必须是number的子类型，但K的具体类型完全由调用时决定，不是实现时返回一个普通number就能覆盖所有可能的K类型。
• 举个实际的冲突场景：调用方可以手动指定泛型为someFunc<'test', 2>('test')，按照函数声明，此时返回值类型应该是数字字面量2，但你实际返回的是1，类型明显不匹配，这就是TS报错的核心逻辑。
• 你给K设置的默认值any不符合extends number的约束，反而会带来额外的类型混乱。

根据你的实际使用场景选择对应方案即可：

场景1：函数固定返回number类型，不需要调用方自定义返回子类型 #

这也是符合你预期的最常用场景，直接去掉没必要的返回值泛型K即可：

const func = <T extends string>(arg: T): number => {
  return 1;
};

const anotherFunc = <T extends string>(arg: T): number => {
  return 1;
};

function someFunc<T extends string>(arg: T): number {
  return 1;
}

场景2：确实需要调用方指定返回的number子类型 #

给返回值添加类型断言，明确告诉TS你会保证返回值符合调用方传入的K类型，同时修正K的默认值为符合约束的number：

const func: <T extends string, K extends number = number>(arg: T) => K = () => {
  return 1 as K;
};

const anotherFunc = <T extends string, K extends number = number>(arg: T): K => {
  return 1 as K;
};

function someFunc<T extends string, K extends number = number>(arg: T): K {
  return 1 as K;
}

注意该场景下你需要自行保证返回值和调用方指定的K类型匹配，否则会存在类型安全隐患。

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