符号与链接 (2)

简介: 符号与链接 (2)

符号与链接 (2)


遇到的问题


  1. 关于xcconfig
    xconfig编写指南
    xconfig编写指南


//绝对+相对
#include "Pods/Target Support Files/Pods-LoginApp/Pods-LoginApp.debug.xcconfig"
#include "LoginApp/PP/Test.xcconfig"
SLASH=/
//自定义变量的用法,下面两种都可以
// ${SLASH}
// $(SLASH)
HOST_URL = http:${SLASH}/127.0.0.1
// Debug iphonesimulator* x86_64
// 可以设置条件, Cat这个库本来不存在
// scheme 为 Debug生效
// iphonesimulator* 模拟器状态下生效
OTHER_LDFLAGS[config=Debug][sdk=iphonesimulator*][arch=x86_64]=-framework "Cat"


  1. 关于多Target, 每个Target可以指定编译的文件


  1. Swift宏


  • 定义宏时, 需要前面加-D,


  • 项目中有swift文件, Target编译里面有swift文件
build setting -> swift -> Other Swift Flags -> Debug -> -D DEV
  • 然后项目中就可以使用DEV来判断了


静态链接与动态链接


MachO文件格式



微信图片_20220509174742.jpg

16189242255752.jpg


MachO,前面是配置,后面是代码,通过配置来找到代码

微信图片_20220509174747.jpg

16189248548725.jpg


VERBOSE_SCRIPT_LOGGING=-v
MACH_PATH=${BUILD_DIR}/$(CONFIGURATION)$(EFFECTIVE_PLATFORM_NAME)/${PRODUCT_NAME}
// 查看mach-header
// objdump --macho -private-header ${MACH_PATH}
// otool -h ${MACH_PATH}
// 查看__TEXT (查看下面_main函数图片)
// objdump --macho -d ${MACH_PATH}
// 查看符号表
// objdump --macho --syms ${MACH_PATH}
// 查看导出符号
// objdump --macho --exports-trie ${MACH_PATH}
// 查看间接符号表
// objdump --macho --indirect-symbols ${MACH_PATH}
// nm -m ${MACH_PATH}
CMD = objdump --macho --syms ${MACH_PATH}
TTY=/dev/ttys002
// mach-o + 签名 -> 苹果就认
// mach-o __TEXT.__text只读
// 2016 7、8年 60m 500m __TEXT.__text


微信图片_20220509174752.jpg

16189251106976.jpg


代码 -> .0的过程


  1. 汇编
  2. 符号归类 ->  重定位符号表  符号表


       1.重定位符号表 -> 放置的是.m/.o用到的API


  1. .o文件 -> 链接 -> 符号表合并到一张表中 -> 可执行文件(exec)


        1.链接过程 ->  就是处理目标文件符号的过程


#import <Foundation/Foundation.h>
#import "WeakImportSymbol.h"
//#import "LGOneObject.h"
// 全局变量
int global_uninit_value;
int global_init_value = 10;
double default_x __attribute__((visibility("hidden")));
// 静态变量 -> 本地变量
// 导入 导出
static int static_init_value = 9;
static int static_uninit_value;
void weak_function(void) {
    NSLog(@"weak_function");
}
// .o -》 虚拟 -〉NSLog
// 1. 汇编
// 2. 符号归类 -》 重定位符号表
// 3. 重定位符号表 -〉.m/.o 用到的API
// .o -> 链接 -> 一张表 -> exec
// 链接 -》 处理目标文件符号
int main(int argc, char *argv[]) {
    static_uninit_value = 10;
    // 导入了NSLog
    // Foundation 导出了 NSLog
    // 动态库 -> 符号
    // 间接符号表 -> 动态库符号
    // 间接符号表
    // oc动态库 -> 体积 ->
    // re导出
    NSLog(@"%d", static_init_value);
    // API
    // 动态库 -》 weak引用
    if (weak_import_function) {
        weak_import_function();
    }
//    LGOneObject *one = [LGOneObject new];
//    [one testOneObject];
//    NSLog(@"%@", one);
  return 0;
}
// 动态库
// 全局符号 -》 导出符号 -〉strip 动态库 不是全局符号的符号
// App -> 本地 + 全局  = 间接符号表中的符号
// 静态库 = .o 合集 + 重定位符号表 = .o 合集 调试符号
// tdb
// App -》静态库 -〉 App -》strip -〉 间接符号表
// App -》动态库 -〉 App -》 间接符号表 strip -〉 动态库
// dead strip


