介绍

为了让程序有价值，我们需要能够处理最简单的数据单元：数字，字符串，结构体，布尔值等。 TypeScript支持与JavaScript几乎相同的数据类型，此外还提供了实用的枚举类型方便我们使用。

布尔值

  1. let isDone: boolean = false;

数字

  1. let decLiteral: number = 6;
  2. let hexLiteral: number = 0xf00d;
  3. let binaryLiteral: number = 0b1010;
  4. let octalLiteral: number = 0o744;

字符串

  1. let name: string = "bob";
  2. name = "smith";

数组

  1. let list: number[] = [1, 2, 3];
  2. // 第二种方式是使用数组泛型，Array<元素类型>：
  3. let list: Array<number> = [1, 2, 3];

元组 Tuple

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

  1. // Declare a tuple type
  2. let x: [string, number];
  3. // Initialize it
  4. x = ['hello', 10]; // OK
  5. // Initialize it incorrectly
  6. x = [10, 'hello']; // Error

枚举

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

  1. enum Color {Red, Green, Blue}
  2. let c: Color = Color.Green;

Any

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

  1. let notSure: any = 4;
  2. notSure = "maybe a string instead";
  3. notSure = false; // okay, definitely a boolean
  4. let list: any[] = [1, true, "free"];
  6. // Object类型的变量只是允许你给它赋任意值 - 但是却不能够在它上面调用任意的方法，即便它真的有这些方法：
  7. let notSure: any = 4;
  8. notSure.ifItExists(); // okay, ifItExists might exist at runtime
  9. notSure.toFixed(); // okay, toFixed exists (but the compiler doesn't check)
  11. let prettySure: Object = 4;
  12. prettySure.toFixed(); // Error: Property 'toFixed' doesn't exist on type 'Object'.

Void

  1. function warnUser(): void {
  2.     console.log("This is my warning message");
  3. }
  4. //声明一个void类型的变量没有什么大用，因为你只能为它赋予undefined和null：
  5. let unusable: void = undefined;

Null 和 Undefined
TypeScript里，undefined和null两者各自有自己的类型分别叫做undefined和null。 和void相似，它们的本身的类型用处不是很大：
经常用的地方就是联合类型 string | null | undefined

  1. // Not much else we can assign to these variables!
  2. let u: undefined = undefined;
  3. let n: null = null;

Never

never类型表示的是那些永不存在的值的类型。 例如，never类型是那些总是会抛出异常或根本就不会有返回值的函数表达式或箭头函数表达式的返回值类型； 变量也可能是never类型，当它们被永不为真的类型保护所约束时。
never类型是任何类型的子类型，也可以赋值给任何类型；然而，没有类型是never的子类型或可以赋值给never类型（除了never本身之外）。 即使any也不可以赋值给never。

Object

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

类型断言

通过类型断言这种方式可以告诉编译器，“相信我，我知道自己在干什么”。 类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构。 它没有运行时的影响，只是在编译阶段起作用。 TypeScript会假设你，程序员，已经进行了必须的检查。
两种形式是等价的。 至于使用哪个大多数情况下是凭个人喜好；然而，当你在TypeScript里使用JSX时，只有as语法断言是被允许的。

  1. let someValue: any = "this is a string";
  2. let strLength: number = (<string>someValue).length;
  3. // 另一个为as语法：
  4. let someValue: any = "this is a string";
  5. let strLength: number = (someValue as string).length;