生成可执行文件的简单过程:
1、从源文件中生成object文件
2、连接object文件为可执行文件
___________________________________________________________________
多个object模块有三种存在形式：

1，目录下的object文件：最终的可执行文件将包含object文件中的所有代码

2，静态库中的object模块:可执行文件中只包含使用到的模块，即静态库中没用到的模块不会被包含到可执行文件中。因此这种方式生产的可执行文件比第一种方式产生的要小。
3，用ar生成静态库时，.a文件中保存了一个object模块的索引列表，连接器根据该列表来决定包含需要包含模块。因此源文件改变后，通过更新已有的索引列表即可。

用ar -q向已有的静态库添加objcet模块：
$ ar -q libXXX.a ml.o m2.o m3.o

更新受影响的索引:
$ ranlib libXXX.a

当同一个符号的定义出现在不同的模块时，连接器将使用第一个包含该符号的模块。因此有时需要改变静态库

中模块的顺序：
ar [options] [positionname] [count] archive objectfile [objectfile...]

动态库中的object模块:
当程序执行的时候才加载。因此，可执行文件更小。
____________________________________________________________________
定位库
链接时：
/lib 和 /usr/lib 为自动搜索目录。
自定义搜索目录：
$ gcc -L. -L/home/fred/lib prog.o //同时搜索当前目录和/home/fred/lib

运行时：
环境变量LD_LIBRARY_PATH中的目录、文件/etc/ld.so.cache中的库、/lib 和 /usr/lib、当前目录
_______________________________________________________________________

运行时加载动态库
dlfcn.h中的几个函数：
dlopen()
dlsym()
dlcose()
dlerror()
编译选项-ldl：
$ gcc xxx.c -ldl -o xxx
____________________________________________________________________-

显示库中的符号名字
$ nm libXXX.a
移除object文件中的无用信息：如调试符号表信息
$ strip libXXX.a
获取dll依赖信息：
$ ldd xxx
获取object内部信息：
$ objdump -f -h -EB XXX.o

如果程序中使用了动态库函数，则编译的时候需用-ldl，以实现连接。
动态库函数定义在头文件dlfcn.h中
一般常用的函数有：
void *dlopen(char *file,int mode);
int dlclose(void *handle);
void *dlsym(void *handle,char *name);
char *dlerror(void);

碰到的gcc选项：

-nostartfiles
Do not use the standard system startup files when linking. The standard syst
em libraries are used normally, unless -nostdlib or -nodefaultlibs is used.
就是说联接的时候不使用标准的启动文件。cc编译源程序为".o"文件的时候，加一
个"-nostartfiles"选项。这个选项使得C编译器不链接系统的启动函数库里面
的启动函数。否则，就会得到一个"multiple-definition"的错误。
应该是在作函数库的时候用，还有？


-Xlinker
-Xlinker是连接时的选项，传送参数给连接器。本例就是-Bsymbolic

-Bsymbolic
连接器选项lsquo;-Bsymbolicrsquo;，它导致在库本身内部的引用被解释好。否则，
在这些系统上，所有符号的解释将推迟到最后连接时再进行.

现在不明白的是请问系统的启动函数是干什么的？要不连接的话，是不是被编译的的库里有这种功能？

对于系统的启动函数，我的理解是一个二进制代码在装入内存执行需要启动函数来做一些进程的初始化工作。由于一个进程只需要初始化一次，因此库文件不能有初始化的部分。在ELF格式文件中有一个.init段，就是做这个的。

在ELF系统上，一个程序是由可执行文件或者还加上一些共享object文件组成。
为了执行这样的程序，系统使用那些文件创建进程的内存映象。进程映象
有一些段(segment),包含了可执行指令，数据，等等。为了使一个ELF文件
装载到内存，必须有一个program header(该program header是一个描述段
信息的结构数组和一些为程序运行准备的信息)。