重定位符号


objdump --macho --reloc test.o

test


微信图片_20220509174756.jpg

16189259162526.jpg


查看符号表


// 查看符号表
// objdump --macho --syms ${MACH_PATH}


微信图片_20220509174800.jpg

16189266407232.jpg


  1. OTHER_LDFLAGS=$(inherited) -Xlinker -S 去除调试符号
 -S 去除调试符号
 DWARF调试文件 ->  __DWARF 段 / .o
链接 ->  DWARF ->  符号表 -> exec
  1. 没有static开头的 -> 全局符号
  2. static -> 本地符号


#include "MachOAndSymbol.RunCMD.xcconfig"
// -S 去除调试符号
// DWARF调试文件 ->  __DWARF 段 / .o
// 链接 -》 DWARF -〉 符号表 -》exec
// -map
OTHER_LDFLAGS=$(inherited) -Xlinker -S -Xlinker -map -Xlinker /Users/ws/Desktop/VIP课程/第一节、符号与链接(下)/上课代码/Symbol.text
OTHER_LDFLAGS=$(inherited) -Xlinker -unexported_symbol -Xlinker _OBJC_CLASS_$_LGOneObject
OTHER_LDFLAGS=$(inherited) -Xlinker -unexported_symbol -Xlinker _OBJC_METACLASS_$_LGOneObject
OTHER_LDFLAGS=$(inherited) -Xlinker -U -Xlinker _weak_import_function
// 间接符号 符号 别名
OTHER_LDFLAGS=$(inherited) -Xlinker -alias -Xlinker _NSLog -Xlinker Cat_NSLog


隐藏全局符号


第一种


// visibility属性,控制文件导出符号,限制符号可见性
/**
    -fvisibility:clang参数
    default:用它定义的符号将被导出。
    hidden:用它定义的符号将不被导出。
 */
// 隐藏 -> 本地
int hidden_y __attribute__((visibility("hidden"))) = 99;
// 符号
double default_y __attribute__((visibility("default"))) = 100;
//double protected_y __attribute__((visibility("protected"))) = 120;


第二种


double default_x __attribute__((visibility("hidden")));


attribute -> 最常用于标记一个方法已经废弃


二级命名空间 two_levelnamespace & flat_namespace


当全局符号声明的方法冲突时,运行并没有崩溃 -> 二级命名空间


二级命名空间与一级命名空间. 链接器默认采用二级命名空间, 也就是除了会记录符号名称, 还会记录符号属于哪个Mach-O的, 比如会记录下来_NSLog来自Foundtion.


符号的种类与作用


导入符号&导出符号

• 导入了NSLog
• Foundation 导出了 NSLog (全局符号)
• 动态库 -> 提供符号
• 间接符号表 -> 保存了动态库符号
• 全局符号 -> 可以变成导出符号 -> strip 动态库不是全局符号的符号


// 查看导出符号
// objdump --macho --exports-trie ${MACH_PATH}
// 查看间接符号表
// objdump --macho --indirect-symbols ${MACH_PATH}


OC 代码默认是导出符号(就算是私有方法)


  • oc动态库 -> 体积变小 -> 隐藏OC符号


//隐藏OC符号
OTHER_LDFLAGS=$(inherited) -Xlinker -unexported_symbol -Xlinker _OBJC_CLASS_$_LGOneObject
OTHER_LDFLAGS=$(inherited) -Xlinker -unexported_symbol -Xlinker _OBJC_METACLASS_$_LGOneObject
//查看当前项目符号情况&以及连接的外部符号的情况
OTHER_LDFLAGS=$(inherited) -Xlinker -S -Xlinker -map -Xlinker /Users/ws/Desktop/VIP课程/第一节、符号与链接(下)/上课代码/Symbol.text


弱引用符号


Weak Symbol:


  • Weak Reference Symbol: 表示此未定义符号是弱引用. 如果动态链接器找不到该符号的定义, 则将其置为0. 链接器会将此符号设置弱链接标志.
  • Weak defintion Symbol: 表示此符号为弱定义符号. 如果静态链接器或动态链接器为此符号找到另一个(非弱)定义, 则弱定义将被忽略. 只能将合并部分中的符号标记为弱定义.


