全域變數的宣告與定義

雖然我們的編譯器還沒有全域變數，所以這節不會出現對應全域變數的組合語言指令作為範例，但是全域變數在組語階段和函式幾乎是一樣的。因此和函式一樣，全域變數也有分宣告和定義。所以如果變數本體出現在複數C程式檔中的話，通常會報連結錯誤。

全域變數預設是放在不可執行的記憶體區域內，所以要跳到該位址的話程式會發生記憶體區段錯誤（segment fault）然後崩潰（crash），但除此之外，資料和程式本質上是沒有不同的。執行時可以把函式作為資料像全域變數那樣讀取，也可以把記憶體的屬性改成可執行，跳躍到資料的位址，把資料作為程式執行。

函式和全域變數兩方本質上都只是記憶體裡的資料，我們實際用一段程式來確認看看吧。底下的程式是把main這個識別碼定義為全域變數。main的內容為x86_64的機械碼：

char main[] = "\x48\xc7\xc0\x2a\x00\x00\x00\xc3";

把上述的C程式碼存成 foo.c 後編譯，使用objdump確認看看其內容吧。objdump預設是顯示為16進制，加上-D參數就可以強制把檔案作為程式反組譯：

$ gcc -c foo.c
$ objdump -D -M intel foo.o
Disassembly of section .data:

0000000000000000 <main>:
   0:   48 c7 c0 2a 00 00 00    mov    rax,0x2a
   7:   c3                      ret

預設把資料放在不可執行區域的作法，可以在編譯時加上-Wl,--omagic參數來變更。現在來使用這個參數生成可執行檔：（譯註：譯者在 Windows 10下使用 WSL 的 Debian 無法成功完成此操作，請使用安裝 Linux 發行版的電腦或是虛擬機器來操作。）

gcc -static -Wl,--omagic -o foo foo.o

函式和變數都被組譯變成單純的標籤，屬於同一個命名空間（namespace），連結器在整合複數目標檔的時候就不會在意誰是資料誰是函式了。因此main在C的標籤就算被定義為資料，也可以像main是函數的時候一樣成功連結。

執行看看生成出來的檔案吧：

$ ./foo
$ echo $?
42

如上所述，正確傳回了42。main這個全域變數的內容被作為程式執行了。

在C的文法中，全域變數加上extern就會變成宣告。底下是int型態全域變數foo的宣告：

extern int foo;

要寫包含foo的程式時，就要把這行寫在標頭檔。然後，在某個C程式檔中要定義foo，底下為foo的定義：

int foo;

此外，C語言中在初始化的時候全域變數會被初始化為0，和用0或{0, 0, ...}、"\0\0\0\0..."來進行初始化是一樣的意思。

像int foo = 3這樣寫初始值的時候，請只在定義寫初始值。宣告只是為了告訴編譯器型態，不需要寫具體的初始值。編譯器看到全域變數的宣告也不會輸出指令，不需要知道其內部究竟是被初始化成什麼樣。

省略初始值的情況下，全域變數的定義和宣告就只差在extern而已，雖然外表很像，但是宣告和定義是不同的東西。這部份概念請好好在此節區分清楚。

小知識：連結器的歷史

連結器能把複數片斷的機械語言寫成的處理流程統整成1個程式的功能，在電腦發展的初期就已經被需要。有紀錄顯示（註）1947年John Mauchly（最早的數位電腦，ENIAC的計劃領導人），就已經有把從磁帶讀進的子程式做重新定位，統整成1個程式的程式。

就算在最早期的電腦，就希望汎用的子處理流程可以只寫1次，然後可以使用在各式各樣的程式中；而要做到這件事，就需要可以組合程式片斷生成可執行程式的連結器。在1947年，還沒有組合語言，是直接寫機械碼的年代，所以其實對程式設計師來說，連結器這個程式的需求比組合語言還要更為優先。

Linkers and Loaders, ISBN 978-1558604964, John R. Levine (1999) 1.2章

Perhaps surprisingly, these two basic linker functions — relocation and library search — appear to predate even assemblers, as Mauchly expected both the program and subprograms to be written in machine language.