概览

它分为以下几个关键部分：

  • Scanner 扫描器（scanner.ts）
  • Binder 绑定器（binder.ts）
  • Checker 检查器（checker.ts）
  • Emitter 发射器（emitter.ts）
    每个部分在源文件中均有独立文件，本章稍后会对这些部分做解释。

我们有个名为 的项目，通过暴露内部接口让编译器 API 使用起来更简单。你可以在全局范围上暴露你 TypeScript 应用的本地变量。

语法正确并不意味着语义上也正确。下面的 TypeScript 代码，语法合法，但是语义却不正确

语义 从自然语言角度意味着有意义，理解这个概念对你很有用。

  1. SourceCode（源码） ~~ 扫描器 ~~> Token 流
  1. AST ~~ 绑定器 ~~> Symbols（符号）

符号（Symbol）是 TypeScript 语义系统的主要构造块。如上所示，符号是绑定的结果。符号将 AST 中的声明节点与相同实体的其他声明相连。

符号和 AST 是检查器用来验证源代码语义的

最后，需要输出 JavaScript 时：

TypeScript 编译器中还有一些其他文件，为我们接下来介绍的很多关键部分提供实用工具。

  • let objectAllocator: ObjectAllocator 是一个定义为全局单例的变量。提供以下定义：
    • getSymbolConstructor（符号会在绑定器中介绍）
    • getTypeConstructor（类型会在检查器中介绍）
    • getSignatureConstructor（签名是索引，调用和构造签名）

types.ts 包含整个编译器中使用的关键数据结构和接口，这里列出一些关键部分：

  • SyntaxKindAST 节点类型通过 SyntaxKind 枚举进行识别
  • 类型检查器提供此接口
  • CompilerHost用于程序（Program）和系统之间的交互
  • NodeAST 节点

system.ts，TypeScript 编译器与操作系统的所有交互均通过 System 接口进行。接口及其实现（WScript 和 Node） 均定义在 system.ts 中。你可以将其视为操作环境（OE, Operating Environment）。

现在对主要文件有一个整体了解了，我们继续介绍程序（Program）的概念