为什么带有联合字符串 | 数字的 TypeScript 泛型约束会出错

如何解决为什么带有联合字符串 | 数字的 TypeScript 泛型约束会出错

如果 T 是字符串，则连接两个字符串。

如果 T 是数字，则将两个数字相加。

为什么 TSC 会出现这个错误？

const sum = <T extends string | number>(a: T,b: T): T=> {
  return a + b; // error in here
};

错误：运算符“+”不能应用于类型“T”和“T”。ts(2365)

注意：a 和 b 必须是完全相同的类型。例如

const sum = <T extends number[] | string>(a: T,b: T): number => {
  return a.length + b.length;
};

sum("mustafa","mustafa");
sum([1,2,3],[1,3]);
sum("mustafa",3]); // error1
sum( [1,'mustafa'); // error2

error1：“number[]”类型的参数不能分配给“mustafa”类型的参数。ts(2345)

error2：“number[]”类型的参数不可分配给“mustafa”类型的参数。ts(2345)