美文网首页iOS Kit
iOS强化 : 符号 Symbol

iOS强化 : 符号 Symbol

作者: 欧德尔丶胡 | 来源:发表于2021-03-31 16:39 被阅读0次
    前言 :
    • 之前接触过Bugly,在Bugly文档中心 这里接触了一些iOS符号表的内容,符号(Symbol)是日常开发中经常接触的一个概念,虽然日常开发中直接应用的场景比较少,但符号编译期和运行时都扮演了重要的角色。今天就来好好学习下符号 Symbol,并为后面学习动态库静态库学习做准备。

    • 参考:帅驼驼

    目录 :
      1. 符号 Symbol的定义
      1. 符号表的种类
      1. 符号的实际探究
      1. 符号的扩展
    • 5 .符号的剥离Strip命令

    一、 符号 Symbol的定义

    《深入理解计算机系统》一书中有一段Linux编译系统采用的方法:

    在编译时,编译器向汇编器输出每个全局符号,或者是强(strong)或者是弱(weak),而汇编器把这个信息隐含地编码在可重定位目标文件的符号表里。函数和已初始化的全局变量是强符号,未初始化的全局变量是弱符号。

    • 符号 Symbol

    符号是一个数据结构,包含了名称(String)和类型等元数据,符号对应一个函数或者数据的地址

    符号直接影响api的体积

    • 符号表Symbol Table

    什么是符号表?

    符号表是内存地址与函数名、文件名、行号的映射表。符号表元素如下所示:
    <起始地址> <结束地址> <函数> [<文件名:行号>]

    • Symbol Table:符号表存储了当前文件的符号信息,静态链接器(ld)和动态链接器(dyld)在链接的过程中都会读取符号表,另外调试器也会用符号表来把符号映射到源文件, 就是⽤来保存符号。

    • String Table:就是⽤来保存符号的名称。

    • Indirect Symbol Table间接符号表。保存使⽤的外部符号。更准确⼀点就是使⽤的外部动态库的符号。是Symbol Table的⼦集。

    符号表中存储符号的数据结构如下:

    struct nlist_64 {  
       union {       
          uint32_t  n_strx; /* index into the string table */   
        } n_un;  
       uint8_t n_type;        /* type flag, see below */
       uint8_t n_sect;        /* p number or NO_SECT */    
       uint16_t n_desc;       /* see <mach-o/stab.h> */   
       uint64_t n_value;      /* value of this symbol (or stab offset) */
    };
    

    符号表 在Mach-O中的位置

    通过两个Load Commands,描述Symbol Table的大小和位置,以及其他元数据

    • LC_SYMTAB :用来描述该文件的符号表。不论是静态链接器还是动态链接器在链接此文件时,都要使用该Load Command。调试器也可以使用该Load Command找到调试信息

    • LC_DYSYMTAB :描述动态链接器使用其他的Symbol Table信息,

    定义LC_SYMTAB加载命令具体属性。在/usr/include/mach-o/loader.h中定义:

    struct symtab_command {
        // 共有属性。指明当前描述的加载命令,当前被设置为LC_SYMTAB
        uint32_t cmd ;
        // 共有属性。指明加载命令的大小,当前被设置为sizeof(symtab_command)
        uint32_t cmdsize;
        // 表示从文件开始到symbol table所在位置的偏移量。symbol table用[nlist]来表示
        uint32_t symoff;
        // 符号表内符号的数量
        uint32_t nsyms;
        // 表示从文件开始到string table所在位置的偏移量。
        uint32_t stroff;
        // 表示string table大小(以byteカ单位)
        uint32_t strsize;
    };
    

    二、符号表的种类

    2.1 分类

    按照模块区分:
    • 全局符号(Global Symbol) : 整个项目可见
    • 本地符号(Local Symbol) : 当前类可见
    按照位置划分:
    • 外部符号 : 符号不在当前文件,需要ld或者dyld在链接的时候解决
    • 非外部符号 : 即当前文件内的符号
    按照功能分:
    Type 说明
    f File
    F Function
    O Data
    d Debug
    ABS Absolute
    COM Common
    UND 未定义
    按照符号种类划分:
    Type 说明
    U undefined(未定义)
    A absolute(绝对符号)
    T text section symbol__TEXT.__text
    D data section symbol__DATA.__data
    B bss section symbol__DATA.__bss
    C common symbol(只能出现在MH_OBJECT类型的Mach-O⽂件中)
    - debugger symbol table
    S 除了上⾯所述的,存放在其他section的内容,例如未初始化的全局变量存放在(__DATA,__common)中
    I indirect symbol(符号信息相同,代表同⼀符号)
    u 动态共享库中的⼩写u表示⼀个未定义引⽤对同⼀库中另⼀个模块中私有外部符号

    注:标记Type,⼩写代表本地符号(local symbol

    nm命令里的小写字母对应着本地符号,大写字母表示全局符号;U表示undefined,即未定义的外部符号


    三、符号的实际探究

    3.1 可见性

    有个很常见的case,就是你有1000个函数,但只有10个函数是公开的,希望最后生成的动态库里不包含其他990个函数的符号,这时候就可以用clang的attribute来实现:

    //符号可被外部链接__attribute__((visibility("default")))//符号不会被放到Dynamic Symbol Table里,意味着不可以再被其他编译单元链接__attribute__((visibility("hidden")))
    

    clang来提供了一个全局的开关,用来设置符号的默认可见性:

    如果动态库的Target把这个开关打开,会发现动态库仍然能编译通过,但是App会报一堆链接错误,因为符号变成了hidden。

    但这是一种常见的编译方式:让符号默认是Hidden的,即-fvisibility=hidden,然后手动为每个接口加上__attribute__((visibility("default")))

    //头文件#define LH_EXPORT __attribute__((visibility("default")))LH_EXPORT void method_1(void);//实现文件LH_EXPORT void method_1(){    NSLog(@"1");}
    

    全局符号本地符号,它们本质上的区别就是可见性

    一个符号的可见性有两种:

    • default:默认值,定义的符号类型是全局即为全局,是本地即为本地
    • hidden:将全局符号隐藏,变为本地符号

    故此隐藏全局符号的方式有两种:

    • 使用static关键字修饰
    • 使用attribute((visibility("hidden")))

    举例 :

    案例1:

    打开项目,里面包含两个Project

    来到LGOneFramework,打开LGOneObject.m文件,实现global_object函数

    LGOneObject.h文件中,并没有暴露global_object函数

    来到LGApp(另一个Project),打开ViewController.m文件,定义global_object函数,但并不实现。在viewDidLoad方法中调用global_object函数

    运行项目,LGOneFramework中实现的global_object函数被正常调用

    案例2:

    如果将LGOneFramework中的global_object函数,使用static关键字修饰

    LGApp中,global_object函数的调用代码不变

    此时global_object函数变成本地符号,仅对当前文件可见。所以在LGApp中调用该函数,编译报错,并提示未定义符号

    案例3:

    LGOneFramework中,实现global_object函数,不使用static关键字修饰

    LGAppViewController.m中,也实现global_object函数

    运行项目,调用的是LGApp中的global_object函数

    案例3中,为什么不会发生冲突?
    LGAppLGOneFramework两个Project中,都定义了global_object函数,对于global_object函数来说,它们其实存储在两个Mach-O中。由于编译器有⼆级命名空间的概念,所以两个global_object函数的符号其实是不一样的

    two_levelnamespace & flat_namespace
    ⼆级命名空间与⼀级命名空间。链接器默认采⽤⼆级命名空间,也就是除了会记录符号名称,还会记录符号属于哪个Mach-O的,⽐如会记录下来_NSLog来⾃Foundation

    3.2 作用域

    导入符号导出符号

    • 动态库因为不知道外面是如何使用的,所以最好的方式是所有头文件暴露出的符号全部导出来。从包大小的角度考虑,肯定是用到哪些符号,保留哪些符号对应的代码,ld提供了这样一个方案,通过exported_symbol来只保留特定的符号

    export symbol:导出符号意味着,告诉别的模块,我有⼀个这样的符号,你可以将其导⼊(Import)。

    NSLog为例:

    NSLog(@"%d", static_init_value);
    
    

    NSLog存储在Foundation库中

    • 对于Foundation库来说,NSLog属于供外部使用的导出符号
    • 对于当前程序来说,NSLog属于从Foundation库中导入的符号

    导出符号就是全局符号

    项目中定义的全局变量生成为全局符号,默认就会被导出,这些符号可以被外界查看并使用

    使用objdump --macho --exports-trie ${MACH_PATH}命令查看导出符号

    Exports trie:
    0x100000000  __mh_execute_header
    0x100003F50  _main
    0x100008010  _global_init_value
    0x100008020  _global_uninit_value
    
    
    • 只有上述四个导出符号,对应符号表中的四个全局符号

    动态库在运行时才会加载,在编译链接阶段只提供符号即可。Mach-O中使用的动态库符号保存在间接符号表里

    使用objdump --macho --indirect-symbols ${MACH_PATH}命令查看间接符号表

    Indirect symbols for (__TEXT,__stubs) 1 entries
    address            index name
    0x0000000100003f90     8 _NSLog
    Indirect symbols for (__DATA_CONST,__got) 1 entries
    address            index name
    0x0000000100004000    10 dyld_stub_binder
    Indirect symbols for (__DATA,__la_symbol_ptr) 1 entries
    address            index name
    0x0000000100008000     8 _NSLog
    
    
    • 符号在Mach-O中占有一定体积,剥离符号时,间接符号表是不能被删除的
    • Mach-O所使用的动态库的全局符号都不能被删除
    • 动态库剥离符号,只能剥离非全局符号的所有符号

    查看OC中的符号

    打开LGOneObject.m文件,写入以下代码:

    #import "LGOneObject.h"
    
    @interface LGOneObject : NSObject
    
    - (void)testOneObject;
    
    @end
    
    @implementation LGOneObject
    
    - (void)testOneObject {
        NSLog(@"testOneObject");
    }
    
    @end
    
    

    使用objdump --macho --exports-trie ${MACH_PATH}命令查看导出符号

    Exports trie:
    0x100000000  __mh_execute_header
    0x100003F20  _main
    0x1000080B8  _OBJC_METACLASS_$_LGOneObject
    0x1000080E0  _OBJC_CLASS_$_LGOneObject
    0x100008110  _global_init_value
    0x100008120  _global_uninit_value
    

    OC默认都是全局符号,同时也是导出符号。它们可以被外界查看并使用,会增加Mach-O的体积

    开发OC动态库时,想要减小Mach-O的体积,就要将外部无需使用的符号剥离。此时可以借助链接器,将不想暴露的符号声明为不导出符号

    打开xcconfig文件,添加OTHER_LDFLAGS配置项

    OTHER_LDFLAGS=$(inherited) -Xlinker -unexported_symbol -Xlinker _OBJC_CLASS_$_LGOneObject
    OTHER_LDFLAGS=$(inherited) -Xlinker -unexported_symbol -Xlinker _OBJC_METACLASS_$_LGOneObject
    
    • _OBJC_CLASS_$_LGOneObject声明为不导出符号
    • _OBJC_METACLASS_$_LGOneObject声明为不导出符号

    编译项目,此时OC的两个导出符号已经被隐藏

    Exports trie:
    0x100000000  __mh_execute_header
    0x100003F20  _main
    0x100008110  _global_init_value
    0x100008120  _global_uninit_value
    
    • 隐藏OC不想暴露的符号,需要借助链接器,将符号声明为不导出符号
    • 由于OC是运行时语言,不能直接使用visibility("hidden")
    • 不导出符号,将全局符号变为本地符号,这些符号可以被剥离,从而减小Mach-O的体积
    • 隐藏不需要暴露的符号,从而避免被外界查看并使用,解决安全隐患

    链接器提供的另一种方式:指定一个文件,将文件内的符号全部声明为不导出符号

    创建symbol.txt文件,放到工程目录中,里面定义不想暴露的符号

    _OBJC_CLASS_$_LGOneObject
    _OBJC_METACLASS_$_LGOneObject
    _global_init_value
    _global_uninit_value
    

    打开xcconfig文件,添加OTHER_LDFLAGS配置项

    OTHER_LDFLAGS=$(inherited) -Xlinker -unexported_symbols_list >$(PROJECT_DIR)/symbol.txt
    

    编译项目,此时symbol.txt文件中定义的四个符号已经被隐藏

    Exports trie:
    0x100000000  __mh_execute_header
    0x100003F20  _main
    

    3.3 Weak Symbol

    弱定义符号

    Weak Defintion Symbol:表示此符号为弱定义符号。如果静态链接器或动态链接器为此符号找到另⼀个(⾮弱)定义,则弱定义将被忽略。只能将合并部分中的符号标记为弱定义

    打开WeakSymbol.m文件,写入以下代码:

    #import "WeakSymbol.h"
    #import <Foundation/Foundation.h>
    
    void weak_function(void) {
       NSLog(@"weak_function");
    }
    
    • 此时weak_function是一个全局符号,同样也是导出符号

    打开WeakSymbol.h文件,写入以下代码:

    void weak_function(void)  __attribute__((weak));
    
    • 使用__attribute__((weak))weak_function声明为弱定义符号

    使用objdump --macho --exports-trie ${MACH_PATH}命令查看导出符号

    Exports trie:
    0x100000000  __mh_execute_header
    0x100003EF0  _weak_function [weak_def]
    0x100003F30  _main
    0x100008010  _global_init_value
    0x100008020  _global_uninit_value
    
    • weak_function还是导出符号,这也证明它依然是全局符号,其后增加了[weak_def]的标记

    弱定义符号的作用

    WeakSymbol.mmain.m中,都实现一个weak_function函数

    void weak_function(void) {
       NSLog(@"weak_function");
    }
    

    同一个Project中,出现两个相同的全局符号,此时编译报错,提示出现重复符号

    将其中一个weak_function函数声明为弱定义符号,此时编译成功

    void weak_function(void)  __attribute__((weak));
    
    • 弱定义符号的作用:可以解决同名符号的冲突;链接器按照符号上下顺序,找到一处符号的实现后,其他地方的同名符号将被忽略

    如果同时使用weakvisibility("hidden"),符号会变成一个弱定义的本地符号

    打开WeakSymbol.m文件,写入以下代码:

    void weak_hidden_function(void) {
       NSLog(@"weak_hidden_function");
    }
    

    打开WeakSymbol.h文件,将weak_hidden_function函数同时使用weakvisibility("hidden")修饰

    void weak_hidden_function(void) __attribute__((weak, visibility("hidden")));
    
    

    使用objdump --macho --syms ${MACH_PATH}命令查看符号表

    SYMBOL TABLE:
    0000000100003f10 lw    F __TEXT,__text _weak_hidden_function
    0000000100008008 l     O __DATA,__data __dyld_private
    0000000100008014 l     O __DATA,__data _static_init_value
    0000000100008018 l     O __DATA,__bss _static_uninit_value
    0000000100008028 l     O __DATA,__common _default_x
    0000000100000000 g     F __TEXT,__text __mh_execute_header
    0000000100008010 g     O __DATA,__data _global_init_value
    0000000100008020 g     O __DATA,__common _global_uninit_value
    0000000100003f30 g     F __TEXT,__text _main
    0000000100003ef0 gw    F __TEXT,__text _weak_function
    0000000000000000         *UND* _NSLog
    0000000000000000         *UND* ___CFConstantStringClassReference
    0000000000000000         *UND* dyld_stub_binder
    
    
    • 此时_weak_hidden_function被标记为lw,变为弱定义本地符号
    弱引用符号

    Weak Reference Symbol:表示此未定义符号是弱引⽤。如果动态链接器找不到该符号的定义,则将其设置为0。链接器会将此符号设置弱链接标志

    打开WeakImportSymbol.h文件,写入以下代码:

    void weak_import_function(void) __attribute__((weak_import));
    
    
    • 使用__attribute__((weak_import))weak_import_function声明为若引用符号
    • 此时项目中没有weak_import_function函数的实现

    打开main.m文件,写入以下代码:

    #import <Foundation/Foundation.h>
    #import "WeakImportSymbol.h"
    
    int main(int argc, char *argv[]) {
       if (weak_import_function) {
           weak_import_function();
       }
       return 0;
    }
    

    由于weak_import_function函数没有实现,但在main.m中被使用,此时编译报错,提示未定义符号

    • 当导入.h头文件并使用符号时,类似于API的使用,只要找到符号的声明即可。即使函数没有被实现,也可以生成目标文件。但链接生成可执行文件时,需要知道符号的具体位置,如果函数没有被实现,会出现错误提示:未定义符号

    解决弱引用符号的使用问题,可以通过链接器,将符号声明为动态链接

    使用man ld命令查看链接器参数:

    • -U:指明该符号未定义,需要运行时动态查找

    打开xcconfig文件,添加OTHER_LDFLAGS配置项

    OTHER_LDFLAGS=$(inherited) -Xlinker -U -Xlinker _weak_import_function
    
    • 此时项目可以正常编译成功
    • 通过-U参数,告诉链接器此符号是动态链接的,所以在链接阶段,即使它是未定义符号,忽略,不用管它。因为在运行时,动态链接器会自动找到它

    运行项目,虽然weak_import_function函数没有被实现,但运行并不会报错

    • 因为main函数中调用weak_import_function函数之前有if (weak_import_function)的判断
    • 当动态链接器找不到该符号的定义,则将其设置为0。所以weak_import_function函数并不会被调用

    弱引用符号的作用

    • 将一个符号声明为弱引用符号,可以避免编译链接时报错。在调用之前增加条件判断,运行时也不会报错
    • 使用动态库的时候,可以将整个动态库声明为弱引用,此时动态库即使没有被导入,也不会出现未找到动态库的错误
    Common Symbol

    在定义时,未初始化的全局符号

    例如:main.m文件中,未初始化的global_uninit_value全局变量,它就属于Common Symbol

    int global_uninit_value;
    

    打开main.m文件,定义两个同名的全局变量,一个初始化,另一个不进行初始化,这种操作并不会报错

    int global_init_value = 10;
    int global_init_value;
    
    • Common Symbol的作用
    • 在编译和链接的过程中,如果找到定义的符号,会自动将未定义符号删掉
    • 在链接过程中,链接器默认会把未定义符号变成强制定义的符号

    链接器设置:

    • -d:强制定义Common Symbol
    • -commons:指定对待Common Symbol如何响应
    重新导出符号

    NSLog为例:

    • 对于当前程序来说,NSLog属于存储在间接符号表中的未定义符号

    NSLog可以在当前程序使用,如果想让使用此程序的其他程序也能使用,就要将此符号重新导出。重新导出之后的符号会放在导出符号表中,此时才能被外界查看并使用

    使用man ld命令查看链接器参数:

    • -alias:只能给间接符号表中的符号创建别名,别名符号具有全局可见性

    打开xcconfig文件,添加OTHER_LDFLAGS配置项

    OTHER_LDFLAGS=$(inherited) -Xlinker -alias -Xlinker _NSLog -Xlinker Cat_NSLog
    
    
    • _NSLog符号创建Cat_NSLog别名

    使用nm -m ${MACH_PATH} | grep "Cat_NSLog"命令查看符号表,指定"Cat_NSLog"关键字

    (indirect) external Cat_NSLog (for _NSLog)
    
    
    • 此时Cat_NSLog是一个间接外部符号,是_NSLog符号的别名

    使用objdump --macho --exports-trie ${MACH_PATH}命令查看导出符号

    Exports trie:
    0x100000000  __mh_execute_header
    0x100003F20  _main
    0x100008018  _global_init_value
    0x100008028  _global_uninit_value
    [re-export] Cat_NSLog (_NSLog from Foundation)
    
    
    • Cat_NSLog为导出符号,并且标记为[re-export],代表重新导出符号

    重新导出符号的作用

    • 将一个间接符号表中的符号声明为重新导出符号,可以让使用此程序的其他程序也能使用
    • 当程序链接A动态库,而A动态库又链接B动态库时,B动态库对于程序来说是不可见的。此时可以使用重新导出的方式,让B动态库对程序可见

    四、符号的扩展

    查看项目使用的三方库和符号等信息

    通过链接器,可以查看当前项目中使用的三方库和符号等信息

    使用man ld命令查看链接器参数:

    • -map:将所有符号详细信息导出到指定文件

    打开xcconfig文件,添加OTHER_LDFLAGS配置项

    OTHER_LDFLAGS=$(inherited) -Xlinker -map -Xlinker $(PROJECT_DIR)/export.txt
    
    

    编译项目,此时项目目录下多出export.txt文件

    打开export.txt文件

    # Path: /Users/zang/Library/Developer/Xcode/DerivedData/MachOAndSymbol-bdzlylfoorwnhggerxdmwocpeyad/Build/Products/Debug/MachOAndSymbol
    # Arch: x86_64
    # Object files:
    [  0] linker synthesized
    [  1] /Users/zang/Library/Developer/Xcode/DerivedData/MachOAndSymbol-bdzlylfoorwnhggerxdmwocpeyad/Build/Intermediates.noindex/MachOAndSymbol.build/Debug/MachOAndSymbol.build/Objects-normal/x86_64/LGOneObject.o
    [  2] /Users/zang/Library/Developer/Xcode/DerivedData/MachOAndSymbol-bdzlylfoorwnhggerxdmwocpeyad/Build/Intermediates.noindex/MachOAndSymbol.build/Debug/MachOAndSymbol.build/Objects-normal/x86_64/main.o
    [  3] /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX11.1.sdk/System/Library/Frameworks//Foundation.framework/Foundation.tbd
    # Sections:
    # Address   Size        Segment Section
    0x100003EF0 0x0000006F  __TEXT  __text
    0x100003F60 0x00000006  __TEXT  __stubs
    0x100003F68 0x0000001A  __TEXT  __stub_helper
    0x100003F82 0x00000011  __TEXT  __cstring
    0x100003F93 0x0000000C  __TEXT  __objc_classname
    0x100003F9F 0x0000000E  __TEXT  __objc_methname
    0x100003FAD 0x00000008  __TEXT  __objc_methtype
    0x100003FB8 0x00000048  __TEXT  __unwind_info
    0x100004000 0x00000008  __DATA_CONST    __got
    0x100004008 0x00000040  __DATA_CONST    __cfstring
    0x100004048 0x00000008  __DATA_CONST    __objc_classlist
    0x100004050 0x00000008  __DATA_CONST    __objc_imageinfo
    0x100008000 0x00000008  __DATA  __la_symbol_ptr
    0x100008008 0x000000B0  __DATA  __objc_const
    0x1000080B8 0x00000050  __DATA  __objc_data
    0x100008108 0x00000010  __DATA  __data
    0x100008118 0x00000004  __DATA  __bss
    0x100008120 0x00000010  __DATA  __common
    # Symbols:
    # Address   Size        File  Name
    0x100003EF0 0x00000027  [  1] -[LGOneObject testOneObject]
    0x100003F20 0x0000003F  [  2] _main
    0x100003F60 0x00000006  [  3] _NSLog
    0x100003F68 0x00000010  [  0] helper helper
    0x100003F78 0x0000000A  [  3] _NSLog
    0x100003F82 0x0000000E  [  1] literal string: testOneObject
    0x100003F90 0x00000003  [  2] literal string: %d
    0x100003F93 0x0000000C  [  1] literal string: LGOneObject
    0x100003F9F 0x0000000E  [  1] literal string: testOneObject
    0x100003FAD 0x00000008  [  1] literal string: v16@0:8
    0x100003FB8 0x00000048  [  0] compact unwind info
    0x100004000 0x00000008  [  0] non-lazy-pointer-to-local: dyld_stub_binder
    0x100004008 0x00000020  [  1] CFString
    0x100004028 0x00000020  [  2] CFString
    0x100004048 0x00000008  [  1] objc-cat-list
    0x100004050 0x00000008  [  0] objc image info
    0x100008000 0x00000008  [  3] _NSLog
    0x100008008 0x00000048  [  1] __OBJC_METACLASS_RO_$_LGOneObject
    0x100008050 0x00000020  [  1] __OBJC_$_INSTANCE_METHODS_LGOneObject
    0x100008070 0x00000048  [  1] __OBJC_CLASS_RO_$_LGOneObject
    0x1000080B8 0x00000028  [  1] _OBJC_METACLASS_$_LGOneObject
    0x1000080E0 0x00000028  [  1] _OBJC_CLASS_$_LGOneObject
    0x100008108 0x00000008  [  0] __dyld_private
    0x100008110 0x00000004  [  2] _global_init_value
    0x100008114 0x00000004  [  2] _static_init_value
    0x100008118 0x00000004  [  2] _static_uninit_value
    0x100008120 0x00000008  [  2] _global_uninit_value
    0x100008128 0x00000008  [  2] _default_x
    
    
    • 文件内包含了编译链接时生成的目标文件,项目中使用的三方库,还包含项目中的SectionsSymbols等信息
    Section的名称与作用
    名称 作用
    TEXT.text 可执行的机器码
    TEXT.cstring 去重后的C字符串
    TEXT.const 初始化过的常量
    TEXT.stubs 符号桩。lazybinding的表对 应项指针指向的地址的代码
    TEXT.stub_ helper 辅助函数。当在lazybinding的表中没有找到对应项的指针表示的真正的符号地址的时候,指向这
    TEXT.unwind_info 存储处理异常情况信息
    TEXT.eh_frame 调试辅助信息
    DATA.data 初始化过的可变的数据
    DATA.nI_symbol_ptr lazy-binding的指针表,每个表中的指针指向一个在装载过程中,被动态链接器搜索完成的符号
    DATA.Ia_symbol_ptr lazy-binding的指针表,每个表中的指针一开始指向stub_helper
    DATA.const 没有初始化过的常量
    DATA.mod_init_func 初始化函数,在main之前调用
    DATA.mod_term_func 终止函数,在main返回之后调用
    DATA.bss 没有初始化的静态变量
    DATA.common 没有初始化过的符号声明(for example, int I;
    Swift符号表

    打开SwiftSymbol.swift文件,写入以下代码:

    public class LGSwiftClassSymbol {
       func testSwiftSymbol() {
       }
    }
    
    

    使用objdump --macho --syms ${MACH_PATH} | grep "Swift"命令查看符号表,指定Swift关键字

    0000000100003f8a lw    O __TEXT,__swift5_typeref _symbolic _____ 14MachOAndSymbol012LGSwiftClassC0C
    0000000100003f90 l     O __TEXT,__swift5_fieldmd _$s14MachOAndSymbol012LGSwiftClassC0CMF
    0000000100008020 l     O __DATA,__objc_const __METACLASS_DATA__TtC14MachOAndSymbol18LGSwiftClassSymbol
    0000000100008068 l     O __DATA,__objc_const __DATA__TtC14MachOAndSymbol18LGSwiftClassSymbol
    00000001000080e8 l     O __DATA,__data _$s14MachOAndSymbol012LGSwiftClassC0CMf
    0000000100003d90 g     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC0C09testSwiftC0yyF
    0000000100003f78 g     O __TEXT,__const _$s14MachOAndSymbol012LGSwiftClassC0C09testSwiftC0yyFTq
    0000000100003e10 g     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC0CACycfC
    0000000100003f80 g     O __TEXT,__const _$s14MachOAndSymbol012LGSwiftClassC0CACycfCTq
    0000000100003e40 g     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC0CACycfc
    0000000100003e60 g     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC0CMa
    00000001000080c0 g     O __DATA,__data _$s14MachOAndSymbol012LGSwiftClassC0CMm
    0000000100003f44 g     O __TEXT,__const _$s14MachOAndSymbol012LGSwiftClassC0CMn
    00000001000080f8 g     O __DATA,__data _$s14MachOAndSymbol012LGSwiftClassC0CN
    0000000100003dd0 g     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC0CfD
    0000000100003db0 g     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC0Cfd
    0000000000000000         *UND* _OBJC_CLASS_$__TtCs12_SwiftObject
    0000000000000000         *UND* _OBJC_METACLASS_$__TtCs12_SwiftObject
    
    
    • 查找出所有包含Swift关键字的符号,其中有很多标记为g的全局符号

    打开SwiftSymbol.swift文件,修改LGSwiftClassSymbol类的访问控制,改为private修饰

    private class LGSwiftClassSymbol {
       func testSwiftSymbol() {
       }
    }
    
    

    使用objdump --macho --syms ${MACH_PATH} | grep "Swift"命令查看符号表,指定Swift关键字

    0000000100003d10 l     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLC09testSwiftC0yyF
    0000000100003d30 l     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCfd
    0000000100003d50 l     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCfD
    0000000100003d90 l     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCMa
    0000000100003db0 l     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCADycfC
    0000000100003de0 l     F __TEXT,__text _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCADycfc
    0000000100003f1c lw    O __TEXT,__const _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCMXX
    0000000100003f44 l     O __TEXT,__const _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCMn
    0000000100003f78 l     O __TEXT,__const _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLC09testSwiftC0yyFTq
    0000000100003f80 l     O __TEXT,__const _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCADycfCTq
    0000000100003f8a lw    O __TEXT,__swift5_typeref _symbolic _____ 14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLC
    0000000100003f90 l     O __TEXT,__swift5_fieldmd _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCMF
    0000000100008020 l     O __DATA,__objc_const __METACLASS_DATA__TtC14MachOAndSymbolP33_66093EBE10D00815F1A5CBD65FFF466118LGSwiftClassSymbol
    0000000100008068 l     O __DATA,__objc_const __DATA__TtC14MachOAndSymbolP33_66093EBE10D00815F1A5CBD65FFF466118LGSwiftClassSymbol
    00000001000080c0 l     O __DATA,__data _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCMm
    00000001000080e8 l     O __DATA,__data _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCMf
    00000001000080f8 l     O __DATA,__data _$s14MachOAndSymbol012LGSwiftClassC033_66093EBE10D00815F1A5CBD65FFF4661LLCN
    0000000000000000         *UND* _OBJC_CLASS_$__TtCs12_SwiftObject
    0000000000000000         *UND* _OBJC_METACLASS_$__TtCs12_SwiftObject
    
    
    • 之前那些标记为g的全局符号,全部变为本地符号
    $(SRCROOT)$(PROJECT_DIR)的区别
    • $(SRCROOT)代表的是项目根目录下
    • $(PROJECT_DIR)代表的是整个项目

    往项目添加文件时,例如.a文件,要先Show in Finder,复制到工程目录中,然后再拖到xcode项目中

    而有时.a不在工程目录中。例如在工程的父目录,可以写成:$(SRCROOT)/../Spark/libSDK。其中/../就是指向父目录

    五、 符号的剥离Strip命令

    • 符号表中有些符号是必须的,但是很多符号都是去掉的 , strip经常用来去除目标文件中的一些符号表、调试符号表信息,以减小程序的大小;
    • strip命令:移除或修改符号表中的符号。App 进行脱符号,可以将本地符号,全局符号全部脱去(All symbols),只留下间接符号表中的符号。
    5.1 如何脱去调试符号
    5.2 如何脱去All Symbols
    • 静态库进行脱符号,放置在重定位符号表中的符号不能脱去,能脱去的只要调试符号(Debugging Symbols)

    调试符号:由汇编器生成.o文件时,会生成一个DWARF格式的调试信息,它会被放到__DWARF段,在链接是,会将__DWARF段放到符号表中,链接后所有的符号都放在符号表中

    • 动态库进行脱符号,只要不是全局符号都可以被干掉(Non-Global Symbols)

    如何脱去Non-Global Symbols

    链接一个静态库,静态库中的符号会合并到APP中,但不会存入间接符号表,然后进行APP脱符号时,可以体积缩小

    链接一个动态库,动态库中的符号表会放到APP的间接符号表,然后进行APP脱符号时,间接符号表不能被脱去

    5.3 Build Setting的Strip Style选择
    • Debugging Symbols
    • All Symbols
    • Non-Global Symbols
    5.4 Strip执行的时机

    编译完成执行脚本后 ,签名之前,所以这是后剥离符号 已经不起作用了

    5.5 Strip剥离符号
    • -x : non_global
    • 无参数: 代表全部符号
    • -S : 剥离调试符号

    app瘦身:

      1. 在编译的时生产目标文件时优化 -O1,-Oz;
      1. dead code strip 在链接的时死代码剥离 ;
      1. strip 生产Macho文件后剥离符号 ;

    给链接器传参 -S (去除调试符号)

    相关文章

      网友评论

        本文标题:iOS强化 : 符号 Symbol

        本文链接:https://www.haomeiwen.com/subject/vdgwhltx.html