链接详解--多目标文件的链接

注：1. 可用nm查看文件符号表。

      2. 可用readelf -a main查看elf格式文件。

      3. bss段：未初始化的数据，block storage start，或better save apace。

 

以下列程序为例说明：

/* stack.c */

char stack[512];

int top = -1;

void push (char c)

{

　　stack[++top] = c;

}

char pop(void)

{

　　return stack[top--];

}

int is_empty(void)

{

　　return top == -1;

}

 

/* main.c */

#include <stdio.h>

int a, b=1;

int main(void)

{

　　push('a');

　　push('b');

　　push('c');

 

　　while(!is_empty()){

　　　　putchar(pop());

　　}

　　putchar('\n');

　　

　　return 0;

}

编译过程：gcc main.c stack.c -o main

              gcc -c  main.c 

              gcc -c stack.c

              gcc main.o stack.o -o main

main.o包含.bss段：a，.data段：b，.text段：main

stack.o包含.bss段：stack，.data段：top，.text段：push，pop，is_empty

main：包含.bss段：a, stack，.data段：b, top，.text段：main，push，pop，is_empty

main中每个段中来自main.o的变量或函数放在前面，是有gcc的链接顺序决定的。当gcc stack.o main.o -o main时stack相关变量和函数放在main前面。

链接过程是由一个链接脚本（linker script）控制的，链接脚本决定了给每个段分配什么地址，如何对齐，哪个段在前，哪个段在后，哪些段合并到同一个segment，

此外链接脚本还要插入一些符号到最终生成的文件中，例如_bss_start、_edata、_end等。

如果用ld做链接时没有用-T选项指定链接脚本，则使用ld的默认链接脚本，默认链接脚本可以用ld --verbose命令查看。