一个段可能有多个section组成.这些section在程序员角度来看更显的重要。
。。。
.init
该section保存着可执行指令，它构成了进程的初始化代码。
因此，当一个程序开始运行时，在main函数被调用之前(c语言称为
main)，系统安排执行这个section的中的代码。

.init和.fini sections的存在有着特别的目的。假如一个函数放到
.init section，在main函数执行前系统就会执行它。同理，假如一
个函数放到.fini section，在main函数返回后该函数就会执行。
该特性被C 编译器使用，完成全局的构造和析构函数功能。

当ELF可执行文件被执行，系统将在把控制权交给可执行文件前装载所以相关
的共享object文件。构造正确的.init和.fini sections,构造函数和析构函数
将以正确的次序被调用。


有些人写C/C (以下假定为C )程序，对unresolved external link或者duplicated external simbol的错误信息不知所措（因为这样的错误信息不能定位到某一行）。或者对语言的一些部分不知道为什么要（或者不要）这样那样设计。了解本文之后，或许会有一些答案。
首先看看我们是如何写一个程序的。如果你在使用某种IDE（Visual Studio，Elicpse，Dev C 等），你可能不会发现程序是如何组织起来的（很多人因此而反对初学者使用IDE）。因为使用IDE，你所做的事情，就是在一个项目里新建一系列 的.cpp和.h文件，编写好之后在菜单里点击"编译"，就万事大吉了。但其实以前，程序员写程序不是这样的。他们首先要打开一个编辑器，像编写文本文件 一样的写好代码，然后在命令行下敲
cc 1.cpp -o 1.o
cc 2.cpp -o 2.o
cc 3.cpp -o 3.o
这里cc代表某个C/C 编译器，后面紧跟着要编译的cpp文件，并且以-o指定要输出的文件（请原谅我没有使用任何一个流行编译器作为例子）。这样当前目录下就会出现：
1.o 2.o 3.o
最后，程序员还要键入
link 1.o 2.o 3.o -o a.out
来生成最终的可执行文件a.out。现在的IDE，其实也同样遵照着这个步骤，只不过把一切都自动化了。
让我们来分析上面的过程，看看能发现什么。
首先，对源代码进行编译，是对各个cpp文件单独进行的。对于每一次编译，如果排除在cpp文件里include别的cpp文件的情况（这是C 代码编写中极其错误的写法），那么编译器仅仅知道当前要编译的那一个cpp文件，对其他的cpp文件的存在完全不知情。
其次，每个cpp文件编译后，产生的.o文件，要被一个链接器(link)所读入，才能最终生成可执行文件。
好了，有了这些感性认识之后，让我们来看看C/C 程序是如何组织的。

首先要知道一些概念：
编译：编译器对源代码进行编译，是将以文本形式存在的源代码翻译为机器语言形式的目标文件的过程。
编译单元：对于C 来说，每一个cpp文件就是一个编译单元。从之前的编译过程的演示可以看出，各个编译单元之间是互相不可知的。
目标文件：由编译所生成的文件，以机器码的形式包含了编译单元里所有的代码和数据，以及一些其他的信息。

下面我们具体看看编译的过程。我们跳过语法分析等，直接来到目标文件的生成。假设我们有一个1.cpp文件
int n = 1;

void f()
{
n;
}

它编译出来的目标文件1.o就会有一个区域（假定名称为2进制段），包含了以上数据／函数，其中有n, f，以文件偏移量的形式给出很可能就是：
偏移量 内容 长度
0x000 n 4
0x004 f ??
注意：这仅仅是猜测，不代表目标文件的真实布局。目标文件的各个数据不一定连续，也不一定按照这个顺序，当然也不一定从0x000开始。
现在我们看看从0x004开始f函数的内容（在0x86平台下的猜测）：
0x004 inc DWORD PTR [0x000]
0x00? ret
注意n 已经被翻译为：inc DWORD PTR [0x000]，也就是把本单元0x000位置上的一个DWORD(4字节)加1。

