四、ts高级类型

标签：ts 接口高级泛型类型 class 属性

今天也是一个小透明IP属地: 青海 0.1032022.03.07 22:50:41字数 2,354阅读 2,398

主要：class类、类型兼容性、交叉类型、泛型和keyof、索引签名类型和索引查询类型、映射类型

1、class类

ts全面支持es6的class关键字，并为其添加了类型注解和其他语法（如：可见性修饰符等）

ts中的class不仅提供了class的语法功能，也作为一种类型存在

class

~实例初始化：声明成员+类型注解，声明成员+赋值（设置初始值）

~类的构造函数不需要返回值类型，需要为构造函数指定类型注解，否则会被隐式推断为any。成员初始化后才可以通过this访问实例成员

~类中方法的类型注解（参数和返回值）与函数用法相同

1.1、继承

（1）extends（继承父类）（2）implements（实现接口）

~通过extends关键字实现继承，子类具有父类和子类所有的的属性和方法

extends

~通过implements（实现接口）关键字让class实现接口

~F类实现接口E意味着，F类中必须提供E接口中指定的所有方法和属性

implements

1.2、类成员可见性

可以使用ts来控制class方法或属性对于class外的代码是否可见

可见性修饰符包括：1 public（公开的）2 protected（受保护的）3 private（私有的）

public：默认的可见性，来修饰该属性或方法是共有的，可以省略

protected：受保护的，仅对其声明所在的类和子类中（非实例对象）可见（在子类方法内部可以通过this访问父类中受保护的成员，但是对实例不可见）

private：私有的，只在当前类中可见，对实例对象、子类均不可见

可见性修饰符

1.3、只读修饰符：readonly

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

readonly

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

接口使用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交叉类型和接口继承对比：

相同点：类型的组合

不同点：同名属性之间，处理类型冲突方式不同

extends

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属性，此时就需要为泛型添加类型约束（缩窄类型取值范围）

类型约束（1）

类型约束（2）

a、泛型的类型变量可以有多个，并且类型变量之间还可以约束（比如：第二个类型变量受第一个类型变量约束）

解释：

添加了第二个类型变量key，两个类型变量之间使用（,）逗号分隔

keyof关键字接受一个对象类型，生成其键名称（可能是字符串或数字）的联合类型

类型变量key受type约束，可以理解为：key只能是type所有键中的任意一个，或者说只能访问对象中存在的属性

类型变量之间的约束

b、泛型接口：接口也可以配合使用

接口名称后面添加<类型变量>，那么这个接口就变成了泛型接口

泛型接口

使用泛型接口时要显式指定具体的类型

类型变量对接口中所有的成员可见，都可以使用类型变量

c、泛型数组

js中的数组是个接口

d、泛型类

class也可以配合泛型来使用

泛型类

泛型类（省略类型）

e、泛型工具类型

ts内置了一些常用的工具类型，用来简化ts中的一些常见操作，可直接使用

（1）Partial<Type>用来构造（创建）一个类型，将Type的所有属性设置为可选

Partial

（2）Readonly<Type>用来构建一个类型，将Type所有属性都设置为readonly

Readonly

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

Pick

ps：只能获取props中存在的属性

（4）Record<Keys,Type>构造一个对象类型，属性键为Keys，属性类型为Type

Record

4.4、索引签名类型

绝大多数情况下，我们可以在使用对象前就确定对象的结构，并为对象添加准确的类型

使用场景：当无法确定对象中有哪些属性（或者说对象中可以出现任意多个属性），此时，就用到索引签名类型。

（js中对象属性类型是string）

索引签名类型

key无其他含义，可以是任意合法的变量名称

数组是一类特殊的对象，特殊在数组中的键是数值类型

并且数组中可以出现任意多个元素，所以在对应的泛型接口中，也用到了索引签名类型。

数组

4.5、映射类型

基于旧类型创建新类型（对象类型），减少重复，提升开发效率

映射类型

g该语法类似于索引签名类型，也使用了[]

key in sskeys表示key可以是sskeys中的任意一个，类似于for in

映射类型只能在类型别名（type）中使用，不能在接口（interface）中使用

（1）keyof

标签：ts,接口,高级,泛型,类型,class,属性
From： https://www.cnblogs.com/sexintercourse/p/17900861.html

四、ts高级类型