TypeScript简记（二）

TypeScript数组类型

TypeScrip数组类型即：声明变量为数组。

数值数组、字符串数组等（number[], string[]）是泛型数组Array<string>,Array<string>的简写。

定义数组的方法：

 

 数组方法：

• every()：检测数组元素的每个元素是否都符合条件
• some()：检测数组元素中是否有元素符合指定条件
• concat()：练成两个或更多的数组，并返回结果
• filter()：检测数组元素，并返回符合条件所有元素的数组
• foeEach()：数组每个元素都执行一次回调函数
• indexOf()：搜索数组中的元素，并返回它所在的位置
• join()：把数组的所有元素放入一个字符串
• lastIndexOf()：返回一个指定的字符串值最后出现的位置，在一个字符串中的指定位置从后向前搜索
• map()：通过指定函数处理数组的每个元素，并返回处理后的数组
• pop()：删除数组的最后一个元素并返回删除的元素
• push()：向数组的末尾添加一个或更多元素，并返回新的长度
• reduce()：将数组元素计算为一个值（从左到右）
• reduceRight()：将数组元素计算为一个值（从右到做左）
• reverse()：反转数组的元素顺序
• slice()：选取数组的一部分，并返回一个新数组
• sort()：对数组的元素进行排序
• splice()：从数组中添加或删除元素
• toString()：把数组转为字符串，并返回结果
• unshift()：向数组的开头添加一个或多个元素，并返回新的长度

Tuple Types（元祖类型） 

 元祖类型是另一种特殊的数组类型，一般来说他可以存储不同类型的成语，想定了数组的长度及每个成员的类型。（普通数组也可以通过指定联合类型的类型参数，从而存放不同类型的成员）。元祖的成员是可以被修改，可以调用一系列的数组方法。

ReadonlyArray 只读数组 

只读数组是TS提供的一种特殊的数组，它的任何成员都不能被修改。

特点

• 无法进行增删改等操作，push、pop等修改自身的方法都无法使用。
• 可以使用不修改自身的数组方法。例如使用slice方法，放回一个普通的数组。
• 代表一种类型，无法当做构造函数使用，不能使用new操作符。
• 在声明一个只读数组类型的变量时需指定类型参数，只读数组里只能存放该类型的值。
• 只读数组类型的变量本身可以接受普通数组的赋值。
• 普通数组不能接收只读数组的赋值。

 联合/交叉类型

联合类型：联合类型表示取值可以为多种类型中的一种，使用 | 分割每个类型。约束取值：

 以上1 | 2，true | false，‘click’ | 'scroll' | 'mousemove'被称为字面量类型，分别为数字、布尔、字符串字面量类型，可以用来约束取值，只能是其中几个值中的一个。

交叉类型：交叉类型是将多个类型合并为一个类型，使用&定义交叉类型。可以将多个接口类型合并成一个类型，实现等同于接口与继承，如： 

类型保护和类型守卫

类型保护是一种TypeScript技术，用于获取变量类型信息，通常使用在条件块语句中。类型保护具有唯一的属性，可以确保测试的值是根据返回的布尔值设置的类型。

联合类型+类型保护=自动类型推断

有五种主要的方式来使用类型保护：

• instanceof关键字
• typeof关键字
• in关键字
• 等式收缩是保护器
• 带有谓词的自定义类型保护 

类型守卫：定义一个函数，他返回值是一个类型谓词，生效范围为子作用域。

 高级类型

索引类型：

• 关键字【keyof】：其相当于取值对象中的所有key组成的字符串字面量，如：
• 关键字【in】：其相当于取值字符串字面量中的一种可能，配合反省p，即表示每个key。
• 关键字【？】：通过设定对象可选选项，即可自动推出子集类型。

函数返回值类型：

• 关键字【extends】跟随泛型出现时，表示类型推断，其表达式可类比三元表达式，如T === 判断？类型A：类型B
• 关键字【infer】：出现在类型推荐中，表示定义类型变量，可以用于指代类型。