8.泛型

目录

1  基本使用

2  多个泛型

3  泛型约束

3.1  数组

3.2  extends约束

3.3  用泛型约束泛型

4  泛型接口

5  ts中的数组用的就是泛型

6  泛型类

7  常用泛型工具类型

7.1  让所有属性变为可选属性 Partial

7.2  将所有属性都变为只读属性 Readonly

7.3  从指定类型中提取若干个组成新类型 Pick

7.4  构造一个对象规则，一个参数是键名，第二个参数是值类型 Record

---

1  基本使用

我现在想定义一个函数规则，函数只有一个参数，规则是给参数什么类型的值，就返回什么类型的数据。这个时候直接将参数与返回值都置为any是约束不住的

这个时候我们可以使用泛型，使用泛型之后，像上面那样的函数你就定义不出来了。因为你用String就铁定是字符串类型了，但是泛型要求是活类型

• <>内是泛型的名称，我这里使用something做名称，名称可自定

如果没报错就说明输入和输出是同一个类型

在使用的时候你可以选择不对泛型进行约束

不约束就相当于ts根据你给的参数进行类型推断

也可以对给泛型一个具体的类型

2  多个泛型

3  泛型约束

3.1  数组

像下面这样描述数组应该是个例，我试过改成个对象就不行了，而且你的数组中没法加内容，也无法指定数组中各元素的类型

我们想在想传入一个数组，但是默认情况下不让你使用length这个属性

那就只能给something约束为有length属性，比如数组

不一定所有的泛型都要带约束，我下面这个函数表示输入是一个数组，但输出不一定是一个数组

3.2  extends约束

我们更好理解的是extends，比如我下面让something属于 number或object或string

由于你使用了 或，还是有可能没有length属性

这个时候你可以继承一个数组

也可以继承一个有length属性的东西，比如自定义一个接口

3.3  用泛型约束泛型

比如我现在搞一个获取属性的方法，我约束something2必须为something1的键

我怕们上面没有对something1进行约束，所以你可以用其他的类型，比如数字型，数字型本身也是个对象，你可以用数字型中的属性

如果是可遍历的东西就把key当索引用

4  泛型接口

接口也可以使用泛型，比如我让接口Person上有泛型something，然后someone被Person约束，指定泛型类型为string

5  ts中的数组用的就是泛型

如果你的数组中都是数值，它就会提示你number

如果你的数组中都是字符串，它就会提示你string

按住ctrl然后点击forEach可以看到源码，在源码中使用的是名称为T的泛型

6  泛型类

泛型可以应用在类中的每一个变量

比如属性

比如方法

7  常用泛型工具类型

7.1  让所有属性变为可选属性 Partial

我现在用something规则约束对象a，此时对象a 必须 要拥有 something 的全部属性

我们对 规则something 进行 Partial 修饰 得到 规则something1。something1会把something中的规则都变为可选规则（相当于都加了一个问号），这样再创建对象a的时候就不必须有something的全部属性

7.2  将所有属性都变为只读属性 Readonly

先看不加Readonly的情况，不加Readonly所有的属性都是非只读属性，你可以对任何的属性进行修改

加了Readonly后，所有属性变为只读属性，这样就改不了了

7.3  从指定类型中提取若干个组成新类型 Pick

定义规则something，从something中提取id与title组成新属性something1。以something1为规则的实例对象只需要有id和title两个属性就行

7.4  构造一个对象规则，一个参数是键名，第二个参数是值类型 Record

我现在创造一个对象规则something，something的键名有 id name title。这三个键的属性需要是数字或字符串

如果你 id name title 每个都不一样，建议你搞个interface一个一个写上