如何設計通用的回調機制

如何設計通用的回調機制

許多程式都需要一種通用的回調機制，這種回調機制不用關心它們的類類型。例如，一個調用GUI組件成員函數的事件驅動的系統中，調用之前並不知道實際的類型資訊。這時可以建立一種通用的回調類模板將這種任務流程化。該模板第一個參數是其成員函數被調用的類，第二個模板參數是一個指標，指向類的成員函數。這裡的關鍵技巧第二個參數基於（或者說依賴於）第一個參數：

template < class T, void (T::*F)() > class callback {/**/};

這個模板的實現並不複雜，有一個對 T 的引用，它是一個類，其成員函數要被調用，一個建構函式和一個叫做execute()的成員函數,由它調用回調成員函數：

template < class T, void (T::*F)() >
class callback
{
public:
callback(T& t) : object(t) {} // assign actual object to T
void execute() {(object.*F)();}// launch callback function
private:
T& object;
};

記住：為了通過成員指標調用成員函數，必須要引用或實際對象的指標。這就是為什麼該模板有一個T&作為資料成員，現在假設我們要使用這個回調模板來執行類A 的一個回呼函數：

class A
{
public:
void f();
};

這裡是執行個體化該模板的方法：模板參數必須是常量運算式。因此，你不能用變數作為此成員函數的地址。而要用&操作符接受該函數的地址。最後，用模板對象作為參數傳遞你要調用其成員函數的對象：

int main()
{
A a; // 首先建立一個對象
callback < A, &A::f > c(a); // 執行個體化模板
c.execute(); // 調用回調成員函數
}

你可以將此回調類模板用於任何類類型，只要所調用的成員函數名字相同即可。