前端 TypeScript 面试题, 什么是 TypeScript 的类型别名?怎么定义类型别名?

联合类型（Union Types）允许你指定一个值可以是几种类型之一。用竖线（|）将可选的类型分隔开。例如 let value: string | number; 表示 value 可以是字符串或数字。

交叉类型（Intersection Types）将多个类型合并为一个类型，表示该类型同时拥有这些属性。用 '&' 表示交叉类型。例如 type A = { name: string } & { age: number }; 表示类型 A 同时拥有 name 和 age 属性。

类型断言（Type Assertion）是一种告诉编译器你比它更清楚地知道某个值的类型的方法。通过类型断言，可以将一种类型转换为另一种类型。语法有两种方式：尖括号语法 <Type> 和 as 语法，例如 let someValue: any = 'this is a string'; let strLength: number = (someValue as string).length;。

TypeScript 会根据代码的上下文自动推断出变量的类型，这称为类型推断。你不需要显式地指定变量的类型，TypeScript 会根据值的赋值情况来推断它的类型。例如 let x = 3; 会被推断为 number 类型。

类型守卫（Type Guards）是 TypeScript 中的一种表达式，它会在运行时检查类型，并在代码块内缩小类型范围。可以使用 typeof、instanceof 或自定义类型守卫函数来实现。例如 if (typeof value === 'string') { // value 被推断为 string 类型 }。