TypeScript 类型系统

• 语言: 中文（简体）
• 格式: .pdf
• 来源: deeplang.org

摘要

文档系统阐述了TypeScript类型系统的核心内容，包括结构类型系统和标明类型系统的区别，以及类型声明空间的特性。TypeScript作为微软推出的JavaScript静态类型版本，是JavaScript的超集，能够编译为纯粹的JavaScript。其类型系统涵盖了基础类型、高级类型、特殊类型以及类型断言和类型守卫等内容。类型断言和类型守卫在条件语句中会影响变量的类型收敛。

AI总结

以下是关于《TypeScript类型系统》的文档内容的中文总结：

---

### TypeScript类型系统

#### 1. 结构类型系统 vs 标明类型系统
- **结构类型系统**：类型形状一致即可互相赋值。
- **标明类型系统**：即使两个类的结构完全一致，也不能互相赋值。

#### 2. 类型声明空间
类型声明空间中包含用来当做类型注解的内容，不能赋给变量或作为值传递（`class`除外）。

#### 3. TypeScript基础类型
TypeScript提供了以下基础类型：
- 原生类型：如`number、string、boolean`等。
- 对象类型：如`Array、Date`等。

#### 4. TypeScript高级类型
TypeScript支持多种高级类型，包括：
- 交集类型（`&`）。
- 并集类型（`|`）。
- 排除类型（`Omit`）。
- 类型守卫。

#### 5. TypeScript特殊类型
特殊类型包括：
- `undefined`。
- `null`。
- `void`。
- `never`。

#### 6. 类型断言
类型断言用于在特定情况下手动指定变量的类型。

#### 7. 类型守卫/类型收敛
当遇到条件语句（如`if`、`switch`）时，TypeScript会在语句作用域内部收敛变量的类型。

#### 8. TypeScript与JavaScript的关系
TypeScript是微软推出的JavaScript静态类型版本，是JavaScript的超集，能够编译为纯JavaScript。

---

以上是文档的核心内容和关键信息总结。