たとえば、次の擬似コードでは、クラス B は B::m_cb メンバーを介して A::Action() を呼び出す必要があります。
目的は、一般的な非テンプレート Callback クラスを作成する方法であるため、「B」はテンプレートである必要はなく、「CallBack」はあらゆる種類の関数シグネチャを保持できます。
私は以前にそのようなコードを使用したことがありますが、今ではその実装が見つかりません。私が覚えているのは次
のとおりです:-「CallBack」自体はテンプレートではありませんが、メンバーテンプレートが含まれています
-ヘルパー関数テンプレートmake_callbackはCallBackオブジェクトをインスタンス化します
誰でもポインタを与えることができますか?
Class A
{
public:
void Action(){//...};
};
class CallBack
{
//...
// CallBack it self it is a NOT a template
// It can wrap member template though
};
class B
{
public:
void SetCallback(CallBack to){
m_cb = to;
}
void do_something()
{
//...
m_cb.Execute();
//...
}
private:
CallBack m_cb;
};
int main()
{
A obj1;
CallBack cb = make_callback(&obj1, &A::Action);
B obj2;
obj2.SetCallback(cb);
//....
obj2.do_something();
}
これは、この同じWebサイトから取得したサンプルコードです。少し改良して、任意のコールバック関数の戻り値の型を許容できるようにしました。しかし、18行目のように、任意の数の引数を処理することはできません。また、 T はメンバー関数へのポインターであり、C に依存する必要があります。これを強制する方法がわかりません。
#include <iostream>
#include <memory>
// INTERNAL CLASSES
class CallbackSpecBase
{
public:
virtual ~CallbackSpecBase() {}
virtual void operator()(...) const = 0;
};
template<class C, class T>
class CallbackSpec : public CallbackSpecBase
{
public:
CallbackSpec(C& o, T m) : obj(o), method(m) {}
/*line 18*/ void operator()(...) const { (&obj->*method)(); } // how to pass "..." into method(...)
private:
C& obj;
T method;
};
// PUBLIC API
class Callback
{
public:
Callback() {}
void operator()() { (*spec)(); }
template<class C, class T>
void set(C& o, T m) { spec.reset(new CallbackSpec<C, T>(o, m)); }
private:
std::auto_ptr<CallbackSpecBase> spec;
};
// TEST CODE
class Test
{
public:
void foo() { std::cout << "Working" << std::endl; }
void bar() { std::cout << "Like a charm" << std::endl; }
};
int main()
{
Test t;
Callback c;
c.set(t, &Test::foo);
c();
c.set(t, &Test::bar);
c();
}