Xcode 依赖管理带来的静态库动态库思考

最近整理一些项目以前依赖留下的问题,在使用 CocoaPods 和 Carthage 的时候引出了关于静态库和动态库的思考,手动编译静态库的朋友应该知道,如果自己编译了一个静态库,这个静态库依赖了 iOS 自带的库,即使你在 Xcode 中显式指定了依赖,当你在另一个工程中使用这个静态库的时候,依旧需要显式在那个工程指定这个静态库所依赖的系统库。

举个栗子

AFNetworking 是个好东西,大家都喜欢用,在日常使用的时候,一般都是使用 CocoaPods 引入这个库,笔者前面有篇文章分析了 CocoaPods 做了什么工作,但是却没有分析 CocoaPods 为何如此设计,这里先卖个关子不讲。AFNetworking 依赖 Security.framework MobileCoreServices.framework SystemConfiguration.framework 三个系统框架,如果我们将其编译为静态库,然后这个静态库被其他工程依赖,那么其他工程依旧需要引入这三个框架。如果我们将其编译为动态库,则不需要依赖这三个框架。这个情况引起了笔者的兴趣

分析

既然问题是编译链接,那么就需要从动态库和静态库入手分析,首先,我们需要明确的是,系统提供的 framework 都是动态库的形式提供的。这很好理解,因为 UIKit 这类 framework 被使用的太频繁了,内存中完全只需要保留一份副本。这样也能减轻 App 的大小。那么直接来着手模拟一下其编译过程。

模拟静态库的编译

创建一个动态库用于模拟系统库

dynamic.h
----------
void hello();

dynamic.c
----------
#include "dynamic.h"
#include <stdio.h>

void hello() {
    printf("Hello World");
}

然后编译打包动态库

> gcc -c -o dynamic.o dynamic.c # 编译为对象文件
> gcc -shared dynamic.o -o libdynamic.so

创建一个静态库用于模拟第三方静态库

static.h
--------
void sayHello();

static.c
--------
#include "static.h"
#include "dynamic.h"

void sayHello() {
    hello();
}

然后编译静态库

> gcc -c -o static.o static.c
> ar -r libstatic.a static.o

这里大家有没有发现一个问题,静态库实际上并没有链接动态库,仅仅只是 include 了一个头文件用于编译通过。最终生成的静态库根本不知道动态库的存在。
然后创建一个带有 main 函数的程序

hello.c
-------
#include "static.h"
int main(int argc, char *argv[]) {
    sayHello();
}

然后编译

> gcc -o hello hello.c -L. -lstatic
# 直接报错没有找到 hello() 的二进制代码
Undefined symbols for architecture x86_64:
  "_hello", referenced from:
      _sayHello in libstatic.a(static.o)
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)

模拟动态库的编译

创建一个动态库用于模拟系统库

dynamic1.h
----------
void hello();

dynamic1.c
----------
#include "dynamic1.h"
#include <stdio.h>

void hello() {
    printf("Hello World");
}

然后编译打包动态库

> gcc -c -o dynamic1.o dynamic1.c # 编译为对象文件
> gcc -shared dynamic1.o -o libdynamic1.so

创建动态库用于模拟第三方动态库

dynamic2.h
--------
void sayHello();

dynamic2.c
--------
#include "dynamic2.h"
#include "dynamic1.h"

void sayHello() {
    hello();
}

然后编译打包动态库

> gcc -c -o dynamic2.o dynamic2.c # 编译为对象文件
> gcc -shared dynamic2.o -o libdynamic2.so
# 报错,显示 dynamic2.o 中没有 hello() 二进制代码
Undefined symbols for architecture x86_64:
  "_hello", referenced from:
      _sayHello in dynamic2.o
ld: symbol(s) not found for architecture x86_64
clang: error: linker command failed with exit code 1 (use -v to see invocation)
> gcc -shared dynamic2.o -o libdynamic2.so -L. -ldynamic1
# 成功,无报错

然后创建一个带有 main 函数的程序

hello.c
-------
#include "static.h"
int main(int argc, char *argv[]) {
    sayHello();
}

然后编译

> gcc -o hello hello.c -L. -ldynamic2

总结

从上面两个编译过程大家应该也能明白了,静态库实际上只是对象文件的打包,也就是说,只经过了编译过程,而没有链接过程,编译一个静态库甚至只需要满足所有函数的声明就行,而动态库虽然没有经过正规的链接,但是实际上还是通过 gcc 做了跟其他动态库的链接,动态库自身有了依赖的概念。所以不需要在工程中显式依赖了。
这里可能有朋友想要问,这种知识有什么用处?实际上这种知识在依赖管理中有用,前面说过 CocoaPods 对工程修改了很多内容,这是有原因的,因为 iOS8 之前是不存在动态库的,只存在静态库,CocoaPods 不得不对目标工程也作出修改来添加对其他库的依赖,因为静态库不知道自身依赖什么库。而 Carthage 则只支持 iOS8 和动态库,所以完全可以没有侵入性,只需要提供一个动态库,然后工程依赖这个动态库就行了。

    原文作者:山河永寂
    原文地址: https://segmentfault.com/a/1190000005681644
    本文转自网络文章,转载此文章仅为分享知识,如有侵权,请联系博主进行删除。
点赞