1. 符號(hào)分類
（1）全局符號(hào)：非靜態(tài)全局變量，非靜態(tài)函數(shù)
（2）外部符號(hào)：定義于其它模塊，而被本模塊引用的全局變量和函數(shù)
（3）本地符號(hào)：靜態(tài)變量(包括全局和局部)，靜態(tài)函數(shù)
對(duì)于靜態(tài)局部變量，編譯器會(huì)為其生成唯一的名字。如x.fun1，x.fun2。本地符號(hào)對(duì)鏈接器來說是不可見的。
2. 符號(hào)決議
當(dāng)編譯器遇到一個(gè)不是本模塊定義的符號(hào)時(shí)，會(huì)假設(shè)該函數(shù)由其它模塊定義，并生成一個(gè)鏈接器符號(hào)表?xiàng)l目，交由鏈接器處理。如果鏈接器在它的任何輸入模塊都沒有找到該符號(hào)，會(huì)給出一個(gè)類似undefined reference to 'xxx'的鏈接錯(cuò)誤。而如果鏈接器在輸入模塊中找到了一個(gè)以上的外部符號(hào)定義，這個(gè)時(shí)候就需要鏈接器進(jìn)行符號(hào)決議，鏈接器對(duì)多個(gè)外部符號(hào)定義可能并不報(bào)錯(cuò)甚至警告，而是按照它的規(guī)則去選擇其中一個(gè)符號(hào)定義。
鏈接器將各個(gè)模塊輸出的全局符號(hào)，分類為強(qiáng)符號(hào)和弱符號(hào)：
（1）強(qiáng)符號(hào)：函數(shù)和已初始化的全局變量
（2）弱符號(hào)：為初始化全局變量
根據(jù)強(qiáng)弱符號(hào)的定義，鏈接器按照下面的規(guī)則處理多重定義的符號(hào)：
規(guī)則1：不允許有多個(gè)強(qiáng)符號(hào)定義
規(guī)則2：如果有一個(gè)強(qiáng)符號(hào)和多個(gè)弱符號(hào)，那么選擇強(qiáng)符號(hào)
規(guī)則3：如果有多個(gè)弱符號(hào)，那么從這些弱符號(hào)中選擇sizeof大的那個(gè)，如果大小相同，則選擇先鏈接的那個(gè)
上面的規(guī)則是很多鏈接錯(cuò)誤的根源，因?yàn)榫幾g器在決議時(shí)可能默默地替你作出了決定，你并不知曉。根據(jù)上面的規(guī)則，可以引出下面幾個(gè)經(jīng)典例子：
例1：

// in lib1.c
int x;
void f()
{
  x = 1235;
}

// in main1.c
#include<stdio.h>
void f(void);

int x = 1234;

int main(void)
{
  f();
  printf("x=%d\n", x);
  return 0;
}

上面的代碼中，main函數(shù)printf輸出： x=1235。因?yàn)殒溄悠魍ㄟ^規(guī)則2決議符號(hào)x的定義為main.c中的強(qiáng)符號(hào)定義，而lib.c的作者并不知情，他對(duì)x的使用和修改影響到了main.c。這種交互修改，相互影響將會(huì)很復(fù)雜，因?yàn)榇蠹叶家詾樽约涸谧鰧?duì)的事情，在用對(duì)的變量。而整個(gè)決議過程，鏈接器悄無聲息地完成了。
例2：

// in lib2.c
double x;
void f()
{
  x = -0.0;
}

// in main2.c
#include<stdio.h>
void f(void);

int x = 1234;
int y = 1235;

int main()
{
  f();
  printf("x=0x%x y=0x%x \n", x, y);
  return 0;
}

這種情況下，程序得到輸出： x=0x0 y=0x80000000，而鏈接器(gcc ld)也終于給出一條警告：

// in lib3.c
struct
{
  int a;
  int b;
} x;

void f()
{
  x.a = 123;
  x.b = 456;
  printf("in f(): sizeof(x)=%d, (&x)=0x%08x\n", sizeof(x), &x);
}

// in main3.c
#include<stdio.h>
void f(void);

int x;
int y;

int main()
{
  f();
  printf("in main(): sizeof(x)=%d, (&x)=0x%08x, (&x)=0x%08x, x=%d,y=%d \n", sizeof(x), &x, &y, x, y);
  return 0;
}

程序輸出：

in f(): sizeof(x)=8, (&x)=0x02489018
in main(): sizeof(x)=4, (&x)=0x02489018, (&y)=0x02489020, x=123,y=0

始終記住，外部符號(hào)決議的是地址，因此無論lib3.c和main3.c中，符號(hào)x地址都是唯一的，無論其被定義了幾次。其次sizeof是編譯器決議，與鏈接無關(guān)，編譯器只看得到本模塊的定義或聲明。最后，由于符號(hào)x決議到lib3.c中的x，其size是8，因此main3.c中的y的地址比x大8，這是由鏈接器將lib3.o和main3.o合并后填入可執(zhí)行文件的.data段的。因此y是無關(guān)變量，被初始化為0，注意和例2的區(qū)別。
3. 總結(jié)
由于符號(hào)決議容易引發(fā)的種種問題，我們?cè)趯慍的時(shí)候應(yīng)注意：
盡量用static屬性隱藏變量和函數(shù)在模塊內(nèi)的聲明，就像在C++中盡量用private保護(hù)類私有成員一樣。
少定義弱符號(hào)，盡量初始化全局變量，這樣鏈接器會(huì)根據(jù)規(guī)則1給出多個(gè)符號(hào)定義的錯(cuò)誤。
為鏈接器設(shè)置必要選項(xiàng)，如gcc的 -fno-common，這樣在遇到多重符號(hào)定義時(shí)，鏈接器會(huì)給出警告。
4. C++的符號(hào)決議
C++并不支持強(qiáng)弱符號(hào)同時(shí)存在，所有符號(hào)都只能有一個(gè)定義(函數(shù)重載通過改寫函數(shù)符號(hào)來確保其唯一)，因此在很大程度上避免了C中的鏈接器困擾。

最新評(píng)論