C++ 成員函數指針深度剖析：類型安全、調用難題與標準庫適配

C++ 指針體系的嚴格分類

C++ 將指針細分為：數據指針、數據成員指針、函數指針、成員函數指針。
不可隨意轉換，甚至 void* 也無法轉換為成員指針。
大小不一：32 位系統下 4/8/12/16 字節，視類繼承/虛函數複雜度而定。

系統回調接口的困境

Windows SetTimer、_beginthread 僅接受普通/靜態函數指針。
通用變通：靜態函數 + void* 傳遞 this 指針轉調：

class MyThread {
    static void StaticEntry(void* pThis) { static_cast(pThis)->Run(); }
    void Run() { /* ... */ }
};
_beginthread(&MyThread::StaticEntry, 0, this);

缺點：reinterpret_cast、void* 破壞類型安全，非純正 C++ 風格。

STL 算法與成員函數指針

struct A { void doit() { std::cout << val; } int val; };
std::vector v = {A(1), A(2), A(3)};

// 1. 直接傳遞 &A::doit → 編譯錯誤：for_each 需一元可調用物，非成員函數指針
// 2. 靜態轉調函數 → 可行但醜陋
// 3. std::mem_fun_ref(&A::doit) → 正確，但僅限 0/1 參數，語法冗長
std::for_each(v.begin(), v.end(), std::mem_fun_ref(&A::doit));