本文旨在幫助 C/C++ 程式設計師們瞭解連結器到底完成了些什麼工作。多年來，我給許多同事解釋過這一原理，因此我覺得是時候把它寫下來了，這樣不僅可以供更多人學習，也省去我一遍遍講解。

[2009年3月更新，內容包括：增加了 Windows 系統中連結過程可能遇到的特殊問題，以及對某條定義規則的澄清。]

促使我寫下這篇文章的起因是某次我幫人解決了一個連結錯誤，具體是這樣的：

目錄

各部分的命名：看看 C 檔案中都包含了哪些內容

本章，我們將快速回憶一下 C 檔案中包含的幾大部分。如果你認為自己已經完全明白下文示例程式中的內容，那麼你可以跳過本章，直接閱讀下一章。

我們首先要弄清的是宣告和定義的區別。定義（definition）是指建立某個名字與該名字的實現之間的關聯，這裡的“實現”可以是資料，也可以是程式碼：

• 變數的定義，使得編譯器為這個變數分配一塊記憶體空間，並且還可能為這塊記憶體空間填上特定的值
• 函式的定義，使得編譯器為這個函式產生一段程式碼

宣告（declaration）是告訴 C 編譯器，我們在程式的別處——很可能在別的 C 檔案中——以某個名字定義了某些內容（注意：有些時候，定義也被認為是宣告，即在定義的同時，也在此處進行了宣告）。

對於變數而言，定義可以分為兩種：

• 全域性變數（global variables）：其生命週期存在於整個程式中（即靜態範圍（static extent）），可以被不同的模組訪問
• 區域性變數（local variables）：生命週期只存在於函式的執行過程中（即區域性範圍（local extent）），只能在函式內部訪問

澄清一點，我們這裡所說的“可訪問（accessible）”，是指“可以使用該變數在定義時所起的名字”。

以下是幾個不太直觀的特殊情況：

• 用 static 修飾的區域性變數實際上是全域性變數，因為雖然它們僅在某個函式中可見，但其生命週期存在於整個程式中
• 同樣，用 static 修飾的全域性變數也被認為是全域性的，儘管它們只能由它們所在的檔案內的函式訪問

當我們談及 “static” 關鍵字時，值得一提的是，如果某個函式（function）用 static 修飾，則該函式可被呼叫的範圍就變窄了（尤其是在同一個檔案中）。

無論定義全域性變數還是區域性變數，我們可以分辨出一個變數是已初始化的還是未初始化的，分辨方法就是這個變數所佔據的記憶體空間是否預先填上了某個特殊值。

最後要提的一點是：我們可以將資料存於用 malloc 或 new 動態分配的記憶體中。這部分記憶體空間沒法通過變數名來訪問，因此我們使用指標（pointer）來代替——指標也是一種有名字的變數，它用來儲存無名動態記憶體空間的地址。這部分記憶體空間最終可以通過使用 free 和 delete 來回收，這也是為什麼將這部分空間稱為“動態區域”（dynamic extent）。

讓我們來總結一下吧：

以下是一個示例程式，也許是一種更簡便的記憶方法：