TS快速入门-数据类型

01. Boolean

最基本的数据类型就是简单的true/false值，在JavaScript和TypeScript里叫做boolean（其它语言中也一样）。

let isTrue: boolean = false;

02. Number

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

let num: number = 8;  // 十进制
let num1: number = 0b1010;  // 二进制
let num2: number = 0o12; // 八进制
let num3: number = 0xa; // 十六进制

03. String

JavaScript程序的另一项基本操作是处理网页或服务器端的文本数据。 像其它语言里一样，我们使用 string表示文本数据类型。 和JavaScript一样，可以使用双引号（ "）或单引号（'）表示字符串。

let name: string = 'wenqing';

还可以使用模版字符串，它可以定义多行文本和内嵌表达式。 这种字符串是被反引号包围（ `），并且以${ }这种形式嵌入表达式

let name: string = 'wenqing';
let sayHi: string = `hi, my name is ${ name }`;

04. Array

TypeScript像JavaScript一样可以操作数组元素。 有两种方式可以定义数组。

第一种，可以在元素类型后面接上 []，表示由此类型元素组成的一个数组：

let indexList: number[] = [0, 1, 2, 3];

第二种方式是使用数组泛型，Array<元素类型>：

let indexList: Array<number> = [0, 1, 2, 3];

05. Tuple

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

// 声明元组
let people: [ string, number ];
// 初始化正确
people = [ 'wenqing', 22 ];
// 初始化错误
people = [ 22, 'wenqing' ];

当访问一个已知索引的元素，会得到其正确的类型：

console.log(people[0].toUpperCase()); // WENQING
console.log(people[1].toUpperCase()); // 类型“number”上不存在属性“toUpperCase”。

当访问一个越界的元素，会使用联合类型替代：

people[2] = 'key';  // 正确 字符串可以赋值给(string | number)类型
console.log(people[3].toString());  // 正确 'string' 和 'number' 都有 toString方法
people[4] = true; // 错误  布尔类型不能赋值给(string | number)类型

06. Enum

枚举类型 enum 是对JavaScript标准数据类型的一个补充。 像C#等其它语言一样，使用枚举类型可以为一组数值赋予友好的名字。

enum Color {Red, Green, Blue};
let colorNum: Color = Color.Green;
console.log(colorNum);  // 1

默认情况下，从0开始为元素编号。 也可以手动的指定成员的数值。 例如，我们将上面的例子改成从 1开始编号：

enum Color {Red = 1, Green, Blue};
let colorNum: Color = Color.Green;
console.log(colorNum);  // 2

或者，全部都采用手动赋值：

enum Color {Red = 1, Green = 3, Blue = 5};
let colorNum: Color = Color.Green;  
console.log(colorNum);  // 3

枚举类型提供的一个便利就是可以由枚举的值得到它的名字。 例如，我们知道数值为3，但是不确定它映射到Color里的哪个名字，我们可以查找相应的名字：

enum Color {Red = 1, Green, Blue};
let colorName: string = Color[3];
console.log(colorName);  // Blue

07. Any

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

let notSure: any = 10;
notSure = "maybe a string instead";  // √
notSure = false; // √
notSure = [1, 2, 3]  // √

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

let notSure: any = 10.555;
console.log(notSure.toFixed(2));  // 10.56

let notSure1: Object = 10.555;
console.log(notSure1.toFixed(2));  // 类型“Object”上不存在属性“toFixed”。

当只知道一部分数据的类型时，any类型也是有用的。 比如，有一个数组，它包含了不同的类型的数据：

let arr: any[] = ['wenqing', true, 23];
console.log(arr[1]);  // true

08. Void

某种程度上来说，void 类型像是与 any 类型相反，它表示没有任何类型。 当一个函数没有返回值时，通常会见到其返回值类型是 void：

function warnMsg(): void {
    console.log("这是一个错误消息");
}

声明一个void类型的变量没有什么大用，因为只能为它赋予undefined和null：

let noType: void = undefined;
let noType1: void = 1;  // 不能将类型“number”分配给类型“void”。

09. Null 和 Undefined

TypeScript里，undefined和null两者各自有自己的类型分别叫做undefined和null。 和 void相似，它们的本身的类型用处不是很大：

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

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

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

// 未启用 --strictNullChecks
let num: number = null;  // 正确
let num1: string = undefined;  // 正确

// 启用 --strictNullChecks
let num: number = null;  // 错误
let num1: string = undefined;  // 错误

strictNullChecks标记的启用是在tsconfig.json文件里进行配置。

{
  "compilerOptions": { //编译选项,可以被忽略，这时编译器会使用默认值
      "strictNullChecks": true, //在严格的null检查模式下，null和undefined值不包含在任何类型里，只允许赋值给void和本身对应的类型。
  }
}

10. Never

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

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

// 返回never的函数必须存在无法达到的终点
function error(message: string): never {
    throw new Error(message);
}

11. Object

object表示非原始类型，也就是除number，string，boolean，symbol，null和undefined之外的类型。

使用object类型，就可以更好的表示像Object.create这样的API。例如：

// 声明一个函数
declare function create(params: object | null): void;

create({ p: 0 }); // OK
create(null); // OK

create(42); // 类型“number”的参数不能赋给类型“object”的参数。
create("string"); // 类型“string”的参数不能赋给类型“object”的参数。
create(false); // 类型“boolean”的参数不能赋给类型“object”的参数。
create(undefined); //类型“undefined”的参数不能赋给类型“object | null”的参数。

12. Union Types

联合类型（Union Types）表示取值可以为多种类型中的一种，使用竖线( | )分割。
例如： 定义一个可以得到一个数字或字符串值长度的函数

function getLenth(params: number | string): number {
    return params.toString().length;
}

console.log(getLenth(888));  // 3
console.log(getLenth('wenqingKey'));  // 10

类型断言

通过类型断言这种方式可以告诉编译器，“相信我，我知道自己在干什么”。 类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构。 它没有运行时的影响，只是在编译阶段起作用。 TypeScript会假设你已经进行了必须的检查。

类型断言有两种形式。 其一是“尖括号”语法：

let someValue: any = "this is a string";

let strLength: number = (<string>someValue).length;

另一个为as语法：

let someValue: any = "this is a string";

let strLength: number = (someValue as string).length;

两种形式是等价的。 至于使用哪个大多数情况下是凭个人喜好；当在TypeScript里使用JSX时，只有 as 语法断言是被允许的。

类型推断

类型推断: TS会在没有明确的指定类型的时候推测出一个类型

有下面2种情况:

1. 定义变量时赋值了, 推断为对应的类型
2. 定义变量时没有赋值, 推断为any类型

// 定义变量时赋值了, 推断为对应的类型
let num = 100;  // 推断为 number 类型
num = 'wenqing';  // 不能将类型“string”分配给类型“number”。

// 定义变量时没有赋值, 推断为any类型
let p;
p = 100;  // 正确
p = 'wenqing';  // 正确