下面如果有另一个2.cpp，如下
extern int n;
void g()
{
n;
}
那么它的目标文件2.o的2进制段就应该是
偏移量 内容 长度
0x000 g ??
为什么这里没有n的空间（也就是n的定义），因为n被声明为extern，表明n的定义在别的编译单元里。别忘了编译的时候是不可能知道别的编译单元的情况的，故编译器不知道n究竟在何处，所以这个时候g的二进制代码里没有办法填写inc DWORD PTR [???]中的？？？部分。怎么办呢？这个工作就只能交给后来的链接器去处理。为了让链接器知道哪些地方的地址是没有填好的，所以目标文件还要有一个"未解决符号表"，也就是unresolved symbol table. 同样,提供n的定义的目标文件(也就是1.o)也要提供一个"导出符号表"，export symbol table, 来告诉链接器自己可以提供哪些地址。
让我们理一下思路：现在我们知道，每一个目标文件，除了拥有自己的数据和二进制代码之外，还要至少提供2个表：未解决符号表和导出符号表，分别告诉链接器 自己需要什么和能够提供什么。下面的问题是，如何在2个表之间建立对应关系。这里就有一个新的概念：符号。在C/C 中，每一个变量和函数都有自己的符 号。例如变量n的符号就是"n"。函数的符号要更加复杂，它需要结合函数名及其参数和调用惯例等，得到一个唯一的字符串。f的符号可能就是"_f"（根据 不同编译器可以有变化）。
所以，1.o的导出符号表就是
符号 地址
n 0x000
_f 0x004
而未解决符号表为空
2.o的导出符号表为
符号 地址
_g 0x000
未解决符号表为
符号 地址
n 0x001
这里0x001为从0x000开始的inc DWORD PTR [???]的二进制编码中存储???的起始地址(这里假设inc的机器码的第2－5字节为要 1的绝对地址，需要知道确切情况可查手册)。这个表告诉链接器，在本编译单元0x001的位置上有一个地址，该地址值不明，但是具有符号n。
链接的时候，链接器在2.o里发现了未解决符号n，那么在查找所有编译单元的时候，在1.o中发现了导出符号n，那么链接器就会将n的地址0x000填写到2.o的0x001的位置上。
"打住"，可能你就会跳出来指责我了。如果这样做得话，岂不是g的内容就会变成inc DWORD PTR [0x000]，按照之前的理解，这是将本单元的0x000地址的4字节加1，而不是将1.o的对应位置加1。是的，因为每个编译单元的地址都是从0开始 的，所以最终拼接起来的时候地址会重复。所以链接器会在拼接的时候对各个单元的地址进行调整。这个例子中，假设2.o的0x00000000地址被定位在 可执行文件的0x00001000上，而1.o的0x00000000地址被定位在可执行文件的0x00002000上，那么实际上对链接器来说，1.o 的导出符号表其实
符号 地址
n 0x000 0x2000
_f 0x004 0x2000
而未解决符号表为空
2.o的导出符号表为
符号 地址
_g 0x000 0x1000
未解决符号表为
符号 地址
n 0x001 0x1000
所以最终g的代码会变为inc DWORD PTR [0x000 0x2000]。
最后还有一个漏洞，既然最后n的地址变为0x2000了，那么以前f的代码inc DWORD PTR [0x000]就是错误的了。所以目标文件为此还要提供一个表，叫做地址重定向表address redirect table。
对于1.o来说，它的重定向表为
地址
0x005
这个表不需要符号，当链接器处理这个表的时候，发现地址为0x005的位置上有一个地址需要重定向，那么直接在以0x005开始的4个字节上加上0x2000就可以了。
让我们总结一下：编译器把一个cpp编译为目标文件的时候，除了要在目标文件里写入cpp里包含的数据和代码，还要至少提供3个表：未解决符号表，导出符号表和地址重定向表。
未解决符号表提供了所有在该编译单元里引用但是定义并不在本编译单元里的符号及其出现的地址。
导出符号表提供了本编译单元具有定义，并且愿意提供给其他编译单元使用的符号及其地址。
地址重定向表提供了本编译单元所有对自身地址的引用的记录。
链接器进行链接的时候，首先决定各个目标文件在最终可执行文件里的位置。然后访问所有目标文件的地址重定向表，对其中记录的地址进行重定向（即加上该编译 单元实际在可执行文件里的起始地址）。然后遍历所有目标文件的未解决符号表，并且在所有的导出符号表里查找匹配的符号，并在未解决符号表中所记录的位置上 填写实际的地址（也要加上拥有该符号定义的编译单元实际在可执行文件里的起始地址）。最后把所有的目标文件的内容写在各自的位置上，再作一些别的工作，一 个可执行文件就出炉了。
最终link 1.o 2.o .... 所生成的可执行文件大概是
0x00000000 ????（别的一些信息）
....
0x00001000 inc DWORD PTR [0x00002000] //这里是2.o的开始，也就是g的定义
0x00001005 ret //假设inc为5个字节，这里是g的结尾
....
0x00002000 0x00000001 //这里是1.o的开始，也是n的定义（初始化为1）
0x00002004 inc DWORD PTR [0x00002000] //这里是f的开始
0x00002009 ret //假设inc为5个字节，这里是f的结尾
...
...
实际链接的时候更为复杂，因为实际的目标文件里把数据／代码分为好几个区，重定向等要按区进行，但原理是一样的。



