控制共享庫符號可見性（一）：符號可見性簡介與控制策略

什麼是符號與符號可見性

在 C/C++ 開發中，符號 是連結器處理目標文件、共享庫及可執行文件時的基本單位。它對應著使用者定義的全域變數、函數名稱、命名空間、類別或結構等實體。當我們定義非靜態全域變數或非靜態函數時，編譯器會在目標文件中產生符號，連結器透過這些符號判斷不同模組是否共享相同的資料或程式碼。

雖然變數與函數皆可跨模組共享，但變數在共享庫與可執行檔之間共享的情況較少。通常僅讓函數對其他模組可見，這類函數常被稱為 API 或 導出符號。值得注意的是，符號可見性僅在動態連結階段生效，因為共享庫在程式執行時才被載入記憶體映像中。

為什麼要控制符號可見性

不同平台上，編譯器對符號的預設導出行為各異：

• IBM PowerLinux (ELF)：預設導出所有符號。
• AIX (XCOFF)：預設可能不導出任何符號。

導出所有符號雖然方便，但風險極高：

1. 符號衝突：不同開發者的庫若有同名符號，連結器解析時可能導致非預期覆蓋。
2. 效能損耗：C++ 大量使用模板等特性會產生海量符號，全導出會拖慢動態載入速度、增加記憶體佔用，並阻礙編譯器優化。

因此，只導出必要的符號 是庫開發的最佳實踐，兼顧安全與效能。

三種控制符號可見性的方法

以下以簡單的 C++ 程式碼為例：

// a.C
int myintvar = 5;
int func0() { return ++myintvar; }
int func1(int i) { return func0() * i; }

假設我們只想導出 func1，隱藏 myintvar 和 func0。

1. 使用 static 關鍵字

在檔案作用域加上 static，可禁止符號的外部連結，編譯器不會為連結器保留該符號資訊。

// b.C
static int myintvar = 5;
static int func0() { return ++myintvar; }
int func1(int i) { return func0() * i; }

缺點：static 限制符號僅在定義該檔案內可見，若同一模組的其他檔案需共享此變數/函數（如透過 extern），連結會失敗。因此它適合檔案級封裝，不適合庫級符號可見性控制。

2. 定義 GNU visibility 屬性（僅限 GNU/ELF）

ELF ABI 定義四種可見性，常用兩種：

• STV_DEFAULT：導出，全域可見。
• STV_HIDDEN：不導出，其他物件不可用，但保留於符號表供靜態連結。

int myintvar __attribute__((visibility("hidden")));
int __attribute__((visibility("hidden"))) func0() { return ++myintvar; }
int func1(int i) { return func0() * i; }

優點：隱藏符號不進入動態符號表，但仍可在模組內部共享，優於 static。缺點：XL C/C++ 目前不支援（即使在 PowerLinux 上）。

3. 使用導出列表

導出列表由開發者編寫或工具產生，傳遞給連結器，明確指定可導出的符號。

GNU (ELF) 版本映射腳本

/* exportmap */
{
  global: func1;
  local: *;
};

編譯：gcc -shared -o libtest.so a.C -fPIC -Wl,--version-script=exportmap

AIX (XCOFF) 導出檔

僅列出需導出的符號（需為修飾後名稱）：

func1__Fi export
func0__Fv hidden
myintvar hidden

使用 CreateExportList 工具可自動產生修飾名稱列表，再手動修改可見性關鍵字（export/hidden/protected/internal），最後以 -bE:exportfile 傳給連結器。

符號搶佔

在 AIX 上啟用執行期連結（-brtl）時，導出符號可能被主程式同名符號搶佔（取代）。protected 可見性的符號會導出但禁止搶佔，保護關鍵符號不被外部覆蓋，增強安全性。

// 測試結果：func_DEFAULT 被搶佔，func_PROC (protected) 維持庫內版本
$ ./main
func_DEFAULT redefined in main program, Preempted ==> EXP
func_PROC in the shared library, Not preempted

方案比較總結

下一篇將介紹 XL C/C++ 編譯器的新功能，進一步簡化導出列表的管理。