静态链接的过程通俗来说就是:链接器将可重定位目标文件合并,并同时将被引用的静态库中的模块也复制合并进来,最终成为一个可执行目标文件的过程。所得到的可执行目标文件是完全链接的,并且每一条代码指令在虚拟内存空间中都有了唯一对应的位置
经过了符号解析的过程之后,每个符号都有唯一的定义与之对应,并且在原来的每个重定位文件当中有一个.rel节,其中就是一个个的重定位条目,记录着本模块中那些引用需要被修改,要怎么样被修改。具体如下:
可重定位目标文件结构
静态链接的两个过程:
下面来看一个与自定义静态库链接的例子:
addvec.c
int addcnt = 0;
void addvec(int *x,int *y
int *z,int n)
{
int i;
addcnt;
for(i = 0;i < n; i++)
z[i] = x[i] + y[i];
}
multvec.c
int multcnt = 0;
void multvec(int *x,int *y
int *z,int n)
{
int i;
multcnt++;
for(i = 0;i < n; i++)
z[i] = x[i] + y[i];
}
vector.h
/* prototypes for libvector */
void addvec(int *x, int *y, int *z, int n);
void multvec(int *x, int *y, int *z, int n);
int getcount();
main2.c
#include <stdio.h>
#include "vector.h"
int x[2] = {1, 2};
int y[2] = {3, 4};
int z[2];
int main()
{
addvec(x, y, z, 2);
printf("z = [%d %d]\n", z[0], z[1]);
return 0;
}
注意:以上四个源文件处于同一目录之下
Step1、生成静态库
我们先编译addvec.c与multvec.c
gcc -c addvec.c multvec.c
得到addvec.o multvec.o两个可重定位目标文件,再利用ar工具来生成一个静态库:
ar rcs libvector.a addvec.o multvec.o
Step2、链接
编译如上文包含了头文件的vector.h的main2.c的主模块
gcc -c main2.c
得到main2.c,再与静态库libvector.a链接:
gcc -static -o prog2c main.o ./libvector.a
或者:gcc -static -o prog2c main.o -L -lvector
以下是本例具体过程
所以最终得到的就是一个名为prog2c的可执行文件,命令 ./prog2c 即可运行,以下是操作过程与运行结果:
与源代码比对发现最终向量z结果就是向量x和y相加的结果