四、ts高级类型
四、ts高级类型
四、ts高级类型

主要:class类、类型兼容性、交叉类型、泛型和keyof、索引签名类型和索引查询类型、映射类型
1、class类
ts全面支持es6的class关键字,并为其添加了类型注解和其他语法(如:可见性修饰符等)
ts中的class不仅提供了class的语法功能,也作为一种类型存在

~实例初始化:声明成员+类型注解,声明成员+赋值(设置初始值)
~类的构造函数不需要返回值类型,需要为构造函数指定类型注解,否则会被隐式推断为any。成员初始化后才可以通过this访问实例成员
~类中方法的类型注解(参数和返回值)与函数用法相同
1.1、继承
(1)extends(继承父类)(2)implements(实现接口)
~通过extends关键字实现继承,子类具有父类和子类所有的的属性和方法

~通过implements(实现接口)关键字让class实现接口
~F类实现接口E意味着,F类中必须提供E接口中指定的所有方法和属性

1.2、类成员可见性
可以使用ts来控制class方法或属性对于class外的代码是否可见
可见性修饰符包括:1 public(公开的)2 protected(受保护的)3 private(私有的)
public:默认的可见性,来修饰该属性或方法是共有的,可以省略
protected:受保护的,仅对其声明所在的类和子类中(非实例对象)可见(在子类方法内部可以通过this访问父类中受保护的成员,但是对实例不可见)
private:私有的,只在当前类中可见,对实例对象、子类均不可见

1.3、只读修饰符:readonly
readonly表示只读,用来防止在构造函数之外对属性进行赋值。使用readonly只能修饰属性不能修饰方法

在使用readonly修饰的属性,要添加类型注解(提供明确属性)(例如:如果上图不指定x的类型number,则x的类型为1)。接口或者{}表示的对象类型,也可以使用readonly。


1.4、类型兼容性
两种类型系统:1 structural system(结构化类型系统) 2 Nominal Type system(标明类型系统)
ts采用的是结构化类型系统,也叫做duck typing(鸭子类型),类型检查关注的是值所具有的的形状。
==如果两个对象具有相同的形状,则认为它们属于同一类型。

~两个不同名称的类;标注为A,作为B的实例也不会报错,因为ts是结构化类型系统,只检查A、B结构是否相同
如果在标明类型系统(Java、c#等)中,他们是不同的类,类型无法兼容
成员多的可以赋值给少的
2、其他类型兼容性
ts其他类型相互兼容情况:1 接口兼容性;2 函数兼容性
~接口之间的兼容性类似于class。class与interface之间也可以兼容

~函数之间的兼容性比较复杂,因素:1 参数个数;2 参数类型;3 返回值类型
(1)参数个数,参数多的兼容参数少的(参数少的可以赋值给参数多的)

js中省略用不到的函数参数,所以促成了ts中函数类型之间的兼容性
(2)参数类型,相同位置的参数类型要相同(原始类型)或兼容(对象类型)

*此处与前面的接口兼容性冲突
~技巧:将对象拆开,把每一个属性看做一个个参数,则:参数少的可以赋值给参数多的
(3)返回值类型
只需要关注返回值本身
~如果返回值类型是原始类型,两个类型要相同
~如果返回值类型是对象,成员多的可以赋值给成员少的

3、交叉类型
&符:类似于接口继承,用于组合多个类型为一个类型(常用于对象类型)

j交叉类型和接口继承对比:
相同点:类型的组合
不同点:同名属性之间,处理类型冲突方式不同


4、泛型
泛型可以在保证类型安全前提,让函数等 与多种类型一起工作,从而实现复用。
常用于:函数、接口、class
4.1、函数

(1)语法:函数名称后面添加<>(尖括号),尖括号中添加类型变量
(2)类型变量Type,是一种特殊类型的变量,它处理类型而不是值
(3)该类型变量相当于一个类型容器,能够捕获到用户提供的类型(具体类型由用户调用时指定)
(4)因为Type是类型,因此可以将其作为函数参数和返回值的类型,表示参数和返回值具有相同的类型
(5)类型变量Type,可以是任意合法的变量名称
可以让函数以多种不同类型一起工作,实现复用(多种类型)的同时保证了类型安全
调用函数时用户指定具体类型
4.2、简化调用泛型函数
a、在调用泛型函数时,可以省略<类型>来简化泛型函数的调用
b、ts会用类型参数判断的机制,来根据传入的实参自动推断出变量Type的类型,比如上图,传入1自动推断出number类型作为Type的类型
~可以使代码更短、易于阅读
~当编辑器无法推断或推断不准确,就需要显式的传入
4.3、泛型约束
默认情况下,泛型函数的类型变量Type可以代表多个类型,这导致无法访问任何属性。

解释:Type可以代表任意类型,无法保证一定存在length属性,此时就需要为泛型添加类型约束(缩窄类型取值范围)


a、泛型的类型变量可以有多个,并且类型变量之间还可以约束(比如:第二个类型变量受第一个类型变量约束)
解释:
添加了第二个类型变量key,两个类型变量之间使用(,)逗号分隔
keyof关键字接受一个对象类型,生成其键名称(可能是字符串或数字)的联合类型
类型变量key受type约束,可以理解为:key只能是type所有键中的任意一个,或者说只能访问对象中存在的属性

b、泛型接口:接口也可以配合使用
接口名称后面添加<类型变量>,那么这个接口就变成了泛型接口

使用泛型接口时要显式指定具体的类型
类型变量对接口中所有的成员可见,都可以使用类型变量
c、泛型数组
js中的数组是个接口
d、泛型类
class也可以配合泛型来使用


e、泛型工具类型
ts内置了一些常用的工具类型,用来简化ts中的一些常见操作,可直接使用
(1)Partial<Type>用来构造(创建)一个类型,将Type的所有属性设置为可选

(2)Readonly<Type>用来构建一个类型,将Type所有属性都设置为readonly

(3)Pick<Type,Keys>从Type中选择一组属性来构造新类型

ps:只能获取props中存在的属性
(4)Record<Keys,Type>构造一个对象类型,属性键为Keys,属性类型为Type

4.4、索引签名类型
绝大多数情况下,我们可以在使用对象前就确定对象的结构,并为对象添加准确的类型
使用场景:当无法确定对象中有哪些属性(或者说对象中可以出现任意多个属性),此时,就用到索引签名类型。
(js中对象属性类型是string)

key无其他含义,可以是任意合法的变量名称
数组是一类特殊的对象,特殊在数组中的键是数值类型
并且数组中可以出现任意多个元素,所以在对应的泛型接口中,也用到了索引签名类型。

4.5、映射类型
基于旧类型创建新类型(对象类型),减少重复,提升开发效率

g该语法类似于索引签名类型,也使用了[]
key in sskeys表示key可以是sskeys中的任意一个,类似于for in
映射类型只能在类型别名(type)中使用,不能在接口(interface)中使用
(1)keyof
