概述

存储库结构

TypeScript 仓库组织成几个关键目录和组件

typescript/
├── src/
│   ├── compiler/    - Core compiler implementation
│   ├── services/    - Language service API for editor integration
│   ├── server/      - Implementation of the tsserver for IDE integration
│   ├── harness/     - Testing infrastructure
│   └── deprecatedCompat/ - Code for backward compatibility
├── lib/             - Built library output and declaration files
├── tests/           - Test cases and fixtures
└── scripts/         - Build and release scripts

Sources: src/compiler/types.ts package.json

核心架构

核心系统图

Sources: src/compiler/types.ts src/compiler/checker.ts src/services/services.ts

TypeScript 架构可分为几个主要系统

编译器核心：TypeScript 系统的基础，负责解析、绑定、类型检查和发出 JavaScript 代码。
类型检查器：负责所有类型分析和验证的核心组件。
语言服务：提供编辑器友好的 API，用于代码补全、重构和错误报告等功能。
项目系统：管理项目配置、文件关系和增量编译。
类型定义：提供标准库和 DOM API 的类型定义。

编译管道

编译过程图

Sources: src/compiler/scanner.ts src/compiler/parser.ts src/compiler/binder.ts src/compiler/checker.ts src/compiler/emitter.ts

TypeScript 编译过程遵循以下阶段

扫描器 (scanner.ts): 将源文本转换为令牌流
解析器 (parser.ts): 将令牌转换为抽象语法树 (AST)
绑定器 (binder.ts): 为声明创建符号并构建符号表
类型检查器 (checker.ts): 执行类型分析和验证
转换管道：将转换应用于 AST（降级、模块转换）
发射器 (emitter.ts): 生成 JavaScript 输出、声明文件和源映射

关键编译器数据结构

数据结构	描述	主文件
`节点`	所有 AST 节点的基类接口	types.ts
`源文件`	表示 TypeScript 源文件	types.ts
`符号`	表示命名声明	types.ts
`类型`	表示 TypeScript 类型	types.ts
`程序`	源文件和编译选项的集合	program.ts
`诊断`	错误、警告或建议	types.ts

Sources: src/compiler/types.ts src/compiler/program.ts

语言服务和编辑器集成

语言服务作为编辑器/IDE 与 TypeScript 编译器之间的接口。它为 IntelliSense、代码导航和重构等编辑器功能提供了更高级别的 API。

语言服务架构

Sources: src/services/services.ts src/server/session.ts src/server/protocol.ts

关键语言服务功能

功能	描述	实现
自动补全	代码补全建议	completions.ts
快速信息	鼠标悬停时的类型信息和文档	services.ts
查找引用	查找符号的所有引用	findAllReferences.ts
代码修复	常见错误的自动修复	importFixes.ts 及其他
格式化	代码格式化和美化	services.ts
重构	代码转换（重命名、提取函数等）	services.ts

Sources: src/services/completions.ts src/services/findAllReferences.ts src/services/codefixes/importFixes.ts

项目系统和增量编译

TypeScript 的项目系统管理项目配置、文件关系，并支持高效的增量编译。

项目系统组件

Sources: src/compiler/program.ts src/compiler/commandLineParser.ts src/server/project.ts

增量编译流程

TypeScript 的增量编译系统（--incremental 标志）工作原理如下：

分析上次编译以来哪些文件发生了更改
识别哪些其他文件可能受这些更改的影响
仅重新类型检查和重新发出受影响的文件
将构建信息存储在 .tsbuildinfo 文件中以供将来进行编译

项目引用功能（--build 模式）扩展了此功能，以支持 TypeScript 项目之间的依赖关系，允许将大型代码库分解为更小、更易于管理的部分。

Sources: src/compiler/program.ts src/server/project.ts

类型系统

TypeScript 的类型系统丰富而复杂，支持广泛的类型模式和功能。

类型系统组件图

来源： src/compiler/checker.ts src/compiler/types.ts

类型定义层级

TypeScript 包含标准 JavaScript API、DOM 和其他 Web 平台功能的内置类型定义。这些定义以层级结构组织，以支持不同的目标环境。

标准库的类型定义位于 lib 文件夹中，并根据其目标命名，例如：

lib.es5.d.ts - ECMAScript 5 定义
lib.es2015.d.ts - ECMAScript 2015 (ES6) 定义
lib.dom.d.ts - DOM API 定义
lib.webworker.d.ts - Web Worker API 定义

来源： src/compiler/utilities.ts lib/lib.es5.d.ts

构建与 CI 系统

TypeScript 的构建系统旨在确保代码质量和促进发布。

构建系统架构

来源： package.json package-lock.json

关键构建命令

TypeScript 的存储库使用一个名为“Hereby”（在 Herebyfile.mjs 中定义）的构建系统来进行任务编排。常见任务包括：

构建编译器和语言服务
生成声明文件
运行测试
代码 linting 和格式化
发布版本

持续集成系统会对 pull 请求和 commit 进行自动检查，以确保代码质量和兼容性。

来源： package.json

CLI 和 API 用法

TypeScript 提供了命令行界面 (CLI) 和编程 API，用于集成到其他工具中。

命令行工具

命令	描述
`tsc`	TypeScript 编译器
`tsserver`	TypeScript 语言服务器