首页 > 其他分享 >四、ts高级类型

四、ts高级类型

时间:2023-10-14 15:47:23浏览次数:39  
标签:ts 接口 高级 泛型 类型 class 属性

四、ts高级类型

今天也是一个小透明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

  keyof   最后编辑于 :2022.05.06 22:59:15 ©著作权归作者所有,转载或内容合作请联系作者

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

相关文章

  • TS第二个参数类型是根据第一个参数类型
    interfaceperson{name:stringid:numbersex:boolean}func1<Textendskeyofperson,Kextendsperson>(a:T,b:K[T]){}简化一下func1<Textendskeyofperson>(a:T,b:person[T]){}调用方法changeNa......
  • [JavaScript]arguments对象
    当我们不确定有多少个参数传递的时候,可以使用arguments来获取。在JavaScript中,arguments实际上是充当函数的内置对象。所有函数都内置了一个arguments对象,arguments对象中存储了传递的所有实参。arguments展示形式是一个伪数组,可以进行遍历。伪数组具有以下特点:1.......
  • javaSE基础06(final,常用类,基本数据类型的封装)
    Final关键字(用法:类不想被人继承 ):修饰类:最终的类,不可以被继承 比如String;修饰方法:方法不可以被重写;修饰属性:不可以被重新赋值,但是可以改变变量里的内容;publicclassStudent{Stringname;publicstaticvoidmain(String[]args){finalS......
  • Java零基础入门-基本类型转换、包装类、自动装箱、自动拆箱
    前言在Java编程中,经常需要进行基本类型之间的转换以及包装类与基本类型之间的转换。本文将介绍Java中基本类型转换、包装类、自动装箱与自动拆箱的概念和用法。摘要本文将介绍Java中的基本类型转换、包装类、自动装箱与自动拆箱的概念和应用。首先,我们将讨论基本类型转换的概念......
  • InputStream类的read()方法返回的int值是如何计算的
    InputStream类有一个read()方法,它的返回类型是int。InputStream类本身是抽象类,它的一些子类的read()方法每次读取一个字节,也就是8个二进制位。比如读到如下二进制数据:111111111以上二进制数据如果按照byte类型来转换,是负数-1。而read()方法会把它先变成32位的二进制数据:000000000......
  • Python 集合(Sets)3
    Python-合并集合在Python中,有几种方法可以合并两个或多个集合。您可以使用union()方法,该方法返回一个包含两个集合中所有项的新集合,或使用update()方法,将一个集合中的所有项插入另一个集合中:示例,union()方法返回一个包含两个集合中所有项的新集合:set1={"a","b","c"}se......
  • ES集群节点类型
    4 ES集群节点类型es集群中节点类型介绍ClusterStateMasterDataCoordinating4.1ClusterStateClusterState:集群相关的数据称为clusterstate;会存储在每个节点中,主要有如下信息:节点信息,比如节点名称、节点连接地址等索引信息,比如索引名称、索引配置信息等4.2MasterES集......
  • 潍坊一中 2023 秋提高级友好学校赛前联测 1 T3
    Mystia的居酒屋题目背景小麻雀Mystia开了一间居酒屋,每天清晨她都要跨过门前的河流去收集食材。题目描述Mystia想搭一座跨过河的桥,来方便她取得食材。河是一条无限长的宽度为\(W\)的直线,所有在坐标系中符合\(0≤y≤W\)的点都属于这条河流。河面上有\(N\)个木桩,附......
  • Educational Codeforces Round 96 (Rated for Div. 2) A. Number of Apartments
    有三种建筑:三室厅、五室厅、七室厅。每个房间严格有一扇窗户。现在有\(n\)扇窗户,询问完全用完这些窗户的情况下,\(3,5,7\)室厅各有多少间。输出任意一种答案,或者回答不可能。假设一定有解,显然可以选择\(mod\)任意一个数贪心,不妨选最小的\(3\)。假设答案为\(a,b,c\):......
  • [转]go语言函数装饰器,接口类型变量反射赋值
     转:原文:https://juejin.cn/post/7115343063119036453------------------------ 函数装饰做基础组件经常需要用到函数修饰,例如我需要对所有被装饰方法里打印start、end。已知函数签名的装饰我们经常用的函数装饰器一般都是知道被装饰的方法的签名,然后返回一个同签名的方......