TypeScript 基础知识

TypeScript 作为 JavaScript 语言的超集，它为 JavaScript 添加了可选择的类型标注，大大增强了代码的可读性和可维护性。同时，它提供最新和不断发展的 JavaScript 特性，能让我们建立更健壮的组件。

引用官网的定义

TypeScript 扩展了 JavaScript，为它添加了类型支持。

TypeScript 可以在您运行代码之前找到错误并提供修复，从而改善您的开发体验。

任何浏览器，任何操作系统，任何运行 JavaScript 的地方，完全开源。

用 TypeScript 编写的文件以 .ts 为后缀；用 TypeScript 编写 React 时，以 .tsx 为后缀。

数据类型

原始类型

TypeScript 提供了和 JavaScript 一样的原始类型

boolean 布尔类型

布尔类型就是简单的 true / false 值

let isFlag: boolean = true

string 字符串类型

let name: string = 'LY'
name = 'LionYie'

number 数字类型

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

let decLiteral: number = 20
let hexLiteral: number = 0x14
let binaryLiteral: number = 0b10100
let octalLiteral: number = 0o24

bigint

bigint 类型表示一个任意精度的整数，它可以用来处理超出 JavaScript number 类型范围的整数

let big: bigint = 19961996n

symbol

symbol 类型表示独一无二的值，其必须通过 Symbol 函数生成，常用于创建对象属性的唯一标识符

let sym: symbol = Symbol('LY')
sym = Symbol('LionYie') // OK
sym = 'LionYie' // Error

object

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

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

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

特殊类型

除以上被提到的一些原始类型外，在 TypeScript 中，还存在一些特殊的类型

• any 任意值
• void 空值
• null
• undefined

any 任意值

any 是一个特殊的类型，当一个值是 any 类型的时候，TypeScript 将不会对其进行类型检查

/* 你可以任意操作你的变量 TypeScript 不会抛出相关的提示 */
let value: any = 1
free = { name: 'LY' }
free.log()
free = 'LionYie'

注意点

无论是开发者指定或是由 TypeScript 隐式推断出的 any 类型，都会导致 TypeScript 失去准确的类型推断能力，这可能会导致遗漏一些运行时错误，违背了使用 TypeScript 的初衷

void 空值

JavaScript 没有空值（Void）的概念，在 TypeScript 中，可以用 void 表示没有任何返回值的函数

function sayHello(): void {
  console.log('Hello, world')
}

也可以定义一个 void 类型的变量，不过这样的变量并没有什么意义，因为你只能为它赋予 undefined 和 null

let value: void = undefined

null 和 undefined

在 TypeScript 中，可以使用 null 和 undefined 来定义这两个原始数据类型

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

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

当编译选项指定了 --strictNullChecks（开启严格空值检查模式）时，null 和 undefined 只允许赋值给自己或 any 类型的变量，这能避免很多常见的问题

unknown 未知类型

unknown 类型用于描述一个我们还不知道其类型的变量

就像所有类型都可以被归为 any，所有类型也都可以被归为 unknown。这使得 unknown 成为 TypeScript 类型系统的另一种顶级类型

let notSure: unknown = 4
notSure = 'maybe a string instead'
notSure = false // 也可以是个 boolean

unknown 和 any

相比于 any 类型不会对变量进行任何检查，对于 unknown 类型的变量在执行大多数操作时必须进行相应的检查，因此 unknown 类型相对更加严格

never

never 类型表示的是那些永不存在的值的类型，常用于一个从来不会有返回值的函数，或者一个总是会抛出错误的函数

// 不会有返回值
function infiniteLoop(): never {
  while (true) {}
}

// 总是会抛出错误的函数
function error(message: string): never {
  throw new Error(message)
}

never 类型仅能被赋值给另外一个 never 类型

类型推断与类型注解

• 类型注解：显式指定变量的类型
• 类型推断：由 TypeScript 根据上下文内容自动推断出变量类型

let name: string = 'LY'
let age = 18 // TypeScript 自动推断为 job: number

TIP

• 在为变量赋值明确的值时，建议尽量使用 类型注解 的方式
• 对于函数返回值，始终显示指明返回类型是个更好的习惯

数组

在 TypeScript 中，数组类型声明有 类型[] 以及泛型两种形式

通过类型 + 方括号定义数组类型：

// 只允许存储 string 类型
const strArray: string[] = ['1', '2', '3']
// 只允许存储 number 类型
const numArray: number[] = [1, 2, 3]
// 任意类型
const anyArray: any[] = ['LY', 18, {}]

通过泛型定义数组类型：

// 只允许存储 string 类型
const strArray: Array<string> = ['1', '2', '3']
// 只允许存储 number 类型
const numArray: Array<number> = [1, 2, 3]
// 任意类型
const anyArray: Array<any> = ['LY', 18, {}]

元组 Tuple

元组（Tuple）类型表示一个固定长度的数组，并且已知每项所对应的类型

当对元组类型的数据进行 越界访问 或 分配错误的类型值 时，TypeScript 将报错提示

const tuple: [string, number] = ['LY', 18]