现在我们可以来看看几个经典的链接错误了：
unresolved external link..
这个很显然，是链接器发现一个未解决符号，但是在导出符号表里没有找到对应的項。
解决方案么，当然就是在某个编译单元里提供这个符号的定义就行了。（注意，这个符号可以是一个变量，也可以是一个函数），也可以看看是不是有什么该链接的文件没有链接
duplicated external simbols...
这个则是导出符号表里出现了重复项，因此链接器无法确定应该使用哪一个。这可能是使用了重复的名称，也可能有别的原因。

我们再来看看C/C 语言里针对这一些而提供的特性：
extern:这是告诉编译器，这个符号在别的编译单元里定义，也就是要把这个符号放到未解决符号表里去。（外部链接）

static:如果该关键字位于全局函数或者变量的声明的前面，表明该编译单元不导出这个函数／变量的符号。因此无法在别的编译单元里使用。（内部链接）。如果是static局部变量，则该变量的存储方式和全局变量一样，但是仍然不导出符号。

默认链接属性：对于函数和变量，模认外部链接，对于const变量，默认内部链接。（可以通过添加extern和static改变链接属性）

外部链接的利弊：外部链接的符号，可以在整个程序范围内使用（因为导出了符号）。但是同时要求其他的编译单元不能导出相同的符号（不然就是duplicated external simbols)

内部链接的利弊：内部链接的符号，不能在别的编译单元内使用。但是不同的编译单元可以拥有同样名称的内部链接符号。

为什么头文件里一般只可以有声明不能有定义：头文件可以被多个编译单元包含，如果头文件里有定义，那么每个包含这个头文件的编译单元就都会对同一个符号进行定义，如果该符号为外部链接，则会导致duplicated external simbols。因此如果头文件里要定义，必须保证定义的符号只能具有内部链接。

为什么常量默认为内部链接，而变量不是：
这就是为了能够在头文件里如const int n = 0这样的定义常量。由于常量是只读的，因此即使每个编译单元都拥有一份定义也没有关系。如果一个定义于头文件里的变量拥有内部链接，那么如果出现多个编译单元都定义该变量，则其中一个编译单元对该变量进行修改，不会影响其他单元的同一变量，会产生意想不到的后果。

为什么函数默认是外部链接：
虽然函数是只读的，但是和变量不同，函数在代码编写的时候非常容易变化，如果函数默认具有内部链接，则人们会倾向于把函数定义在头文件里，那么一旦函数被修改，所有包含了该头文件的编译单元都要被重新编译。另外，函数里定义的静态局部变量也将被定义在头文件里。