为何百兆静态库能打进数兆的可执行文件?

落影

发布于 2018-04-27 10:21:17

2.5K10

代码可运行

文章被收录于专栏：落影的专栏落影的专栏

运行总次数：0

代码可运行

前言

第三方库是工程开发必不可少的部分，而第三方库可以是.a和.framework的静态库，也可以是.framework的动态库，其中静态库是最常用的方式。

静态库往往比较大，可在打包到可执行文件之后，对安装包大小的增加远远小于静态库本身的Size。

那么，就产生两个问题：

1、静态库里面存在什么内容？

2、静态链接到可执行文件后为什么体积变小？

本文就以.framework的静态库来分析具体情况。

正文

1、framework静态库的打包

新建工程，选择Cocoa Touch Framework，再到Build Settings选择Mach-O Type为Static Library，然后build出来目标文件就是framework静态库。

2、framework静态库的内容

按照上面的步骤打包出来的LYTestKit.framework，具体的内容如下：

Headers为头文件；
plist文件和Modules文件夹是一些描述文件；
LYTestKit为Mach-O binary文件，LYTestKit占了静态库99%的体积。

3、LYTestKit文件内容分析

打开terminal(终端)，进入文件夹所在目录，输入指令file LYTestKit。

LYTestKit: Mach-O universal binary with 4 architectures: [arm_v7:current ar archive] [arm64]
LYTestKit (for architecture armv7): current ar archive
LYTestKit (for architecture i386):  current ar archive
LYTestKit (for architecture x86_64):    current ar archive
LYTestKit (for architecture arm64): current ar archive

可以知道LYTestKit包括armv7、i386、x86_64、arm64四种CPU架构的指令。

接下来就是我们的大杀器Hopper Disassembler登场。

软件的链接地址，密码：vbrqit。

用Hopper Disassembler打开LYTestKit，选择架构为arm64，再选择一个原工程对应的.o文件，首先映入眼帘的是下面这段描述：（不知道.o文件是什么的，点这里复习下）

/*
--------------------------------------------------------------------------------

        File: /Users/loyinglin/Documents/LYTestKit/Framework/LYTestKit.framework/LYTestKit
        MachO file
        CPU: aarch64
        64 bits

--------------------------------------------------------------------------------
*/

接下来，是这个文件的描述：

        ; Segment
        ; Range: [0x0; 0x8a1b[ (35355 bytes)
        ; File offset : [3584; 38939[ (35355 bytes)
        ; Permissions: readable / writable / executable

整个文件的大小是35355 bytes，对应的区间为3584, 38939。

文件的最后一行为：

0000000000008a1a        db  0x01 ; '.'

整个Segment的地址是0x8a1b结束，十六进制0x8a1b = 35355 十进制。

从这里可以看出，静态库中地址与大小一一对应。

可以这么理解，假如某条指令需要到地址0x0008a1a取值，即是相对应起始位置加上0x0008a1a偏移的地址。

而静态库中的偏移应该等于内存中的偏移，那么0x0008a1a的偏移地址在内存中的大小就是35355 bytes。

紧接着是下面这段描述：

        ; Section __text
        ; Range: [0x0; 0x2300[ (8960 bytes)
        ; File offset : [3584; 12544[ (8960 bytes)
        ; Flags: 0x80000400
        ;   S_REGULAR
        ;   S_ATTR_PURE_INSTRUCTIONS
        ;   S_ATTR_SOME_INSTRUCTIONS

.Section __text表示接下来是代码段的内容，机器指令的大小为8960 bytes。

类似的，代码段之后还有：

Section __objc_classrefs 类的引用，大小为 64 bytes；
Section __objc_methname 自动生成和声明的函数名，大小为2140 bytes；（"viewDidLoad"、"init"这样的函数名常量）
Section __objc_selrefs selector的引用)，大小为 520 bytes；（@selector(init)、@selector(setProperty:)）
Section __objc_data 初始化的变量，大小为80 bytes；（@property、ivar、 struct __objc_class这样的变量）
Section __objc_ivar ivar的引用，大小为 84 bytes；（OBJC_IVAR$_SampleClass._property） ivar是objc_ivar的指针，objc_ivar有变量名、变量类型等成员，如下：

typedef objc_ivar * Ivar;
  struct objc_ivar {
     char *ivar_name;
     char *ivar_type;
     int ivar_offset;
  #ifdef __LP64__
     int space;
  #endif
  }

Section __cstring 代码中声明的字符常量，大小为 1360 bytes；（@"Hello"、@"你好"这样的字符常量）
Section __cfstring 代码中声明的CFString字符常量，大小为 224 bytes；
Section __objc_classname Objective-C Class的类名，大小为 64 bytes；
Section __objc_const __objc_metaclass_xxx常量的引用和__objc_class_xxx structs 的声明，大小为 3672 bytes；（OC的runtime用结构体比如struct __objc_method、 struct __objc_ivar 、struct __objc_property）
Section __debug_str 调试用的字符信息，包括方法对应的字符串，大小为 5489 bytes；
Section __debug_line 调试用的代码行号信息，大小为 2891 bytes；
以及各类其他的Section。