TypeScript中泛型

64 阅读4分钟

泛型

添加类型约束(使用keyof,作用获取后面这个类型中所有键的集合)根据实际情况使用,仅供参考。

  • 泛型的类型变量可以有多个,并且类型变量之间还可以约束(比如,第二个类型变量受第一个类型变量约束)
  • 比如,创建一个函数来获取对象中的属性值: image.png
  • 第二个参数必须是第一个参数中有的属性 image.png image.png
  • 第一个参数不一定非得是对象,也可以是数字,第二个参数就是第一个参数可以访问到的方法 image.png
  • 填写第二个参数时,会有提示 image.png
  • 字符串类型 image.png image.png
    • 第一个参数不管是字符串还是数组,第二个参数如果是number类型(代表的就是下标) image.png
  • 错误演示 image.png
  • 解释:
  1. 添加了第二个类型变量 Key,两个类型变量之间使用 (,) 逗号分隔。
  2. keyof 关键字接收一个对象类型,生成其键名称 (可能是字符串或数字)的联合类型。
  3. 本示例中 keyof Type 实际上获取的是 person 对象所有键的联合类型,也就是:'name | age'
  4. 类型变量 Key 受 Type 约束,可以理解为: Key只能是 Type 所有键中的任意一个,或者说只能访问对象中存在的属性。

泛型接口

  1. 泛型接口:接口也可以配合泛型来使用,以增加其灵活性,增强其复用性
  • 解释
    • 在接口名称的后面添加<类型变量>,那么,这个接口就变成了泛型接口。
    • 接口的类型变量,对接口中所有其他成员可见,也就是接口中所有成员都可以使用类型变量
    • 使用泛型接口时,需要显式指定具体的类型 (比如,此处的ldFunc< nunber>)
    • 此时,id方法的参数和返回值类型都是number;ids 方法的返回值类型是number[l]。
  1. 创建泛型接口(对象类型) image.png
  2. 使用泛型接口,需要显式指定具体的类型 (比如,此处的ldFunc< nunber>)
  • 这里如果不写制定参数类型,会提示你需要填写一个类型参数 image.png image.png
  1. 创建泛型接口(数组类型)实际上,JS中的数组在TS 中就是一个泛型接口
  • 数组中字符串为值时 image.png
    • 会显示item类型是字符串(string) image.png
  • 数组中数字为值时 image.png
    • 会显示item类型是数字(number) image.png
  • 解释:当我们在使用数组时,T5 会根据数组的不同类型,来自动将类型变量设置为相应的类型
  • 技巧:可以通过Ctrl+ 鼠标左键 (Mac:option+鼠标左键)来查看具体的类型信息

泛型类 class也可以配合泛型来使用

  • 比如,React的 class 组件的基类Component 就是泛型类,不同的组件有不同的 props 和 state。 image.png
  • 解释: React.Component泛型类中有两个类型变量,分别指定 props和 state 类型。
  1. 创建泛型类 image.png
  • 解释:
    • 类似于泛型接口,在 class 名称后面添加<类型变量>,这个类就变成了泛型类。
    • 此处的add 方法,采用的是箭头函数形式的类型书写方式。 image.png
  • 类似于泛型接口,在创建class 实例时,在类名后面通过<类型>来指定明确的类型
  • 这种情况下可不写<变量类型> image.png

泛型工具类型:TS内置了一些常用的工具类型,来简化TS 中的一些常见操作。

  • 说明:它们都是基于泛型实现的(泛型适用于多种类型,更加通用),并且是内置的,可以直接在代码中使用。这些工具类型有很多,主要学习以下几个:
  • Partial< Type > 用来构造 (创建)一个类型,将 Type 的所有属性设置为可选 image.png 解释:构造出来的新类型 PartialProps 结构和 Props 相同,但所有属性都变为可选的。
    • 使用 image.png
  • Readonly< Type > 用来构造一个类型,将 Type 的所有属性都设置为 readonly (只读) image.png
    • 解释:构造出来的新类型ReadonlyProps结构和 Props 相同,但所有属性都变为只读的。 image.png
    • 当我们想重新给id 属性赋值时,就会报错:无法分配到“id",因为它是只读属性
  • Pick<Type, Keys> 从 Type 中选择一组属性来构造新类型。 image.png
  • 解释:
    • Pick 工具类型有两个类型变量:1.表示选择谁的属性2.表示选择哪几个属性
    • 其中第二个类型变量,如果只选择一个则只传入该属性名即可。
    • 第二个类型变量传入的属性只能是第一个类型变量中存在的属性。
    • 构造出来的新类型 PickProps,只有id 和title 两个属性类型
  • Record<Keys, Type> 构造一个对象类型,属性键为 Keys,属性类型为 Type image.png
    • 解释:
    • Record 工具类型有两个类型变量:1表示对象有哪些属性2 表示对象属性的类型
    • 构建的新对象类型 Recordobi表示: 这个对象有三个属性分别为a/b/c,属性值的类型都是stringl。