JavaScript的数据类型

JavaScript的数据类型包括6种基本类型：undefined、null、布尔值、数字、字符串以及ES6新增的Symbol，还有1种复杂类型：object。由于TypeScript提供了可选的静态类型声明（即在变量后跟一个冒号和类型声明），因此同样的变量声明，在TypeScript中将更能传播代码的意图，并且在编译时还能验证代码的正确性。在下面的代码中，声明了6种类型（不包括Symbol），并且引入了ES6新增的二进制、八进制和模板字面量。

let isDone: boolean = false;

let decimal: number = 10;　　　　　　 //十进制
let hex: number = 0xa;　　　　　　　　//十六进制
let binary: number = 0b1010;　　　　 //二进制
let octal: number = 0o12;　　　　　　//八进制

let name: string = "strick";
let template: string = `my name is ${name}`;    //模板字面量

let u: undefined = undefined;
let n: null = null;

let obj: object = {};

1）任意值

　　当变量声明为任意值（any类型）时，它在编译阶段会跨过类型检查，并且能被赋为任意类型的值，还允许访问任意属性、调用任意方法。在下面的示例中，虽然能编译通过，但是在使用时却会抛出错误，因为字符串类型的变量没有toFixed()方法。

let data: any = 10.5;
data = "strick";
data.toFixed();    //错误

　　注意，没有显式声明类型的变量，默认都是any类型的。

2）空值

　　在JavaScript中，没有空值（void类型）的概念。TypeScript中的void不表示任意类型，与any类型相悖。当一个函数没有返回值时，通常会将其返回值的类型声明成void，如下所示。

function send(): void { }

　　如果声明一个void类型的变量，那么它的值只能是undefined或null，如下所示。

let u: void = undefined;
let n: void = null;

3）Never

　　never类型表示那些永不存在的值的类型，例如包含死循环不会有返回值的函数或抛出错误的函数，如下所示。

function loop(): never {
  while (true) {}
}
function error(message: string): never {
  throw new Error(message);
}

　　注意，当一个函数没有返回值时，它返回一个void类型；而当函数被意外中断时，它返回一个never类型。

　　由于never类型是所有类型的子类型，因此可被赋给任意类型。但是除了其自身之外，其它类型（包括any）都不能赋给它，如下所示。

let none: never;
let digit: number = none;        //正确
let figure: never = 10;          //错误

4）数组

　　在TypeScript中，有两种常见的数组声明方式。第一种通过类型和方括号组合来表示数组，第二种是使用数组泛型，如下所示。

let arr1: number[] = [1, 2, 3];
let arr2: Array<number> = [1, 2, 3];

　　在指定了元素类型之后，就不能添加其它类型的元素，例如为数组的push()方法传入一个字符串数字，如下所示，在编译时会报错。

arr1.push("4");

　　如果数组需要包含各种类型的元素，那么可以将其声明成any类型，如下所示。

let arr3: any[] = [1, "2", true];

5）元组

　　在TypeScript中，元组（Tuple）会合并不同类型的值，例如定义一对string和number两种类型的元组，如下所示。

let list: [string, number];

　　当为元组赋值时，需要指定相应类型的元素，即先传字符串，后传数字，下面代码的第二次赋值没有按照这个顺序，因此在编译时将报错。

list = ["strick", 10];        //正确
list = [10, "strick"];        //错误

　　也可以通过索引为元组添加元素，但也要遵守类型限制，如下所示。

list[0] = "strick";
list[1] = 10;

　　当添加越界的元素时，只要该元素是元组的联合类型（既可以是字符串，也可以是数字），就能编译成功，如下所示。

list.push(10);            //正确
list.push(true);          //错误

　　在编译第二条语句时，会报“Argument of type 'true' is not assignable to parameter of type 'string | number'.”的错误。