console.log(tuple[2]) // Error
tuple[0] = 666 // Error

枚举类型 Enum

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

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

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

enum Color {
  Red = 1,
  Green,
  Blue
}
const c: Color = Color.Green

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

enum Color {
  Red = 1,
  Green = 2,
  Blue = 4
}
const c: Color = Color.Green

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

enum Color {
  Red = 1,
  Green,
  Blue
}
const colorName: string = Color[2]

console.log(colorName) // 'Green' 因为上面代码里它的值是 2

枚举总结

• 都没有初始值时，默认是从 0 开始自增
• 当第一个成员初始化赋值为 10 时，后面的成员从 10 开始增长
• 数字类型的枚举可以映射，字符串类型的枚举不可以映射
  • 当一个枚举都为数字类型时，被赋值的变量可以取超出枚举值的数值
  • 当一个枚举都为字符串类型时，被赋值的变量只能取枚举成员
• 如果第 n 个成员赋值为 string 类型时，则 n 只后的成员都需要初始化
• const 声明的枚举是常量枚举，会在编译后被移除
• 常量枚举会在编译时直接计算出结果，计算类型的枚举会在运行时计算出结果
• 不建议数字类型和字符串枚举混用

对象的类型 —— 接口

在 TypeScript 中，我们使用接口（Interfaces）来定义对象的类型。 接口是一种用于描述对象形状的方式，它可以定义一个对象需要具备哪些属性和方法（接口只是对类型做出了一些限制，并不会在代码中创建新的对象，即不会编译到 JavaScript 中）

interface Person {
  name: string
  age: number
}

const person: Person = {
  name: 'LY',
  age: 18
}

以上代码中，person 变量是 Person 类型的，因此它只能接受接口规定的属性，且属性值的类型也必须和接口中规定的一致，当多一个或少一个属性时 TypeScript 都会编译出错

interface Person {
  name: string
  age: number
}

// Error: 缺少属性 "age"
const person1: Person = {
  name: 'LY'
}
// Error: "gender" 不在类型 "Person" 中
const person2: Person = {
  name: 'LionYie',
  age: 18,
  gender: 'male'
}

可选属性

当我们希望不要完全匹配一个形状时，可以使用问号（?）来标记一个接口属性为可选的（意味着这个属性可以不存在）

interface Person {
  name: string
  age?: number
}

const person: Person = {
  name: 'LY'
}

这时仍然不允许添加未定义的属性

interface Person {
  name: string
  age?: number
}

// Error: "gender" 不在类型 "Person" 中
const person: Person = {
  name: 'LionYie',
  age: 18,
  gender: 'male'
}

任意属性

当我们希望一个接口允许有任意的属性时，可以使用如下方式：

interface Person {
  name: string
  age?: number
  [propName: string]: any
}

const person: Person = {
  name: 'LY',
  gender: 'male'
}

使用 [propName: string] 定义了任意属性取 string 类型的值

注意点：一旦定义了任意属性，那么确定属性和可选属性的类型都必须是它的类型的子集：

interface Person {
  name: string
  age?: number
  [propName: string]: string
}

// Error: 属性 "age" 与索引签名不兼容，不能将类型 "number" 分配给类型 "string"
const person: Person = {
  name: 'LionYie',
  age: 18,
  gender: 'male'
}

一个接口中只能定义一个任意属性。如果接口中有多个类型的属性，则可以在任意属性中使用联合类型：

interface Person {
  name: string
  age?: number
  [propName: string]: string | number
}

const person: Person = {
  name: 'LionYie',
  age: 18,
  gender: 'male'
}

只读属性

有时候我们希望对象中的一些字段只能在创建的时候被赋值，那么可以用 readonly 定义只读属性：

interface Person {
  readonly id: number
  name: string
  age?: number
  [propName: string]: any
}

const person: Person = {
  id: 1,
  name: 'LionYie',
  age: 18,
  gender: 'male'
}

// Error: 无法为 "id" 赋值，因为它是只读属性
person.id = 1996

只读的约束存在于第一次给对象赋值的时候，而不是第一次给只读属性赋值的时候：

interface Person {
  readonly id: number
  name: string
  age?: number
  [propName: string]: any
}

// Error: 缺少属性 "id"
const person: Person = {
  name: 'LionYie',
  age: 18,
  gender: 'male'
}

// Error: 无法为 "id" 赋值，因为它是只读属性
person.id = 1996

类型别名

类型别名使用 type 关键字定义，它可以给现有的类型起一个新的名字。其主要用于定义一些复杂的类型：如联合类型、交叉类型等

type ID = number

type Person = {
  name: string
  age: number
}

字面量类型

字面量类型是一种特殊的类型，表示一个固定的值

字符串字面量类型：

type Name = 'LY' | 'LY1997'

数字字面量类型：

type Age = 18 | 19 | 20

布尔字面量类型：

type IsLoggedIn = true

使用字面量类型可以在编译时进行更严格的类型检查，避免因为传入了不正确的值导致运行时出错。同时字面量类型还可以用于定义联合类型、交叉类型等高级类型，提高代码的可读性和可维护性