typescript学习笔记（1）

1.简介、安装方式自行百度

2.基础类型

• 布尔值 boolean
• 数字 number
• 字符串 string
• 数组 type[]，例如第一种方式number[]，表示由数字组成的数组，第二种方式 Array<type> ，例如 Array<number>
• 元组 Tuple 。例如 [string,number].即用基础类型定义元素形成的数组
• 枚举 enum。 使用枚举类型可以为一组数值赋予友好的名字，例如

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

• 任意值 any
• 空值 void，表示没有任何类型，当函数没有返回值的时候，通常其返回值类型为void。声明一个void类型的变量只能赋值undefined和null
• Null和undefined各自为各自类型的唯一子类型，并且是其他所有类型的子类型。但是在 --strictNullChecks 模式时就只能赋值给void和自身
• 永不存在类型 never，never是任何类型的子类型，也可以赋值给任何类型，然而没有类型是never的子类型或者赋值给never类型（除开自身） ，即时是any也不行

  // 返回never的函数必须存在无法达到的终点
  function error(message: string): never {
      throw new Error(message);
  }
  
  // 推断的返回值类型为never
  function fail() {
      return error("Something failed");
  }
  
  // 返回never的函数必须存在无法达到的终点
  function infiniteLoop(): never {
      while (true) {
      }
  }

3.类型断言

有时候你会遇到这样的情况，你会比TypeScript更了解某个值的详细信息。 通常这会发生在你清楚地知道一个实体具有比它现有类型更确切的类型。

通过类型断言这种方式可以告诉编译器，“相信我，我知道自己在干什么”。 类型断言好比其它语言里的类型转换，但是不进行特殊的数据检查和解构。 它没有运行时的影响，只是在编译阶段起作用。 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语法断言是被允许的。