#pragma weak 弱符號機制詳解與實戰範例

#pragma weak 指令功能

#pragma weak name 將符號 name 標記為弱符號。鏈接器處理規則如下：

• 若無該符號的強定義，鏈接不報錯，符號值預設為 0（或 NULL）。
• 若存在多個弱定義，鏈接器不報重複定義錯誤，採用首次遇到的定義。
• 若其他編譯單元提供了該符號的強定義（普通函數/變量定義），弱符號將鏈接到該強定義，強定義優先。

此機制常用於：提供預設實現、實現可選功能模組、庫的版本兼容等場景。

實戰範例解析

範例 1：弱函數被強定義覆蓋

編譯單元 A (cu1.c)

#include <stdio.h>
#pragma weak foo
void foo(void) { printf("weak foo\n"); }
int main() {
    if (foo) foo(); else printf("foo not defined\n");
    return 0;
}

編譯單元 B (cu2.c)

void foo(void) { printf("strong foo\n"); }

• 僅編譯 cu1.c：gcc cu1.c && ./a.out → 輸出 weak foo（弱定義生效）。
• 同時編譯 cu1.c cu2.c：gcc cu1.c cu2.c && ./a.out → 輸出 strong foo（強定義覆蓋弱定義）。

範例 2：僅聲明弱函數，無任何定義

cu3.c

#include <stdio.h>
#pragma weak foo
int main() {
    if (foo) foo(); else printf("foo not defined\n");
    return 0;
}

編譯運行：gcc cu3.c && ./a.out → 輸出 foo not defined。鏈接器未報錯，弱符號值為 0，條件判斷為假。

範例 3：弱別名指向內部函數，可被外部強定義替換

編譯單元 A (cu4.c)

#include <stdio.h>
void foo(void) { printf("foo\n"); }
void foo1(void) { printf("foo1\n"); }
#pragma weak foo = foo1  // foo 為 foo1 的弱別名

編譯單元 B (cu5.c)

#include <stdio.h>
void foo(void) { printf("strong foo in cu5\n"); }

• 僅編譯 cu4.c：gcc cu4.c && ./a.out → 呼叫 foo() 實際執行 foo1()，輸出 foo1。
• 同時編譯 cu4.c cu5.c：gcc cu4.c cu5.c && ./a.out → 外部強定義 foo 覆蓋弱別名，輸出 strong foo in cu5。

應用場景與注意事項

• 庫的預設實現：庫提供弱函數作為預設行為，用戶可在應用層提供強定義覆蓋，無需修改庫源碼。
• 可選功能模組：核心代碼以弱符號引用可選模組功能，模組未編入時自動降級為無操作（NULL 檢查）。
• 兼容性：GCC/Clang 支援良好；MSVC 使用 #pragma comment(linker, "/alternatename:...") 或 __declspec(selectany) 實現類似功能，語法不同。
• 僅適用於鏈接階段：編譯階段仍需聲明（extern 或標頭檔），否則會有「隱式聲明」警告。