四、ts高级类型
![](https://upload.jianshu.io/users/upload_avatars/8832326/cdba23f2-681c-498b-960d-afbbd3503e39.jpg?imageMogr2/auto-orient/strip|imageView2/1/w/96/h/96/format/webp)
主要:class类、类型兼容性、交叉类型、泛型和keyof、索引签名类型和索引查询类型、映射类型
1、class类
ts全面支持es6的class关键字,并为其添加了类型注解和其他语法(如:可见性修饰符等)
ts中的class不仅提供了class的语法功能,也作为一种类型存在
![](https://upload-images.jianshu.io/upload_images/8832326-eba324cd662693b5.png?imageMogr2/auto-orient/strip|imageView2/2/w/508/format/webp)
~实例初始化:声明成员+类型注解,声明成员+赋值(设置初始值)
~类的构造函数不需要返回值类型,需要为构造函数指定类型注解,否则会被隐式推断为any。成员初始化后才可以通过this访问实例成员
~类中方法的类型注解(参数和返回值)与函数用法相同
1.1、继承
(1)extends(继承父类)(2)implements(实现接口)
~通过extends关键字实现继承,子类具有父类和子类所有的的属性和方法
![](https://upload-images.jianshu.io/upload_images/8832326-6be77b7f78db5e18.png?imageMogr2/auto-orient/strip|imageView2/2/w/942/format/webp)
~通过implements(实现接口)关键字让class实现接口
~F类实现接口E意味着,F类中必须提供E接口中指定的所有方法和属性
![](https://upload-images.jianshu.io/upload_images/8832326-0c27c8c351ac5808.png?imageMogr2/auto-orient/strip|imageView2/2/w/664/format/webp)
1.2、类成员可见性
可以使用ts来控制class方法或属性对于class外的代码是否可见
可见性修饰符包括:1 public(公开的)2 protected(受保护的)3 private(私有的)
public:默认的可见性,来修饰该属性或方法是共有的,可以省略
protected:受保护的,仅对其声明所在的类和子类中(非实例对象)可见(在子类方法内部可以通过this访问父类中受保护的成员,但是对实例不可见)
private:私有的,只在当前类中可见,对实例对象、子类均不可见
![](https://upload-images.jianshu.io/upload_images/8832326-caa7e927d33b25b0.png?imageMogr2/auto-orient/strip|imageView2/2/w/1200/format/webp)
1.3、只读修饰符:readonly
readonly表示只读,用来防止在构造函数之外对属性进行赋值。使用readonly只能修饰属性不能修饰方法
![](https://upload-images.jianshu.io/upload_images/8832326-dd063c75bf02f376.png?imageMogr2/auto-orient/strip|imageView2/2/w/640/format/webp)
在使用readonly修饰的属性,要添加类型注解(提供明确属性)(例如:如果上图不指定x的类型number,则x的类型为1)。接口或者{}表示的对象类型,也可以使用readonly。
![](https://upload-images.jianshu.io/upload_images/8832326-e59c1459920a7f76.png?imageMogr2/auto-orient/strip|imageView2/2/w/824/format/webp)
![](https://upload-images.jianshu.io/upload_images/8832326-c05422fea78f03bc.png?imageMogr2/auto-orient/strip|imageView2/2/w/804/format/webp)
1.4、类型兼容性
两种类型系统:1 structural system(结构化类型系统) 2 Nominal Type system(标明类型系统)
ts采用的是结构化类型系统,也叫做duck typing(鸭子类型),类型检查关注的是值所具有的的形状。
==如果两个对象具有相同的形状,则认为它们属于同一类型。
![](https://upload-images.jianshu.io/upload_images/8832326-1b68d782142a14f1.png?imageMogr2/auto-orient/strip|imageView2/2/w/610/format/webp)
~两个不同名称的类;标注为A,作为B的实例也不会报错,因为ts是结构化类型系统,只检查A、B结构是否相同
如果在标明类型系统(Java、c#等)中,他们是不同的类,类型无法兼容
成员多的可以赋值给少的
2、其他类型兼容性
ts其他类型相互兼容情况:1 接口兼容性;2 函数兼容性
~接口之间的兼容性类似于class。class与interface之间也可以兼容
![](https://upload-images.jianshu.io/upload_images/8832326-412a26b901501a85.png?imageMogr2/auto-orient/strip|imageView2/2/w/458/format/webp)
~函数之间的兼容性比较复杂,因素:1 参数个数;2 参数类型;3 返回值类型
(1)参数个数,参数多的兼容参数少的(参数少的可以赋值给参数多的)
![](https://upload-images.jianshu.io/upload_images/8832326-17b000d19f3496a3.png?imageMogr2/auto-orient/strip|imageView2/2/w/628/format/webp)
js中省略用不到的函数参数,所以促成了ts中函数类型之间的兼容性
(2)参数类型,相同位置的参数类型要相同(原始类型)或兼容(对象类型)
![](https://upload-images.jianshu.io/upload_images/8832326-b218d52be633322d.png?imageMogr2/auto-orient/strip|imageView2/2/w/812/format/webp)
*此处与前面的接口兼容性冲突
~技巧:将对象拆开,把每一个属性看做一个个参数,则:参数少的可以赋值给参数多的
(3)返回值类型
只需要关注返回值本身
~如果返回值类型是原始类型,两个类型要相同
~如果返回值类型是对象,成员多的可以赋值给成员少的
![](https://upload-images.jianshu.io/upload_images/8832326-7cf7e1db80d563ce.png?imageMogr2/auto-orient/strip|imageView2/2/w/814/format/webp)
3、交叉类型
&符:类似于接口继承,用于组合多个类型为一个类型(常用于对象类型)
![](https://upload-images.jianshu.io/upload_images/8832326-194a2ef6ff71f81c.png?imageMogr2/auto-orient/strip|imageView2/2/w/394/format/webp)
j交叉类型和接口继承对比:
相同点:类型的组合
不同点:同名属性之间,处理类型冲突方式不同
![](https://upload-images.jianshu.io/upload_images/8832326-344f1447d7f12949.png?imageMogr2/auto-orient/strip|imageView2/2/w/1200/format/webp)
![](https://upload-images.jianshu.io/upload_images/8832326-9ab32f803f1a08e6.png?imageMogr2/auto-orient/strip|imageView2/2/w/680/format/webp)
4、泛型
泛型可以在保证类型安全前提,让函数等 与多种类型一起工作,从而实现复用。
常用于:函数、接口、class
4.1、函数
![](https://upload-images.jianshu.io/upload_images/8832326-253e3860da0e1390.png?imageMogr2/auto-orient/strip|imageView2/2/w/712/format/webp)
(1)语法:函数名称后面添加<>(尖括号),尖括号中添加类型变量
(2)类型变量Type,是一种特殊类型的变量,它处理类型而不是值
(3)该类型变量相当于一个类型容器,能够捕获到用户提供的类型(具体类型由用户调用时指定)
(4)因为Type是类型,因此可以将其作为函数参数和返回值的类型,表示参数和返回值具有相同的类型
(5)类型变量Type,可以是任意合法的变量名称
可以让函数以多种不同类型一起工作,实现复用(多种类型)的同时保证了类型安全
调用函数时用户指定具体类型
4.2、简化调用泛型函数
a、在调用泛型函数时,可以省略<类型>来简化泛型函数的调用
b、ts会用类型参数判断的机制,来根据传入的实参自动推断出变量Type的类型,比如上图,传入1自动推断出number类型作为Type的类型
~可以使代码更短、易于阅读
~当编辑器无法推断或推断不准确,就需要显式的传入
4.3、泛型约束
默认情况下,泛型函数的类型变量Type可以代表多个类型,这导致无法访问任何属性。
![](https://upload-images.jianshu.io/upload_images/8832326-70fc472c160ca53c.png?imageMogr2/auto-orient/strip|imageView2/2/w/966/format/webp)
解释:Type可以代表任意类型,无法保证一定存在length属性,此时就需要为泛型添加类型约束(缩窄类型取值范围)
![](https://upload-images.jianshu.io/upload_images/8832326-ffcfc49000c2f4d6.png?imageMogr2/auto-orient/strip|imageView2/2/w/646/format/webp)
![](https://upload-images.jianshu.io/upload_images/8832326-30683b5184fd2cbe.png?imageMogr2/auto-orient/strip|imageView2/2/w/780/format/webp)
a、泛型的类型变量可以有多个,并且类型变量之间还可以约束(比如:第二个类型变量受第一个类型变量约束)
解释:
添加了第二个类型变量key,两个类型变量之间使用(,)逗号分隔
keyof关键字接受一个对象类型,生成其键名称(可能是字符串或数字)的联合类型
类型变量key受type约束,可以理解为:key只能是type所有键中的任意一个,或者说只能访问对象中存在的属性
![](https://upload-images.jianshu.io/upload_images/8832326-26ff27773ed0969f.png?imageMogr2/auto-orient/strip|imageView2/2/w/1036/format/webp)
b、泛型接口:接口也可以配合使用
接口名称后面添加<类型变量>,那么这个接口就变成了泛型接口
![](https://upload-images.jianshu.io/upload_images/8832326-bcbf1b76e284c9dd.png?imageMogr2/auto-orient/strip|imageView2/2/w/468/format/webp)
使用泛型接口时要显式指定具体的类型
类型变量对接口中所有的成员可见,都可以使用类型变量
c、泛型数组
js中的数组是个接口
d、泛型类
class也可以配合泛型来使用
![](https://upload-images.jianshu.io/upload_images/8832326-e359a29b82ae1157.png?imageMogr2/auto-orient/strip|imageView2/2/w/768/format/webp)
![](https://upload-images.jianshu.io/upload_images/8832326-338ed8a57720ad9d.png?imageMogr2/auto-orient/strip|imageView2/2/w/730/format/webp)
e、泛型工具类型
ts内置了一些常用的工具类型,用来简化ts中的一些常见操作,可直接使用
(1)Partial<Type>用来构造(创建)一个类型,将Type的所有属性设置为可选
![](https://upload-images.jianshu.io/upload_images/8832326-57d111966321878c.png?imageMogr2/auto-orient/strip|imageView2/2/w/578/format/webp)
(2)Readonly<Type>用来构建一个类型,将Type所有属性都设置为readonly
![](https://upload-images.jianshu.io/upload_images/8832326-444aa0f16312e86c.png?imageMogr2/auto-orient/strip|imageView2/2/w/806/format/webp)
(3)Pick<Type,Keys>从Type中选择一组属性来构造新类型
![](https://upload-images.jianshu.io/upload_images/8832326-6248a02e2a0c5bcf.png?imageMogr2/auto-orient/strip|imageView2/2/w/724/format/webp)
ps:只能获取props中存在的属性
(4)Record<Keys,Type>构造一个对象类型,属性键为Keys,属性类型为Type
![](https://upload-images.jianshu.io/upload_images/8832326-5f55290a399a105f.png?imageMogr2/auto-orient/strip|imageView2/2/w/708/format/webp)
4.4、索引签名类型
绝大多数情况下,我们可以在使用对象前就确定对象的结构,并为对象添加准确的类型
使用场景:当无法确定对象中有哪些属性(或者说对象中可以出现任意多个属性),此时,就用到索引签名类型。
(js中对象属性类型是string)
![](https://upload-images.jianshu.io/upload_images/8832326-30bae652547031c8.png?imageMogr2/auto-orient/strip|imageView2/2/w/408/format/webp)
key无其他含义,可以是任意合法的变量名称
数组是一类特殊的对象,特殊在数组中的键是数值类型
并且数组中可以出现任意多个元素,所以在对应的泛型接口中,也用到了索引签名类型。
![](https://upload-images.jianshu.io/upload_images/8832326-8618313e61a7ec9f.png?imageMogr2/auto-orient/strip|imageView2/2/w/492/format/webp)
4.5、映射类型
基于旧类型创建新类型(对象类型),减少重复,提升开发效率
![](https://upload-images.jianshu.io/upload_images/8832326-70abc80329368b26.png?imageMogr2/auto-orient/strip|imageView2/2/w/630/format/webp)
g该语法类似于索引签名类型,也使用了[]
key in sskeys表示key可以是sskeys中的任意一个,类似于for in
映射类型只能在类型别名(type)中使用,不能在接口(interface)中使用
(1)keyof
![](https://upload-images.jianshu.io/upload_images/8832326-88cba8f31f1df286.png?imageMogr2/auto-orient/strip|imageView2/2/w/704/format/webp)