iOS程序main函数以前发生了什么

我是前言

一个iOS app的main()函数位于main.m中，这是咱们熟知的程序入口。但对objc了解更多以后发现，程序在进入咱们的main函数前已经执行了不少代码，好比熟知的+ load方法等。本文将跟随程序执行顺序，刨根问底，从dyld到runtime，看看main函数以前都发生了什么。

---

从dyld开始

动态连接库

iOS中用到的全部系统framework都是动态连接的，类比成插头和插排，静态连接的代码在编译后的静态连接过程就将插头和插排一个个插好，运行时直接执行二进制文件；而动态连接须要在程序启动时去完成“插插销”的过程，因此在咱们写的代码执行前，动态链接器须要完成准备工做。

这个是在xcode中看到的Link列表：

这些framework将会在动态连接过程当中被加载，另外还有隐含link的framework，能够测试出来：先找到可执行文件，我这里叫TestMain的工程，模拟器路径下找到TestMain.app，可执行文件默认同名，再经过otool命令：

1	$ otool -L TestMain

-L参数打印出全部link的framework（去掉了版本信息）：

1 2 3 4 5 6 7

TestMain: /System/Library/Frameworks/CoreGraphics.framework/CoreGraphics /System/Library/Frameworks/UIKit.framework/UIKit /System/Library/Frameworks/Foundation.framework/Foundation /System/Library/Frameworks/CoreFoundation.framework/CoreFoundation /usr/lib/libobjc.A.dylib /usr/lib/libSystem.dylib

除了多了的CoreGraphics（被UIKit依赖）外，有两个默认添加的lib。libobjc即objc和runtime，libSystem中包含了不少系统级别lib，列几个熟知的：libdispatch(GCD)，libsystem_c(C语言库)，libsystem_blocks(Block)，libcommonCrypto(经常使用的md5函数)等等。这些lib都是dylib格式（如windows中的dll），系统使用动态连接有几点好处：

• 代码共用：不少程序都动态连接了这些lib，但它们在内存和磁盘中中只有一份
• 易于维护：因为被依赖的lib是程序执行时才link的，因此这些lib很容易作更新，好比libSystem.dylib是libSystem.B.dylib的替身，哪天想升级直接换成libSystem.C.dylib而后再替换替身就好了
• 减小可执行文件体积：相比静态连接，可执行文件的体积要小不少

dyld

dyld - the dynamic link editor（这缩写对应的很奇怪，我感受是DYnamic Linker Daemon呢- -？）apple的动态连接器，系统kernel作好启动程序的初始准备后，交给dyld负责，援引并翻译《mikeask这篇blog》对dyld做用顺序的归纳：

1. 从kernel留下的原始调用栈引导和启动本身
2. 将程序依赖的动态连接库递归加载进内存，固然这里有缓存机制
3. non-lazy符号当即link到可执行文件，lazy的存表里
4. Runs static initializers for the executable
5. 找到可执行文件的main函数，准备参数并调用
6. 程序执行中负责绑定lazy符号、提供runtime dynamic loading services、提供调试器接口
7. 程序main函数return后执行static terminator
8. 某些场景下main函数结束后调libSystem的_exit函数

得益于dyld是开源的，github地址，咱们能够从源码一探究竟。

一切源于dyldStartup.s这个文件，其中用汇编实现了名为__dyld_start的方法，汇编太生涩，它主要干了两件事：

1. 调用dyldbootstrap::start()方法（省去参数）
2. 上个方法返回了main函数地址，填入参数并调用main函数

这个步骤随手就能验证出来，设置一个符号断点断在_objc_init：

这个函数是runtime的初始化函数，后面会提到。程序运行在很早的时候断住，这时候看调用栈：

看到了栈底的dyldbootstrap::start()方法，继而调用了dyld::_main()方法，其中完成了刚才说的递归加载动态库过程，因为libSystem默认引入，栈中出现了libSystem_initializer的初始化方法。

ImageLoader

固然这个image不是图片的意思，它大概表示一个二进制文件（可执行文件或so文件），里面是被编译过的符号、代码等，因此ImageLoader做用是将这些文件加载进内存，且每个文件对应一个ImageLoader实例来负责加载。
两步走：

1. 在程序运行时它先将动态连接的image递归加载 （也就是上面测试栈中一串的递归调用的时刻）
2. 再从可执行文件image递归加载全部符号

固然全部这些都发生在咱们真正的main函数执行前。

---

runtime与+load

刚才讲到libSystem是若干个系统lib的集合，因此它只是一个容器lib而已，并且它也是开源的，里面实质上就一个文件，init.c，细节不说了，由libSystem_initializer逐步调用到了_objc_init，这里就是objc和runtime的初始化入口。

除了runtime环境的初始化外，_objc_init中绑定了新image被加载后的callback：

1 2 3

dyld_register_image_state_change_handler(dyld_image_state_bound, 1/*batch*/, &map_images); dyld_register_image_state_change_handler(dyld_image_state_dependents_initialized, 0/*not batch*/, &load_images);

可见dyld担当了runtime和ImageLoader中间的协调者，当新image加载进来后交由runtime大厨去解析这个二进制文件的符号表和代码。继续上面的断点法，断住神秘的+load函数：

清楚的看到整个调用栈和顺序：

1. dyld开始将程序二进制文件初始化
2. 交由ImageLoader读取image，其中包含了咱们的类、方法等各类符号
3. 因为runtime向dyld绑定了回调，当image加载到内存后，dyld会通知runtime进行处理
4. runtime接手后调用map_images作解析和处理，接下来load_images中调用call_load_methods方法，遍历全部加载进来的Class，按继承层级依次调用Class的load方法和其Category的load方法

至此，可执行文件中和动态库全部的符号（Class，Protocol，Selector，IMP，…）都已经按格式成功加载到内存中，被runtime所管理，再这以后，runtime的那些方法（动态添加Class、方法混合等等才能生效）

关于load方法的几个QA

Q: 重载本身Class的load方法时需不须要调父类？
A: runtime负责按继承顺序递归调用，因此咱们不能调super

Q: 在本身Class的load方法时能不能替换系统framework（好比UIKit）中的某个类的方法实现
A: 能够，由于动态连接过程当中，全部依赖库的类是先于本身的类加载的

Q: 重载load时须要手动添加@autoreleasepool么？
A: 不须要，在runtime调用load方法先后是加了objc_autoreleasePoolPush()和objc_autoreleasePoolPop()的。

Q: 想让一个类的load方法被调用是否须要在某个地方import这个文件
A: 不须要，只要这个类的符号被编译到最后的可执行文件中，load方法就会被调用（Reveal SDK就是利用这一点，只要引入到工程中就能工做）

---

简单总结

整个事件由dyld主导，完成运行环境的初始化后，配合ImageLoader将二进制文件按格式加载到内存，
动态连接依赖库，并由runtime负责加载成objc定义的结构，全部初始化工做结束后，dyld调用真正的main函数。
值得说明的是，这个过程远比写出来的要复杂，这里只提到了runtime这个分支，还有像GCD、XPC等重头的系统库初始化分支没有说起（固然，有缓存机制在，它们也不会玩命初始化），总结起来就是main函数执行以前，系统作了茫茫多的加载和初始化工做，但都被很好的隐藏了，咱们无需关心。

---

孤独的main函数

当这一切都结束时，dyld会清理现场，将调用栈回归，只剩下：
孤独的main函数，看上去是程序的开始，确是一段精彩的终结