-
基础类型：https://m.runoob.com/manual/gitbook/TypeScript/_book/doc/handbook/Basic Types.html
-
高级类型：https://m.runoob.com/manual/gitbook/TypeScript/_book/doc/handbook/Advanced Types.html
-
TypeScript 的 基础类型，包括：boolean、number、string、数组、Tuple（元组）、enum（枚举）、any、void、null、undefined、类型断言。
-
TypeScript 的 高级类型，包括：联合类型、用户自定义的类型保护、typeof类型保护、instanceof类型保护、交叉类型、类型别名、字符串字面量、多态的this。
-
2种方式定义数组：
- 在元素类型后面接上
[]
let list: number[] = [1, 2, 3]; - 使用数组泛型，
Array<元素类型>：
let list: Array<number> = [1, 2, 3];
- 元组（Tuple）：
元组类型表示一个已知元素数量和类型的数组，各元素的类型不必相同。 比如，你可以定义一对值分别为string和number类型的元组。
// Declare a tuple type
let x: [string, number];
// Initialize it
x = ['hello', 10]; // OK
- enum类型是对JavaScript标准数据类型的一个补充。
enum Color {Red, Green, Blue};
let c: Color = Color.Green;
-
void：
void类型的变量，只能为它赋予undefined和null -
null 和 undefined
默认情况下null和undefined是所有类型的子类型。 就是说你可以把null和undefined赋值给number类型的变量。
然而，当你指定了--strictNullChecks标记，null和undefined只能赋值给void和它们各自。 这能避免很多常见的问题。 也许在某处你想传入一个string或null或undefined，你可以使用联合类型string | null | undefined。 -
类型断言
类型断言 告诉编译器，“就要用我指定的类型”。
类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构。 它没有运行时的影响，只是在编译阶段起作用。 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语法断言。
-
联合类型
联合类型表示一个值可以是几种类型之一。 用竖线（|）分隔每个类型，所以number | string | boolean表示一个值可以是number，string，或boolean。
如果一个值是联合类型，我们只能访问此联合类型的所有类型里共有的成员。 -
用户自定义的类型保护
通过 类型保护，我们只要检查一次类型，就能够在后面的每个分支里清楚变量的类型。
类型保护就是一些表达式，它们会在运行时检查以确保在某个作用域里的类型。 要定义一个类型保护，我们只要简单地定义一个函数，它的返回值是一个类型断言：
function isFish(pet: Fish | Bird): pet is Fish {
return (<Fish>pet).swim !== undefined;
}
在这个例子里，pet is Fish就是类型断言。 一个断言是parameterName is Type这种形式，parameterName必须是来自于当前函数签名里的一个参数名。
-
typeof类型保护
typeof类型保护，只有2种形式能被识别：typeof v === "typename"和typeof v !== "typename"，"typename"必须是"number"，"string"，"boolean"或"symbol"。
但是TypeScript并不会阻止你与其它字符串比较，或者将它们位置对换，且语言不会把它们识别为类型保护。 -
instanceof类型保护
instanceof类型保护是通过其构造函数来细化其类型。
举例：Dog instanceof Animal -
交叉类型
例如Person & Serializable & Loggable，同时是Person和Serializable和Loggable。 -
类型别名
类型别名，会给一个类型起个新名字。 类型别名有时和接口很像，但是可以作用于原始值，联合类型，元组以及其它任何手写的类型。 -
字符串字面量类型
字符串字面量类型，允许你指定字符串必须的固定值。 在实际应用中，字符串字面量类型可以与联合类型，类型保护和类型别名很好的配合。 通过结合使用这些特性，你可以实现类似枚举类型的字符串。
type Easing = "ease-in" | "ease-out" | "ease-in-out";
字符串字面量类型，还可以用于区分函数重载。 -
多态的this类型
多态的this类型，表示的是某个包含类或接口的子类型。 这被称做F-bounded多态性。 它能很容易的表现连贯接口间的继承。