编译器和解释器执行代码的特点如下:
- 采用编译器生成机器码执行的好处就是效率高,缺点就是调试时间长
- 采用解释器执行的好处是编写调试方便,缺点是执行效率低
iOS开发采用的编译器是 LLVM
LLVM是编译器工具链接技术的一个集合。其中 lld 项目是内置链接器。编译器会对每个文件进行编译,生成Mach-O(可执行文件);链接器会将项目中的多个 Mach-O 文件合并成一个
LLVM编译过程如下:
- 首先 LLVM会预处理代码,如把宏嵌入到对应的位置。
- 预处理完后,LLVM 会对代码进行词法分析和语法分析,生成 AST。AST 是抽象语法树,结构上比代码更精简,遍历起来更快,所以使用AST 能够更快速地进行静态检查。
- 最后 AST 生成 IR, IR是一种更接近机器码的语言,区别在于和平台无关,通过IR 可以生成多份适合不同平台的机器码。对于 iOS 系统来说,IR 生成的可执行文件就是 Mach-O.
Mach-O 文件里的内容,主要是代码和数据:代码是函数的定义;数据是全局变量的定义,包括全局变量的初始值。
链接器的作用就是完成变量、函数符号和其他地址绑定的任务。
链接器会把项目中的多个 Mach-O 文件最终合并成一个,为什么呢?自己想想看。
链接器在链接多个目标文件时,会创建一个符号表,用于记录所用已定义的和所有未定义的符号。
库链接
静态库时编译时链接的库,需要链接到 Mach-O 文件里,如果需要更新就要重新编译一次,无法动态加载和更新;而动态库是运行时链接的库,使用 dyld 就可以实现动态加载。运行时通过 dlopen 和 dlsym 导入动态库时,先根据记录的库路径找到对应的库,再通过记录的名字符号找到绑定的地址。
dyld 加载动态库有两种方法:有程序启动加载时绑定和符号第一次被用到时绑定。为了减少启动时间,大部分动态库使用的都是符号第一次被用到时再绑定的方式。
编译、链接、执行、动态库加载、 main 函数开始执行