C語言中跨文件的全局變量

聲明：突然看到這篇文章，發現了c語言中使用全局變量的錯誤，特轉之。

首先看一段代碼（https://gist.github.com/3760736）

func.c

123456

int buf = 0;   void func() { buf = 2; /* Do something else */ }

view rawfunc.cThis Gist brought to you by GitHub.

main.c

1234567891011

#include <stdio.h>   int buf; void func();   int main() { buf = 1; func(); printf("%d\n", buf); return 0; }

view rawmain.cThis Gist brought to you by GitHub.

編譯兩個文件，輸出的結果是怎樣的呢？一眼看上去，可能會輸出1，因爲兩個全局變量buf在不同文件中，又沒有extern聲明，顯然是兩個嘛。然而實際上它的運行結果卻是2，這說明了這兩個文件中引用到的其實是一個變量！

這是爲什麼呢？原因是在編譯時，C語言編譯器將全局符號標記爲strong和weak兩類：

• 函數和初始化的全局符號被標記爲strong
• 未初始化的全局符號被標記爲weak

連接時，連接器對多重定義的全局符號的解析原則如下：

• 同一個符號不允許有多個strong定義；
• 假如一個符號有一個strong定義和多個weak定義，那麼採用該符號的strong定義；
• 假如一個符號有多個weak定義，那麼選取任意一個weak定義

由於兩個變量一個初始化了，一個沒有初始化，所以一個是strong，一個是weak，所以連接器在符號解析時會把他們當成一個。

如果我們把main.c中的buf也初始化了：

1234567891011

#include <stdio.h>   int buf = 0; void func();   int main() { buf = 1; func(); printf("%d\n", buf); return 0; }

view rawfunc.cThis Gist brought to you by GitHub.

再次編譯就會發現

duplicate symbol _buf in:
/var/folders/44/_cc501qx1jd1p5bfrjbk6b100000gn/T//ccZ87C6g.o
/var/folders/44/_cc501qx1jd1p5bfrjbk6b100000gn/T//ccZlES8n.o
ld: 1 duplicate symbol for architecture x86_64
collect2: ld returned 1 exit status

這是因爲兩個全局變量都是strong的。