基础类型

布尔值

let isDone: boolean = false

数字

let n: number = 6

字符串

let name: string = 'water'

数组

let arr: number[] = [1, 2, 3]
let arr: Array<number> = [1, 2, 3]

元组

let x: [string, number]
x = ['water', 20]

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

x[3] = 'world' // OK, 字符串可以赋值给(string | number)类型

console.log(x[5].toString()) // OK, 'string' 和 'number' 都有 toString

x[6] = true // Error, 布尔不是(string | number)类型

枚举

enum Color {
  Red,
  Green,
  Blue,
}
let c: Color = Color.Green
// 可手动改变值
enum Color {
  Red = 1,
  Green,
  Blue,
}
enum Color {
  Red = 1,
  Green = 3,
  Blue = 4,
}
// 枚举值和key可以相互映射

Any

// 可以定义为任何值，失去类型意义
let notSure: any = 4
// 数组包含不同类型的数据
let list: any[] = [1, true, 'free']

Void

// 表示没有任何返回值
function warnUser(): void {
  console.log('This is my warning message')
}
// void类型的变量可以被赋予undefined/null

Null 和 Undefined

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

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

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

Never

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

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

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

// 推断的返回值类型为never
function fail() {
  return error('Something failed')
}

// 返回never的函数必须存在无法达到的终点
function infiniteLoop(): never {
  while (true) {}
}

Object

declare function create(o: object | null): void

create({ prop: 0 }) // OK
create(null) // OK

create(42) // Error
create('string') // Error
create(false) // Error
create(undefined) // Error

类型断言

// 尖括号语法
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语法断言是被允许的。

??

空值合并运算符，如果左边是 null 或者 undefined，就返回右边的值

?.

可选链，表示后面的值可能有也可能没有

!.

强调这个值一定存在

!:

name!:string 强调某一个属性一定存在