4.3　TypeScript基础数据类型

TypeScript支持数据类型声明，TypeScript编译器在代码编写过程中会帮助开发者检查类型或者语法错误，TypeScript支持与JavaScript几乎相同的数据类型，此外还提供了实用的枚举、元组等类型方便开发者使用。

1．布尔值

最基本的数据类型为布尔型，其值为true/false，在JavaScript和TypeScript里叫作boolean（其他语言中也一样），布尔类型的定义如代码示例4-1所示。

代码示例4-1

2．数字

和JavaScript一样，TypeScript里的所有数字都是浮点数。这些浮点数的类型是number。除了支持十进制和十六进制字面量外，TypeScript还支持ECMAScript 2015中引入的二进制和八进制字面量，如代码示例4-2所示。

代码示例4-2

3．字符串

JavaScript程序的另一项基本操作是处理网页或服务器端的文本数据。像其他语言一样，使用string表示文本数据类型。和JavaScript一样，可以使用双引号（＂）或单引号（'）表示字符串，如代码示例4-3所示。

代码示例4-3

还可以使用模板字符串，它可以定义多行文本和内嵌表达式。这种字符串是被反引号包围“`”的，并且以${expr}这种形式嵌入表达式，如代码示例4-4所示。

代码示例4-4

这与下面定义sentence的方式效果相同，如代码示例4-5所示。

代码示例4-5

4．数组

TypeScript像JavaScript一样可以操作数组元素。有两种方式可以定义数组。第1种方式，可以在元素类型后面接上［］，表示由此类型元素组成的一个数组，如代码示例4-6所示。

代码示例4-6

第2种方式是使用数组泛型，Array<元素类型>，如代码示例4-7所示。

代码示例4-7

5．元组tuple

元组类型允许表示一个已知元素数量和类型的数组，各元素的类型不必相同。例如，可以定义一对值分别为string和number类型的元组，如代码示例4-8所示。

代码示例4-8

当访问一个已知索引的元素时会得到正确的类型，如代码示例4-9所示。

代码示例4-9

当访问一个越界的元素时会使用联合类型替代，如代码示例4-10所示。

代码示例4-10

6．枚举

enum类型是对JavaScript标准数据类型的一个补充。像C#等其他语言一样，使用枚举类型可以为一组数值赋予友好的名字，如代码示例4-11所示。

代码示例4-11

默认情况下，从0开始为元素编号。也可以手动地指定成员的数值。例如，将上面的例子改成从1开始编号，如代码示例4-12所示。

代码示例4-12

或者，全部采用手动赋值，如代码示例4-13所示。

代码示例4-13

枚举类型提供的一个便利是可以由枚举的值得到它的名字。例如，已经知道数值为2，但是不确定它映射到Color里的哪个名字，此时可以查找相应的名字，如代码示例4-14所示。

代码示例4-14

7．any

有时需要为那些在编程阶段还不清楚类型的变量指定一种类型。这些值可能来自于动态的内容，例如来自用户输入或第三方代码库。这种情况下，不希望类型检查器对这些值进行检查而是直接让它们通过编译阶段的检查，此时可以使用any类型来标记这些变量，如代码示例4-15所示。

代码示例4-15

在对现有代码进行改写时，any类型是十分有用的，它允许在编译时可选择性地包含或移除类型检查。可能会认为Object有相似的作用，就像它在其他语言中那样。但是Object类型的变量只允许给它赋任意值，而不能够在它上面调用任意的方法，即便它真的有这些方法，如代码示例4-16所示。

代码示例4-16

当只知道一部分数据的类型时，any类型也是有用的。例如，有一个数组，它包含了不同类型的数据，如代码示例4-17所示。

代码示例4-17

8．void

某种程度上来讲，void类型像是与any类型相反，它表示没有任何类型。当一个函数没有返回值时，通常会见到其返回值的类型是void，如代码示例4-18所示。

代码示例4-18

声明一个void类型的变量没有什么大用，因为只能为它赋予undefined和null，如代码示例4-19所示。

代码示例4-19

9．null和undefined

在TypeScript里，undefined和null两者各自有自己的类型，分别叫作undefined和null。和void相似，它们本身的类型用处不是很大，如代码示例4-20所示。

代码示例4-20

默认情况下null和undefined是所有类型的子类型。就是说可以把null和undefined赋值给number类型的变量。

当指定了--strictNullChecks标记时，null和undefined只能赋值给void和它们自身。这能避免很多常见的问题。想传入一个string、null或undefined，可以使用联合类型string|null|undefined。

注意： 应尽可能地使用--strictNullChecks，但在本手册里假设这个标记是关闭的。

10．never

never类型表示的是那些永不存在的值的类型。例如，never类型是那些总会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型；变量也可能是never类型，即当它们被永不为真的类型保护所约束时。

never类型是任何类型的子类型，也可以赋值给任何类型，然而，没有类型是never的子类型或可以赋值给never类型（除了never本身之外）。即使any也不可以赋值给never。

下面是一些返回never类型的函数，如代码示例4-21所示。

代码示例4-21 XjWXI1QhJF3MW7JzLFqAk70mUCV5P20qWMqarqZ5fQt0AMKiOly+5xX8QkRjYtB6