TS泛型工具类和类型推导

TS泛型工具类其实有很多，比如经常使用的Array就是其中一个，比如Array<T=number>或者Array<T=string>，我们可以定义Array的元素类型。包括Map<K:T,V:T>也是，我们可以为Map设置键和值的类型。

我们一般常见的类型推导是这样的：

const a = "wonderland"; // 我们没有给 a 声明类型， a 被推导为 string
a.toFixed(); // Property 'toFixed' does not exist on type 'string'.
a.includes("1"); // ok

需要注意的是，类型推导是仅仅在初始化的时候进行推导，如下是无法正确推导的：

let a = "wonderland"; // 我们没有给 a 声明类型， a 被推导为string
a.toFixed(); // Property 'toFixed' does not exist on type 'string'.
a.includes("1"); // ok
a = 1;
a.toFixed(); // 依然报错， a 不会被推导 为 number

而泛型也支持类型推导，以上面的hi 函数为例：

function hi<T>(arg: T): T {
  return arg;
}
hi<string>("wonderland"); // 这是ok的，也是最完整的写法
hi("wonderland"); // 基于类型推导，我们可以这样简写

TS泛型和函数的默认参数一样，可以有默认。

例如某个泛型接口：

interface wonderland<T = string>{
    rabbit:T;
}

该接口创建的时候如果没有传T，则使用该接口时，T默认等于string。

再例如已知的Array类：

let a：Array = [“1”]//只有当Array的T默认为string时这样的写法是对的，所以它是错的。

TS泛型的类型约束

使用extends关键字可以做到这点，例如

interface Sizeable {
  size: number;
}
function trace<T extends Sizeable>(arg: T):T{
   console.log(arg.size);
    return arg;
}