有时候TypeScript无法获取具体的类型信息，这个我们需要使用类型断言（ Type Assertions）。
比如我们在操作DOM的时候, 通过 document.getElementById 获取元素， TypeScript只知道该函数会返回HTMLElement ，但并不知道它具体的类型, 是无法得知具体是img还是div等等：
当我们加上类型断言后, TypeScript就可以得知具体的类型信息
const el = document.getElementById("app") as HTMLImageElement
el.src = "图片地址"
TypeScript只允许类型断言转换为 更具体 或者 不太具体(指的是any和unknown)的类型版本，此规则可防止不可能的强制转换：
如下直接转是会报错的
我们可以先将message转为any或者unknown, 再转为number, 但是不推荐这样做
const message = "Hello World" const num: number = (message as any) as number
当我们编写下面的代码时，在执行ts的编译阶段会报错：
这是因为传入的message有可能是为undefined的，这个时候是不能执行方法的；
// 参数为可选类型的时候
function printMessage(message?: string) {
console.log(message.toUpperCase())
}
printMessage("aaa")
我们确定上面代码传入的参数是有值的, 但是编译还是不通过，这个时候我们可以使用非空类型断言：
非空断言使用的是
!，表示可以确定某个标识符是有值的，跳过ts在编译阶段对它的检测, 虽然逃过了编译阶段的检查, 但是代码依然是不严谨的；
function printMessage(message?: string) {
// 加上 ! 代表着保证这个message一定是有值的
console.log(message!.toUpperCase())
}
printMessage("aaa")
可选链事实上并不是TypeScript独有的特性，它是ES11（ ES2020）中增加的特性：
可选链使用可选链操作符 ?.；
它的作用是当对象的属性不存在时，会短路表达式后面就不会执行，直接返回undefined，如果存在，那么才会继续执行；
虽然可选链操作是ECMAScript提出的特性，但是和TypeScript一起使用更版本；
例如我们定义如下一个对象
type Person = {
name: string
friend?: {
name: string
age?: number
}
}
const info: Person = {
name: "chenyq"
}
当我们在其他地方获取对象的属性时, 意味着name属性是一定可以获取到的, 而friend属性有可能是获取不到的
console.log(info.name) // 表示friend有值的情况下再取name或者age, 没有值就是undefined, 代码不会报错 console.log(info.friend?.name) console.log(info.friend?.age)
有时候我们还会看到 !! 和 ?? 操作符，这些都是做什么的呢？
!! 和 ?? 操作符, 这本身也是JavaScript的特性, 并不是TypeScript的语法
!!操作符：
将一个其他类型转换成boolean类型；
类似于Boolean(变量)的方式；
例如我们想要将message转为boolean类型再赋值给flag, 我们有两种方式
const message = "Hello World" // 方式一: 通过Boolean(变量)的方式 let flag1 = Boolean(message) console.log(flag1) // true // 方式二: 通过 !! 操作符 let flag2 = !!message console.log(flag2)
??操作符：
它是ES11增加的新特性；
空值合并操作符（ ??）是一个逻辑操作符，当操作符的左侧是 null 或者 undefined 时，返回其右侧操作数， 否则返回左侧操作数；
let message: string|null = null // 当message没有值时, 将??操作符右边的默认值赋值给content // 当message有值时, 将message的值赋值给content const content = message ?? "我是默认值" console.log(content) // 我是默认值
除了前面我们所讲过的类型之外，也可以使用字面量类型（ literal types）：
字面量类型必须和它的值是保持一致的
// "Hello World"是可以作为类型的, 这个就叫字面量类型 let message: "Hello World" = "Hello World" let num: 123 = 123 // 不能是其他的值 // message = "Hello"
那么这样做有什么意义呢？
默认情况下这么做是确实是没有意义的；
但是我们可以让多个字面量类型 结合 联合类型在一起, 就有了意义
// 例如我们用一个变量来保存对齐方式 let align: "left" | "right" | "center" = "left" align = "right" align = "center"
我们来看下面的代码：
由于我们的对象再进行字面量推理的时候，options其实是一个 {url: string, method: string}，而request的methods是字面量类型Method, 所以我们没办法将 一个 string 类型的值赋值给一个字面量类型, 因此编译阶段就会报错。
方式一: 当我们确定options对象的method没有写错的话, 我们可以使用类型断言(将宽泛的类型转为具体的类型), 如下:
// 使用类型断言 request(options.url, options.methods as Method)
方式二: 看起来有点奇怪, 但是是官方文档中提到的, 给对象添加as const
const options = {
url: "http://aaa.org",
methods: "POST"
} as const
