深入解析 C 語言中的強弱符號與強弱引用機制

前言：從《程序員的自我修養》談起

在研讀《程序員的自我修養——鏈接、裝載與庫》第 3.5.5 節時，我發現自己對 C 語言中的「強符號、弱符號、強引用、弱引用」一無所知。這幾個概念乍看之下容易混淆，但對於理解鏈接器的行為、避免多重定義錯誤、實現函數覆蓋與插件化架構卻至關重要。本文將結合書籍定義、GCC 實際行為與代碼實驗，系統梳理這些概念，期待與同好交流、專家指正。

核心定義回顧

強符號與弱符號

根據書中定義：

• 強符號：編譯器預設將函數和已初始化的全域變數視為強符號。強符號不允許在多個目標檔中重複定義，否則鏈接時報「multiple definition」錯誤。
• 弱符號：未初始化的全域變數（Common Block）屬於弱符號。弱符號之間可共存，鏈接器會選擇佔用空間最大的那一個（如 double 勝過 int）；強弱共存時，強符號覆蓋弱符號。

經典場景演示

/* a.c */ int i = 2;  // 強符號（已初始化）

/* b.c */ 
#include <stdio.h>
int i;              // 弱符號（未初始化）
int main() { printf("i = %d\n", i); return 0; }

編譯鏈接後輸出 i = 2，而非 0。證明強符號 a.c 的定義覆蓋了弱符號 b.c 的聲明。

GCC 擴展：`__attribute__((weak))`

GCC 允許將強符號強制標記為弱符號：

__attribute__((weak)) int i = 1;  // 原本是強符號，現在變弱符號

若與另一個強符號定義（如 int i = 2;）鏈接，強符號依然勝出，輸出 2。

強弱引用：符號的「使用端」視角

書籍將「引用」定義為：在定義/聲明處的名稱為符號，在調用/使用處的名稱為引用。兩者本質相同，因上下文而異名。

• 強引用：若符號未定義，鏈接階段必報錯。
• 弱引用：符號未定義時鏈接不報錯，鏈接器將其地址置 0。運行時可通過判斷地址是否為 0 決定是否調用，實現可選功能模組/插件機制。

函數弱引用實戰：條件調用

/* d.c - 提供實現 */
void func() { printf("func()#1\n"); }

/* e.c - 弱引用，可選調用 */
__attribute__((weak)) void func();
int main() { if (func) func(); return 0; }

• 鏈接 d.o：正常執行 func()。
• 不鏈接 d.o：鏈接成功，if (func) 為假，func() 不執行，程序正常退出。

函數覆蓋：強符號替換弱符號

/* f.c - 庫提供預設實現（弱符號） */
__attribute__((weak)) void func() { printf("func()#1\n"); }

/* g.c - 用戶提供強符號覆蓋 */
void func() { printf("func()#2\n"); }
int main() { func(); return 0; }

輸出 func()#2。這是實現「庫提供預設，用戶可覆蓋」的核心機制。

變數弱引用：判斷的是地址而非值

/* v1.c */ int i = 2;

/* v2.c */
__attribute__((weak)) extern int i;  // 將外部強符號轉為弱引用
int main() { if (&i) printf("i = %d\n", i); return 0; }

• 鏈接 v1.o：輸出 2。
• 不鏈接 v1.o：&i == 0，無輸出。

關鍵區別：`__attribute__((weak)) int i` 是定義弱符號（分配空間）；`__attribute__((weak)) extern int i` 是聲明弱引用（不分配空間，僅改變引用屬性）。

進階：`__attribute__((weakref))` 顯式指定別名

`weakref` 更貼近「引用」語義，允許指定備用符號：

/* a.c */ void bar() { printf("foo()\n"); }

/* b.c */
static void foo() __attribute__((weakref("bar")));
int main() { if (foo) foo(); return 0; }

• static 限制 foo 僅在本文件可見，避免符號衝突。
• 若 bar 存在，foo 指向 bar；否則 foo 為 0。

總結與思考

強弱符號/引用機制是鏈接器解決符號衝突、支持模組化設計的基石。掌握它們能幫助我們：

1. 理解為什麼未初始化全域變數不報重複定義錯誤。
2. 設計可插拔的庫介面（弱符號預設實現 + 強符號用戶覆蓋）。
3. 實現運行時可選功能（弱引用 + 地址判斷）。
4. 正確使用 GCC 屬性擴展控制符號可見性與鏈接行為。

文中如有疏漏或錯誤，懇請各位大神不吝指正，共同進步。