C++ 類成員函數作為回調函數的正確姿勢：static 與 std::function 實戰

什麼是回調函數？

回調函數本質是「函數指標作為參數傳遞」，由被調用者在特定事件/條件觸發時反向調用。核心流程：

1. 調用者提供一個函數地址（回調）。
2. 被調用者（通常是庫/API）保存該地址。
3. 事件發生時，被調用者通過函數指標調用回調。

難點：非靜態成員函數無法直接作為回調

非靜態成員函數擁有隱含的 this 指標，其型別為 Ret (Class::*)(Args...)，與普通函數指標 Ret (*)(Args...) 型別不兼容，且調用時需提供物件實例。直接傳遞 &MyClass::memberFunc 給期望函數指標的 API 會編譯失敗。

方案一：static 靜態成員函數 + 傳遞 this 指標（經典 C 風格）

靜態成員函數沒有 this，型別退化為普通函數指標，可直接作為回調。但靜態函數無法直接訪問非靜態成員，需通過額外參數傳入物件指標。

實現步驟

// 1. 定義回調函數型別
typedef void (*CallbackFunc)(void* userData);

// 2. 類定義
class MyClass {
public:
    // 靜態回調入口（符合函數指標型別）
    static void staticCallback(void* userData) {
        // 3. 將 userData 轉回 this，調用真實非靜態邏輯
        MyClass* self = static_cast<MyClass*>(userData);
        self->realCallback();
    }

    // 真實業務邏輯（非靜態）
    void realCallback() {
        cout << "實例回調觸發，this=" << this << endl;
    }

    // 註冊回調給外部 API
    void registerCallback() {
        extern void SetCallback(CallbackFunc cb, void* data);
        SetCallback(staticCallback, this); // 傳入 this 作為 userData
    }
};

// 外部 API 模擬
void SetCallback(CallbackFunc cb, void* data) {
    // 事件觸發時調用
    cb(data);
}

方案二：C++11 std::function + Lambda 捕獲 this（現代 C++ 風格）

若 API 支援 std::function 或可修改為模板，可直接使用 Lambda 捕獲 this，無需靜態中轉，代碼更簡潔、型別安全。

#include <functional>

class ModernClass {
public:
    using Callback = std::function<void()>;

    void registerCallback(Callback cb) {
        // 直接存儲或轉發
        storedCallback_ = cb;
    }

    void trigger() {
        if (storedCallback_) storedCallback_();
    }

private:
    Callback storedCallback_;
};

// 使用範例
ModernClass obj;
obj.registerCallback([&obj]() { obj.memberFunc(); }); // 或 [this]() { this->memberFunc(); }
obj.trigger();

方案三：std::bind（舊標準庫兼容）

#include <functional>

obj.registerCallback(std::bind(&MyClass::memberFunc, &obj));

回調 vs API：層級視角的區別

最佳實踐建議

• C API 介面： 必須用 static 成員函數 + void* userData 模式。
• C++ 內部庫： 優先使用 std::function + Lambda，支援捕獲上下文，避免強轉。
• 生命週期： 確保回調存活期間物件不被銷毀，必要時用 shared_ptr + weak_ptr 防止循環引用。
• 線程安全： 若回調可能在不同線程觸發，需加鎖或使用無鎖隊列。

掌握這兩種模式，即可優雅地將 C++ 物件導向設計與基於函數指標的回調機制完美融合。