Beyond the Void
BYVoid
C語言中跨文件的全局變量
本文正體字版由OpenCC轉換

首先看一段代碼

func.c

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

main.c

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

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

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

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

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

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

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

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

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

再次編譯就會發現

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的。


上次修改時間 2017-02-03

相關日誌