// weak def -> 导出符号
// weak def -> 解决全局符号冲突
// 定义为弱定义并不会影响导出
void weak_function(void)  __attribute__((weak));
// weak 本地符号
void weak_hidden_function(void) __attribute__((weak, visibility("hidden")));
// 弱引用
// 本地其他文件使用还是需要导入头文件
void weak_import_function(void) __attribute__((weak_import));
//也可以通过 -U 声明一个符号是未定义, 需要链接时动态查找
OTHER_LDFLAGS=$(inherited) -Xlinker -U -Xlinker _weak_import_function
// API
// 可以将动态库 -> 整个声明成weak引用


重新导出符号


// 间接符号 符号 别名
OTHER_LDFLAGS=$(inherited) -Xlinker -alias -Xlinker _NSLog -Xlinker Cat_NSLog
//查看符号表命令
CMD = nm -m ${MACH_PATH} | grep 'Cat'


可以让一个隐藏的动态库, 对另一个可见


Swift符号


记得添加Swift文件并编译 -> 编译型语言,不是动态的


strip命令与MachO体积


移出或者修改符号表中的符号 代码优化


  • 动态库


  • 全局符号 -> 导出符号 -> strip 动态库 不是全局符号的符号
  • App


  • 本地 + 全局  = 间接符号表中的符号
  • 静态库


  • .o 合集 + 重定位符号表 = .o 合集 调试符号


// App -> 静态库 ->  App符号表 -> strip -> 间接符号表
// App -> 动态库 ->  App -> 间接符号表 strip -> 动态库
// dead strip

要看PPT整理strip


Strip Style:


1. Debugging Symbols (.o静态库/可执行文件 动态库)

2. All Symbols

3. Non-Global Symbols


Strip


1. -x: non_global

2. 无参数: 代表全部符号

3. -S:调试符号


微信图片_20220509174804.jpg

16189320434439.jpg


微信图片_20220509174808.jpg

16189320689828.jpg


微信图片_20220509174813.jpg

16189320862983.jpg


!

16189321050427.jpg


微信图片_20220509174816.jpg

16189321250766.jpg


strip的源码调试


下面是探索strip的源码过程, 可以根据上面的图片, 来进行相应的探索.


• target 里搜 strip -> llvm-strip
• 查看脚本, 原理如果是Debug模式, 那么llvm-objcopy 进行符号链接生成 -> llvm-strip
• llvm-objcopy -> 右键替身 -> 命名为strip
• 如果名字为strip -> strip
• 如果名字为llvm-objcopy -> llvm-objcopy
• 去编译文件里面找llvm-objcopy文件, 显示到源文件, Mian函数打断点
• 去scheme添加strip
• product -> perform Action -> Run Without Building
• 断到断点之后 -> 控制台输入br read -f [strip_lldb路径]
• br read -f [strip_lldb路径]从一个文件中, 把断点信息读进来
• br list strip -> 断点默认没有启用 ->  br enable strip
• scheme -> argments -> 添加可执行文件路径 以及参数 -> 去调试
• -x: non_global
• 无参数: 代表全部符号
• -S:调试符号

扩展:


  • br write -f [把断点写入一个文件]

strip_lldb




目录
相关文章
|
6月前
|
C#
C#学习相关系列之常用符号介绍
C#学习相关系列之常用符号介绍
|
3月前
数字符号概述
数字符号概述
20 0
|
5月前
|
自然语言处理 编译器 C语言
23.(C语言)编译和链接
23.(C语言)编译和链接
|
6月前
去掉链接的下划线
去掉链接的下划线。
28 4
|
6月前
|
索引
leetcode-779:第K个语法符号
leetcode-779:第K个语法符号
50 0
|
编译器 程序员 C语言
C++编译器和链接器的完全指南
C++是一种强类型语言,它的编译和链接是程序开发过程中不可或缺的两个环节。编译器和链接器是两个非常重要的概念。本文将详细介绍C++中的编译器和链接器以及它们的工作原理和使用方法。
469 0
lodash如何转换字符串为链接形式
lodash如何转换字符串为链接形式
77 0
mathjax符号
mathjax公式 \(\delta\): \delta \(\Delta\): \Delta \(\int\): \int \(\iint\): \iint \(\approx\): \approx \(\theta\): \theta \(\alpha\): \alp...
1174 0
|
算法
大O符号基础
大O符号(Big O notation), 又称渐进符号,是用于描述函数的渐近行为的数学符号。它是指用另一个(通常更简单的)函数来描述一个函数数量级的渐进上界。
2541 0