我是前言

一个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（去掉了版本信息）：

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负责，援引并翻译对dyld作用顺序的概括：

从kernel留下的原始调用栈引导和启动自己

将程序依赖的动态链接库递归加载进内存，当然这里有缓存机制

non-lazy符号立即link到可执行文件，lazy的存表里

Runs static initializers for the executable

找到可执行文件的main函数，准备参数并调用

程序执行中负责绑定lazy符号、提供runtime dynamic loading services、提供调试器接口

程序main函数return后执行static terminator

某些场景下main函数结束后调libSystem的_exit函数

得益于dyld是开源的，，我们可以从源码一探究竟。

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

调用dyldbootstrap::start()方法（省去参数）

上个方法返回了main函数地址，填入参数并调用main函数

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

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

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

ImageLoader

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

两步走：

在程序运行时它先将动态链接的image递归加载（也就是上面测试栈中一串的递归调用的时刻）

再从可执行文件image递归加载所有符号

当然所有这些都发生在我们真正的main函数执行前。

runtime与+load

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

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

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函数：