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

// in lib1.cint 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函數printf輸出： x=1235。因為鏈接器通過規則2決議符號x的定義為main.c中的強符號定義，而lib.c的作者并不知情，他對x的使用和修改影響到了main.c。這種交互修改，相互影響將會很復雜，因為大家都以為自己在做對的事情，在用對的變量。而整個決議過程，鏈接器悄無聲息地完成了。
例2：

// in lib2.cdouble 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.cstruct{  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)=0x02489018in main(): sizeof(x)=4, (&x)=0x02489018, (&y)=0x02489020, x=123,y=0

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