Przesyłanie podpisu metody jako parametru szablonu do klasy

Question

Chciałbym utworzyć interfejs szablonów dla klas obsługi danych w moich projektach.

mogę napisać coś takiego:

template <class T> 
class DataHandler 
{ 
    public: 
     void Process(const& T) = 0; 
}; 

Następnie, załóżmy, że zdefiniowanie klasy w ten sposób:

class MyClass: public DataHandler<int> 
{ 
    void Process(const int&) { /* Bla-bla */ } 
} 

Teraz przyjść na pytanie, czy mogę jakoś określić mój interfejs szablon w sposób, w jaki jako parametr otrzyma nie tylko typ T, ale cały podpis funkcji Process().

chciałbym coś działa w ten sposób:

class MyClass: public DataHandler<void (int&)> 
{ 
    void Process(const int&) { /* Bla-bla */ } 
} 

jest to możliwe? Wiem, że na przykład boost :: signal odbiera parametry szablonu w ten sposób, ale jeśli dobrze rozumiem, używają tam dużo czarnej magii.

Answer 1

Tak, możesz. Ale w C++ 03, jesteś zobowiązany do kopiowania/wklejania kodu dla każdej liczby parametrów (niezbyt dobrze, ponieważ tutaj nie będziesz potrzebował przeciążenia dla const/non const itd. Constnes jest już znany!).

template<typename FnType> 
struct parm; 

template<typename R, typename P1> 
struct parm<R(P1)> { 
    typedef R ret_type; 
    typedef P1 parm1_type; 
}; 

template <class T> 
class DataHandler 
{ 
    typedef typename parm<T>::ret_type ret_type; 
    typedef typename parm<T>::parm1_type parm1_type; 

    public: 
     virtual ret_type Process(parm1_type t) = 0; 
}; 

class MyClass: public DataHandler<void (const int&)> 
{ 
    void Process(const int&) { /* Bla-bla */ } 
}; 

---

w C++ 0x, będzie można napisać

template <class T> 
class DataHandler; 

template<typename R, typename ... P> 
class DataHandler<R(P...)> 
{ 
    public: 
     virtual R Process(P... t) = 0; 
}; 

class MyClass: public DataHandler<void (const int&)> 
{ 
    void Process(const int&) { /* Bla-bla */ } 
}; 

Ile ładniejszy!