iOS 编译过程

iOS 编译采用 Clang 作为编译器前端，LLVM 作为编译器后端，编译器前端负责语法分析，语义分析，生成生成中间码 (LLVM IR)，在这个过程中，会进行类型检查，如果发现错误或者警告会标注出来在哪一行；编译器后端会进行机器无关的代码优化，生成机器语言，并且进行机器相关的代码优化。

当一个 xcode 工程 build 之后一般会执行如下几个步骤：

Clang 的编译过程

预处理

预处理器会处理源文件中的宏定义，将代码中的宏用其对应定义的具体内容进行替换，删除注释，展开头文件，产生 .i 文件。

词法分析

预处理完成了以后，开始词法分析，这里会把代码切成一个个 Token，比如大小括号，等于号还有字符串等。

语法分析

语法分析，在 Clang 中由 Parser 和 Sema 两个模块配合完成，验证语法是否正确，根据当前语言的语法，生成语意节点，并将所有节点组合成抽象语法树 AST。

静态分析

一旦编译器把源码生成了抽象语法树，编译器可以对这棵树做分析处理，以找出代码中的错误，比如类型检查：即检查程序中是否有类型错误。例如：如果代码中给某个对象发送了一个消息，编译器会检查这个对象是否实现了这个消息（函数、方法）。此外，clang 对整个程序还做了其它更高级的一些分析，以确保程序没有错误。

类型检查

一般会把类型检查分为两类：动态的和静态的。动态的在运行时做检查，静态的在编译时做检查。以往，编写代码时可以向任意对象发送任何消息，在运行时，才会检查对象是否能够响应这些消息。由于只是在运行时做此类检查，所以叫做动态类型。

至于静态类型，是在编译时做检查。当在代码中使用 ARC 时，编译器在编译期间，会做许多的类型检查：因为编译器需要知道哪个对象该如何使用。

LLVM 的编译过程

目标代码的生成与优化

CodeGen 负责将语法树 AST 丛顶至下遍历，翻译成 LLVM IR 中间码，LLVM IR 中间码编译过程的前端的输出后端的输入。

编译器后端主要包括代码生成器、代码优化器。代码生成器将中间代码转换为目标代码，代码优化器主要是进行一些优化，比如删除多余指令，选择合适寻址方式等，如果开启了 bitcode 苹果会做进一步的优化，有新的后端架构还是可以用这份优化过的 bitcode 去生成。优化中间代码生成输出汇编代码，把之前的 .i 文件转换为汇编语言，产生 .s 文件

汇编

目标代码需要经过汇编器处理，把汇编语言文件转换为机器码文件，产生 .o 文件。

链接

链接又分为静态链接和动态链接。 对 .o 文件中的对于其他的库的引用的地方进行引用，生成最后的可执行文件(同时也包括多个 .o 文件进行 link)。

静态链接

静态链接：在编译链接期间发挥作用，把目标文件和静态库一起链接形成可执行文件。

动态链接

动态链接：链接过程推迟到运行时再进行。

如果多个程序都用到了一个库，那么每个程序都要将其链接到可执行文件中，非常冗余，动态链接的话，多个程序可以共享同一段代码，不需要在磁盘上存多份拷贝，但是动态链接发生在启动或运行时，增加了启动时间，造成一些性能的影响。 静态库不方便升级，必须重新编译，动态库的升级更加方便。

参考

点击 Run 之后发生了什么？