《深入理解计算机系统》-链接学习笔记

以前对链接的了解少之又少，只知道在汇编之后经过链接就形成可执行文件，而很多的链接错误又很难看懂，正好借着这一章学习学习

---

首先看一个示例程序

// main.c
int sum(int* a, int n);

int array[2] = {1, 2};

int main()
{
    int val = sum(array, 2);
    return val;
}

// sum.c
int sum(int *a, int n)
{
    int i, s = 0;
    for (i = 0; i < n; i++)
        s += a[i];
    return s;
}

因为工作中通常都是直接通过引用头文件来调用其他文件定义的函数，所以对示例程序的这种方法还不是很熟，但其实原理是一样的，引用头文件其实也就是进行了声明。我们用gcc生成可执行文件：

gcc -Og -o prog main.c sum.c

这样就会经过编译、汇编和链接后生成一个可执行文件。链接器主要完成两个工作：

1. 符号解析：将每个符号的引用和定义关联起来。符号通常是变量或者函数
2. 重定位：编译器和汇编器生成的代码和数据都是从地址0开始的，组合起来时需要重定位

可重定位目标文件通常会有.symtab这个符号表来存放在程序中定义和引用的函数和全局变量，由于局部变量是分配在栈上的，所以对链接器是不可见的

这里main.c能正确调用到sum.c的实现的原因是，sum函数是全局函数，并在main.c进行了声明。我们可以分别试试不满足这些条件的话会怎么样，首先去除声明：

// main.c
// int sum(int* a, int n); 不进行声明

int array[2] = {1, 2};

int main()
{
    int val = sum(array, 2);
    return val;
}