C 語言模擬 C++ 函數重載：函數指標陣列與手動分派實作模式

C++ 函數重載機制

C++ 編譯器透過名稱修飾 將同名函數編碼為唯一符號 (含參數型別、數量、命名空間)，實現編譯期靜態分派。C 無此機制，需手動模擬。

模擬策略一：函數指標變數 + 條件分派

int func1(void) { return 1; }
int func2(void) { return 2; }

int (*func)(void);  // 函數指標

void dispatch(int selector) {
    if (selector == 0) func = func1;
    else func = func2;
    int result = func();  // 間接呼叫
}

缺點：執行期分派、型別不安全、需手動管理選擇邏輯。

模擬策略二：函數指標陣列 (表驅動分派)

int (*dispatch_table[2])(void) = { func1, func2 };

int call(int index) {
    if (index >= 0 && index < 2)
        return dispatch_table[index]();
    return -1;  // 錯誤
}

• 優點：O(1) 查找、擴充性好、分派邏輯集中
• 缺點：所有函數簽名必須完全相同、無型別安全

進階模擬：_Generic 關鍵字 (C11) 實現編譯期重載

#define ADD(x, y) _Generic((x), \
    int: add_int, \
    double: add_double, \
    float: add_float \
)(x, y)

int add_int(int a, int b) { return a + b; }
double add_double(double a, double b) { return a + b; }
float add_float(float a, float b) { return a + b; }

// 使用
int i = ADD(1, 2);        // 呼叫 add_int
double d = ADD(1.0, 2.0); // 呼叫 add_double

C11 _Generic 選擇關聯式，提供編譯期類別型重載，無執行期開銷，型別安全。

C++ 重載 vs C 模擬本質差異

實務建議

• C 專案需重載語意：優先用 _Generic (C11) 或不同上綴命名 (add_int, add_double)
• 函數指標陣列適合狀態機、命令分派、事件回調 等執行期多態場景
• 跨語言介面 (C API 供 C++ 呼叫)：導出 extern "C" 函數，避免名稱修飾
• 不要過度模擬 C++ 特性，C 有其簡潔哲學，接受差異更務實

理解 C++ 重載底層機制 (名稱修飾、靜態分派)，有助於設計 C 介面、實作動態分派、進行混合語言開發。