iOS强化 : 符号 Symbol

前言 :
  • 之前接触过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  */   
   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 

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 
#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)