TypeScript（五）类型别名及类型符号
目录
引言
本文收录于TypeScript知识总结系列文章，欢迎指正！
在编写JS代码时，我们通常使用const、var、let来定义一个变量，进行变量的运算或者逻辑编写等。在TS中也有一种类似变量的写法那就是类型别名，与运算逻辑相对应的便是类型符号
类型别名
在前面的文章中，我们介绍了TypeScript中常用的类型，然而在实际项目开发中，不可避免的会遇到各种复杂类型，有些可以使用接口或对象类型来描述，但是有些数据类型更灵活、复杂，那么此时，类型别名是一种非常有用的工具，它可以帮助我们简化代码，提高代码的可读性和可维护性；
基本用法
类型别名使用 type 类型名 = 类型值 的方式来定义，如
interface IFn {
(): void
}
interface IDog {
name: string
age?: number
[key: string]: unknown
}
type myStr = string// 字符串
type myNum = number// 数字
type myArr = string[]// 数组
type myFn = IFn// 函数
type myDog = IDog// 接口
type myObj = {
str: string
num: number
arr: myArr
}// 对象
const str: myStr = "string"
const num: myNum = 10
const arr: myArr = ['a', 'b']
const fn: myFn = () => null
const dog: myDog = {
name: "阿黄"
}
const obj: myObj = {
str: "string",
num: 11,
arr: arr
}字面量类型
字面量类型（Literal Types）用来表示具体的字面量值，包括字符串、数字、布尔值等。它们可以作为类型注解的一部分，用来限制变量、函数参数、函数返回值等的取值范围
数字字面量
数字字面量类型（Numeric Literal Types）是一种用来表示具体数字值的类型，它使用一个具体的数字来定义一个类型
type Num = 10
const num: Num = 10
const num2: Num = 20 // 抛错，不能将20赋值给类型10字符串字面量
字符串字面量类型（String Literal Types）：用来表示一个具体的字符串值的类型。
type Str = "a"
const num: Str = "a"布尔字面量
布尔字面量类型（Boolean Literal Types）：用来表示一个具体的布尔值的类型。
type Bool = false
const bool: Bool = false
空字面量
空字面量类型（Empty Literal Types）：用来表示一个空值的类型，被定义的类型只能被赋值为undefined或null
type Void = void;
const isNull: Void = null
const isUndefined: Void = undefined
const isVoid: Void = void 0枚举字面量
枚举字面量类型（Enum Literal Types）：用来表示一个具体的枚举值的类型
enum Color {
Red = 1,
Green,
Blue
}
type colorBlue = Color.Blue
const blue: colorBlue = 3类型符号
如果说类型别名是一个人，那么类型符号就是它的灵魂。在TypeScript中，类型符号是构建类型系统的基础，是实现类型别名的核心。
联合类型
联合类型（Union Types）用来表示一个变量可以包含多种类型之一的情况。联合类型使用或符号 | 来连接两个或多个类型，例如：
let strOrNum: string | number = 10
strOrNum = "a"我们使用上面讲到的类型别名试试
type strOrNum = string | number
const str: strOrNum = "a"
const num: strOrNum = 10交叉类型
交叉类型（Intersection Types）可以用来将多个类型合并为一个类型。交叉类型使用且符号&进行连接两个或多个类型；值得注意的是交叉类型一般使用于对象定义这种复杂的数据类型，如果使用交叉类型定义基础类型，则会转换为never类型，因为一个类型不可能同时兼备两种基础类型，如
type str = string
type num = number
type StrAndNum = str & num // never类型上面代码中number和string是互斥的类型，不存在既是number又是string的值，然而程序不会逻辑报错，因为number和string会包装成对象类型
下面是一个交叉类型的案例
type Animal = {
name: string
age?: number
}
type Dog = {
readonly color: string
getColor(): string
}
type WhiteDog = Animal & Dog
const whiteDog: WhiteDog = {
name: "阿黄",
color: "white",
getColor() {
return this.color
},
}tips：交叉类型和接口继承有点类似，如果对象同时存在同名不同类型的属性时会抛错
类型断言
类型断言（Type Assertion）是一种显式地告诉编译器变量的类型的方式，它允许我们手动指定一个变量的类型，从而绕过TypeScript编译器对该变量类型的检查。
断言的使用方式有两种，分别是尖括号和as关键字
尖括号
let str: unknown
const len: number = (<string>str).length在上面的代码中，我们使用断言的方式将str转换为字符串类型，并获取字符串的长度
as关键字
let str: unknown
const len: number = (str as string).length与尖括号一样，在变量的后面增加 as 类型 使用类型断言
非空断言
在JS中，我们通常使用可选链操作符（ .? ）来判断一个对象是否为空，来增加代码健壮性
在TS中，我们可以使用非空断言（Non-null Assertion）来告诉编译器变量或表达式一定不为空
在下面代码中，str可能是null或者字符串类型，若直接使用str.length会提示：对象可能为"null"
const str: string | null = null
const len: number = str.lengthtips：上述代码没抛错可能因为在tsconfig中未开启strictNullChecks
此时我们可以通过 ! 非空断言或 ? 可选链操作符以及 ?? 空值合并操作符告诉编译器str不为null或处理变量为空的异常
let str: string | null = null
if (window) {
str = "abc"
}
const len: number = str!.length
const len2: number = str?.length ?? 10类型保护
typeof
TypeScript的typeof和JavaScript的typeof在语法上是相同的，但是在行为上有区别。在TS中typeof可以获取变量的类型，如
let num = 10
let str = 'abc'
type myStr = typeof str
type myNum = typeof num
const str1: myStr = "bcd"
const num1: myNum = 20instanceof
instanceof与JS中的使用方式相同，animal instanceof Animal 表示animal是不是Animal的实例化对象，这里就不多赘述
class Animal { }
const animal = new Animal()
console.log(animal instanceof Animal);
类型谓词
类型谓语在函数运行时检查返回值的类型，并且进行类型保护，它的作用是缩小类型范围。类型谓语使用is表示，下面是一个简单的例子
interface IAnimal {
name: string
age: number
}
function isAnimal(animal): animal is IAnimal {
return "name" in animal
}
const animal: any = {
name: '阿黄',
age: 10
};
if (isAnimal(animal)) {
console.log(animal.name)
}可以看到，我们定义了一个IAnimal接口，其中有两个属性，在isAnimal函数中我们把函数返回值写成类型谓语的形式，表示返回值的animal就是接口IAnimal的实现，此时在下方取animal.name时是正常的。
此时我们重新定义一个接口IDog
interface IDog {
color: string
hobby: string
}将上面的isAnimal函数改成这样，此时再执行isAnimal函数后，再去访问name属性就会抛错
function isAnimal(animal): animal is IDog {
return "name" in animal
}
if (isAnimal(animal)) {
console.log(animal.name) //报错，类型“IDog”上不存在属性“name”
}除此之外我们同样可以结合交叉类型，联合类型等灵活的使用is
索引类型
在TS中我们可以使用keyof关键字来获取一个对象类型或接口的类型的所有键的联合类型。
interface IDog {
name: string
color: string
age: number
}
type IDogKeys = keyof IDog // 相当于 'name' | 'color' | 'age'
const dogAge: IDogKeys = "age"
const dogColor: IDogKeys = "color"
const dogName: IDogKeys = "name"上述代码的IDogKeys相当于获取了IDog的所有键的联合类型，使用类型别名描述对象的方式同样可以达到效果
type IDog = {
name: string
color: string
age: number
}
type IDogKeys = keyof IDog // 相当于 'name' | 'color' | 'age'
const dogAge: IDogKeys = "age"
const dogColor: IDogKeys = "color"
const dogName: IDogKeys = "name"映射类型
in运算符在TypeScript和JavaScript中都存在，并且用法基本相同，用来检查某个属性是否存在于某个对象或其原型链中
interface IDog {
name: string
color?: string
}
const dog: IDog = {
name: "阿黄"
}
console.log('name' in dog);// true
console.log('color' in dog);// false使用索引类型加映射类型限制索引区间
interface IDog {
name: string
color?: string
}
type ISmallDog = {
[key in keyof IDog]: string// 这行表示只能取IDog的key
}
const dog: ISmallDog = {
name: "阿黄",//此时的type需要与ISmallDog的相同
hobby: 'ball'// 报错，IDog找不到hobby
}
type or interface?
Type和Interface都是用于定义类型的关键字，那么其二者分别适用什么场景？
二者的区别：
- Type可以声明基本类型、联合类型、元组、枚举、函数等，而Interface主要用于定义对象、类、函数等复杂类型
- Type是类型别名的作用，不能被扩展，而Interface可以被继承
- Type可以使用联合类型，交叉类型等高级类型进行操作，而Interface不支持
应用场景
Type：定义一个基本类型、联合类型、元组、枚举等类型，或需要使用高级类型操作的类型
Interface：定义对象、类等复杂类型，或使用对类型扩展，继承等操作时接口更适用
tips：使用type定义的对象类型同样可以被类实现
type IAnimel = {
name: string
getName(): string
}
class Animal implements IAnimel {
name = 'dog'
getName() {
return this.name
}
}总结
本文从类型别名和类型符号两个模块；介绍了类型别名的使用及字面量类型，并且从联合类型，交叉类型等高级类型操作的方面将类型别名的应用场景连接起来，最后将类型别名对比接口介绍了二者的使用场景
感谢你看到了最后，有任何问题可以在评论区讨论，如果文章对你有帮助，还望多多支持一下！
