C 語言區段屬性實現變數自動註冊：編譯期元編程技巧

C 語言區段屬性實現變數自動註冊：編譯期元編程技巧

利用 GCC/Clang __attribute__((section("name"))) 將變數元資料放入自定義 ELF 區段，實現零樣板碼的變數自動註冊、配置表生成、命令列選項收集等功能。

核心程式碼

#include <stdio.h>

struct var_tab_item {
    const char *name;
    const char *desc;
    char type;
    void *var;
};

#define SECTION(name) __attribute__((section(name)))

#define EXPORT_VAR(name, desc, type) \
    const char __var_##name##_name[] = #name; \
    const char __var_##name##_desc[] = #desc; \
    const struct var_tab_item __var_##name SECTION("ExVar") = { \
        __var_##name##_name, \
        __var_##name##_desc, \
        type, \
        (void *)&name \
    }

#define DEFINE_INT32(name, desc) \
    long long name = 0xabcd; \
    EXPORT_VAR(name, desc, 'i')

// 使用範例
DEFINE_INT32(test0, a test setting)
DEFINE_INT32(test1, cool tpdt)

int main() {
    printf("%lld\n", test0); // 正常使用變數
    // 連結器會將所有 __var_* 聚合在 ExVar 區段
    // 運行時可遍歷該區段獲取所有註冊變數
    return 0;
}

原理解析

1. SECTION("ExVar") 指示連結器將結構體實例放入名為 ExVar 的自定義區段。
2. 連結腳本或運行時掃描 __start_ExVar / __stop_ExVar 符號（GNU ld 自動生成）即可遍歷所有註冊項。
3. 巨集 EXPORT_VAR 自動生成名稱/描述字串字面量，避免重複輸入。

應用場景

跨平台注意

• GCC/Clang：__attribute__((section))。
• MSVC：__declspec(allocate("section"))，需連結器 /SECTION 設定可讀。
• 嵌入式鏈接腳本需定義 ExVar 區段位址範圍。