Esbuild 是一个极快的 JavaScript 和 TypeScript 打包器和压缩器，它转换 TypeScript 的逻辑主要包括以下几个关键步骤：
词法分析和语法分析
- 词法分析：Esbuild 使用有限自动机等技术对输入的 TypeScript 代码进行词法分析，将代码字符串分解成一个个的词法单元，如关键字、标识符、运算符、字面量等。例如，对于代码
let num: number = 5;，会被分解为let（关键字）、num（标识符）、:（运算符）、number（关键字）、=（运算符）、5（字面量）、;（标点符号）等词法单元。 - 语法分析：在词法分析的基础上，Esbuild 利用语法分析器根据 TypeScript 的语法规则构建抽象语法树（AST）。以
let num: number = 5;为例，在语法分析后，会构建出一个包含声明语句节点、变量声明节点、类型注解节点、赋值表达式节点等的 AST，用于表示代码的语法结构和语义。
类型检查和转换
- 类型检查：Esbuild 会对 AST 进行类型检查，验证变量和表达式的类型是否符合 TypeScript 的类型系统规则。它会遍历 AST，检查每个变量声明、函数调用、表达式等的类型是否正确。例如，对于函数调用
add(5, "6")，如果add函数期望两个数字参数，Esbuild 会检测到类型不匹配错误。 - 类型擦除和转换：在确保类型正确后，Esbuild 会进行类型擦除，将 TypeScript 中的类型注解等与运行时无关的信息去除，将代码转换为等价的 JavaScript 代码。对于
let num: number = 5;，会被转换为let num = 5;，类型注解number被擦除。
代码优化和生成
- 代码优化：Esbuild 会对转换后的 JavaScript 代码进行一系列优化，如常量折叠、死代码消除、变量重命名等。例如，如果有代码
const a = 5 + 3;，Esbuild 会在编译时将其优化为const a = 8;，减少运行时的计算量。 - 代码生成：经过优化后，Esbuild 将优化后的 AST 重新生成 JavaScript 代码字符串。它会根据 AST 的节点类型和结构，按照 JavaScript 的语法规则生成相应的代码。例如，对于一个简单的函数声明
function add(a: number, b: number): number { return a + b; }，经过转换和优化后，会生成相应的 JavaScript 函数声明代码function add(a, b) { return a + b; }。
模块处理
-
模块解析：Esbuild 会根据 TypeScript 的模块系统规则解析模块导入和导出。它会查找模块文件，解析模块路径，确定模块之间的依赖关系。例如，对于
import { add } from './math';，Esbuild 会查找./math模块文件，并解析其中导出的add函数。 -
模块打包：在解析模块依赖关系后，Esbuild 可以将多个模块打包成一个或多个文件，根据配置决定是生成一个捆绑文件还是多个分离的文件。它会将模块的代码合并、优化，并处理模块之间的引用和作用域等问题，确保在浏览器或其他运行环境中能够正确运行。
Esbuild 在转换 TypeScript 时，通过词法分析和语法分析构建 AST，进行类型检查和转换，然后对代码进行优化和生成，同时处理好模块系统，以高效地将 TypeScript 代码转换为可执行的 JavaScript 代码。
ast可视化 astexplorer.net/
抽象语法树（AST）是源代码的抽象语法结构的树状表现形式，它以树状的形式描述了代码的结构。AST转换技术可以解析源代码，生成AST，然后对其进行修改和转换，最后生成新的源代码。这种技术可以让我们在不改变代码逻辑的情况下，对代码进行批量修改和优化。
代码编译转换场景 为什么不用正则做替换？
虽然正则表达式在文本处理中非常强大，但在代码编译转化中通常不单独使用正则表达式，主要有以下原因：
语法结构复杂性
- 编程语言的语法结构通常是高度复杂和嵌套的，包含各种语句、表达式、块结构、函数定义、类定义等。正则表达式难以准确地描述和匹配这种复杂的嵌套结构。例如，在处理函数调用中的嵌套表达式和参数列表时，正则表达式很难准确地识别和解析每个部分的开始和结束位置，容易出现错误匹配或遗漏的情况。
- 对于编程语言中的语法糖和特殊语法，如 JavaScript 中的箭头函数、解构赋值、模板字符串等，正则表达式很难对其进行全面而准确的处理，无法理解其语义和正确地进行转化。
语义理解局限性
- 正则表达式只能进行基于模式的文本匹配，无法理解代码的语义。它不能识别变量的作用域、类型信息、函数的调用关系等。在代码编译转化中，需要对代码的语义进行深入理解和分析，以便进行正确的优化和转换。例如，在进行类型检查和转换时，正则表达式无法判断变量的类型是否正确，也无法根据类型信息进行相应的转换。
- 对于代码中的逻辑结构，如条件判断、循环语句等，正则表达式无法理解其执行逻辑和意图，无法进行针对性的优化和转换。例如，在循环中对变量的更新和使用，正则表达式无法判断其是否合理和优化的可能性。
维护和扩展性困难
- 使用正则表达式进行代码编译转化会导致代码可读性和可维护性极差。正则表达式本身往往比较复杂和晦涩难懂，尤其是对于复杂的编译逻辑，正则表达式可能会变得很长且难以理解和修改。当需要对编译规则进行扩展或修改时，正则表达式的修改难度较大，容易引入新的错误。
- 随着编程语言的不断发展和更新，新的语法特性和功能不断出现。使用正则表达式很难及时适应这些变化，需要不断地重新编写和调整正则表达式，而基于语法分析器和抽象语法树的编译转化方法则更容易进行扩展和更新。
性能问题
- 在处理大规模代码时，正则表达式的性能可能会成为瓶颈。由于正则表达式需要对整个代码文本进行多次扫描和匹配，当代码量较大时，可能会消耗大量的时间和内存。而专门的编译工具通常会采用更优化的算法和数据结构来提高编译效率，例如在语法分析阶段使用有限自动机等高效的算法，而不是单纯依赖正则表达式。
代码编译转化通常不使用正则表达式，而是采用专门的语法分析器、编译器前端和后端等技术来实现更准确、高效和可维护的编译过程。
