泛型
添加类型约束(使用keyof,作用获取后面这个类型中所有键的集合)根据实际情况使用,仅供参考。
- 泛型的类型变量可以有多个,并且类型变量之间还可以约束(比如,第二个类型变量受第一个类型变量约束)
- 比如,创建一个函数来获取对象中的属性值:
- 第二个参数必须是第一个参数中有的属性
- 第一个参数不一定非得是对象,也可以是数字,第二个参数就是第一个参数可以访问到的方法
- 填写第二个参数时,会有提示
- 字符串类型
-
- 第一个参数不管是字符串还是数组,第二个参数如果是number类型(代表的就是下标)
- 第一个参数不管是字符串还是数组,第二个参数如果是number类型(代表的就是下标)
- 错误演示
- 解释:
- 添加了第二个类型变量 Key,两个类型变量之间使用 (,) 逗号分隔。
- keyof 关键字接收一个对象类型,生成其键名称 (可能是字符串或数字)的联合类型。
- 本示例中 keyof Type 实际上获取的是 person 对象所有键的联合类型,也就是:'name | age'
- 类型变量 Key 受 Type 约束,可以理解为: Key只能是 Type 所有键中的任意一个,或者说只能访问对象中存在的属性。
泛型接口
- 泛型接口:接口也可以配合泛型来使用,以增加其灵活性,增强其复用性
- 解释
-
- 在接口名称的后面添加<类型变量>,那么,这个接口就变成了泛型接口。
-
- 接口的类型变量,对接口中所有其他成员可见,也就是接口中所有成员都可以使用类型变量
-
- 使用泛型接口时,需要显式指定具体的类型 (比如,此处的ldFunc< nunber>)
-
- 此时,id方法的参数和返回值类型都是number;ids 方法的返回值类型是number[l]。
- 创建泛型接口(对象类型)
- 使用泛型接口,需要显式指定具体的类型 (比如,此处的ldFunc< nunber>)
- 这里如果不写制定参数类型,会提示你需要填写一个类型参数
- 创建泛型接口(数组类型)实际上,JS中的数组在TS 中就是一个泛型接口
- 数组中字符串为值时
-
- 会显示item类型是字符串(string)
- 会显示item类型是字符串(string)
- 数组中数字为值时
-
- 会显示item类型是数字(number)
- 会显示item类型是数字(number)
- 解释:当我们在使用数组时,T5 会根据数组的不同类型,来自动将类型变量设置为相应的类型
- 技巧:可以通过Ctrl+ 鼠标左键 (Mac:option+鼠标左键)来查看具体的类型信息
泛型类 class也可以配合泛型来使用
- 比如,React的 class 组件的基类Component 就是泛型类,不同的组件有不同的 props 和 state。
- 解释: React.Component泛型类中有两个类型变量,分别指定 props和 state 类型。
- 创建泛型类
- 解释:
-
- 类似于泛型接口,在 class 名称后面添加<类型变量>,这个类就变成了泛型类。
-
- 此处的add 方法,采用的是箭头函数形式的类型书写方式。
- 此处的add 方法,采用的是箭头函数形式的类型书写方式。
- 类似于泛型接口,在创建class 实例时,在类名后面通过<类型>来指定明确的类型
- 这种情况下可不写<变量类型>
泛型工具类型:TS内置了一些常用的工具类型,来简化TS 中的一些常见操作。
- 说明:它们都是基于泛型实现的(泛型适用于多种类型,更加通用),并且是内置的,可以直接在代码中使用。这些工具类型有很多,主要学习以下几个:
- Partial< Type > 用来构造 (创建)一个类型,将 Type 的所有属性设置为可选
解释:构造出来的新类型 PartialProps 结构和 Props 相同,但所有属性都变为可选的。
-
- 使用
- 使用
- Readonly< Type > 用来构造一个类型,将 Type 的所有属性都设置为 readonly (只读)
-
- 解释:构造出来的新类型ReadonlyProps结构和 Props 相同,但所有属性都变为只读的。
- 解释:构造出来的新类型ReadonlyProps结构和 Props 相同,但所有属性都变为只读的。
-
- 当我们想重新给id 属性赋值时,就会报错:无法分配到“id",因为它是只读属性
- Pick<Type, Keys> 从 Type 中选择一组属性来构造新类型。
- 解释:
-
- Pick 工具类型有两个类型变量:1.表示选择谁的属性2.表示选择哪几个属性
-
- 其中第二个类型变量,如果只选择一个则只传入该属性名即可。
-
- 第二个类型变量传入的属性只能是第一个类型变量中存在的属性。
-
- 构造出来的新类型 PickProps,只有id 和title 两个属性类型
- Record<Keys, Type> 构造一个对象类型,属性键为 Keys,属性类型为 Type
-
- 解释:
-
- Record 工具类型有两个类型变量:1表示对象有哪些属性2 表示对象属性的类型
-
- 构建的新对象类型 Recordobi表示: 这个对象有三个属性分别为a/b/c,属性值的类型都是stringl。