टेम्पलेट पैरामीटर के रूप में कार्य

Question

समस्याएं मुझे परेशान करने में यह समस्या है। मैं FSM वर्ग है जो कॉलबैक

class FSM 
{ 
public: 

typedef bool (FSM::*InCallback_t)(int); 
typedef std::map< std::string, InCallback_t > Table; 

// Since I would like to allow the user to register both functors and class member functions 
template< typename Callback_t, bool (Callback_t::*CallbackFunct_t)(int) > 
bool callback(int x) 
{ 
    return (Callback_t().*CallbackFunct_t)(x); 
} 

void addCallback(const std::string& iKey, InCallback_t iCallback) 
{ 
    _table.insert(std::make_pair(iKey, iCallback)); 
} 

    [ ... ] 

private: 
    Table _table; 
}; 

के सहयोगी कुंजी और कुछ कॉलबैक कक्षाएं

class CallbackBase 
{ 
public: 

    bool operator()(int x){ return doCall(x); } 

private: 
    virtual bool doCall(int x){ return true; } 
}; 


class Callback: public CallbackBase 
{ 
private: 
    bool doCall(int x) 
    { 
     std::cout << "Callback\n"; 
     return true; 
    } 
}; 

अब अगर मुख्य में मुझे क्या करना:

FSM aFSM; 
// OK 
aFSM.addCallback("one", &FSM::callback< CallbackBase, &CallbackBase::operator() >); 
// KO 
aFSM.addCallback("two", &FSM::callback< Callback, &Callback::operator() >); 

पहली कॉल, ठीक है में दूसरा एक कंपाइलर शिकायत करता है:

Test.cpp: In function ‘int main(int, char**)’: 
Test.cpp:104:77: error: no matching function for call to ‘FSM::addCallback(const char [4], <unresolved overloaded function type>)’ 
Test.cpp:104:77: note: candidate is: 
Test.cpp:24:7: note: void FSM::addCallback(const string&, FSM::InCallback_t) 
Test.cpp:24:7: note: no known conversion for argument 2 from ‘<unresolved overloaded function type>’ to ‘FSM::InCallback_t’ 

भी ध्यान दें कि निम्नलिखित ठीक है

typedef bool (Callback::*Function_t)(int); 
Function_t aFunction = &Callback::operator(); 
(Callback().*aFunction)(5); 

किसी भी विचार? आपकी मदद के लिए अग्रिम धन्यवाद।

सिमोन

Answer 1

आपने कॉलबैक :: ऑपरेटर() को परिभाषित नहीं किया है। कॉलबैक के लिए कॉलबैक के लिए कोई साउंड फ़ंक्शन नहीं है जो कॉलबैकबेस से फ़ंक्शन है जो कॉलबैकबेस और पैरामीटर के रूप में एक int लेता है! यही कारण है कि संकलक "अनसुलझा अधिभारित फ़ंक्शन प्रकार" के बारे में moans।

विरासत समारोह का प्रकार बूल (कॉलबैकबेस :: * ऑपरेटर()) (int) है। यह फ़ंक्शन स्वचालित रूप से एक बूल (कॉलबैक :: * ऑपरेटर()) (int) में परिवर्तित हो सकता है क्योंकि आप हमेशा उस फ़ंक्शन पर कॉलबैक लागू कर सकते हैं जो केवल कॉलबैकबेस स्वीकार करता है। यही कारण है कि निम्नलिखित कार्य करता है - यह एक स्वचालित कलाकार है जो वहां हो रहा है। जब कॉलबैक instanciating

template< typename Callback_t, bool (Callback_t::*CallbackFunct_t)(int) > 
with: Callback_t = Callback, CallbackFunct_t = bool (CallbackBase::*CallbackFunct_t)(int) 

इस प्रकार है कि Callback_t और प्रकार समारोह सूचक द्वारा अपेक्षित के माध्यम से दिए गए के बाद से काम नहीं करता है मेल नहीं खाते:

typedef bool (Callback::*Function_t)(int); 
Function_t aFunction = &Callback::operator(); 

समस्या

टेम्पलेट प्रकार कटौती के साथ होता है समारोह। टाइप कटौती होने से पहले आप फ़ंक्शन पॉइंटर की स्पष्ट कलाकार (कॉलबैक :: * ऑपरेटर()) (int) के साथ समस्या का समाधान कर सकते हैं। यदि आप कॉलबैक फ़ंक्शन को निम्न में बदलते हैं तो आपको दो प्रकारों को समान होने की आवश्यकता नहीं होती है और यह कलाकारों के बिना संकलित होती है।

template< typename Callback_t> 
bool callback(int x) 
{ 
    return Callback_t()(x); 
} 

मुझे समझ में नहीं आता कि आप वर्चुअल फ़ंक्शन क्यों जोड़ते हैं। निम्नलिखित कुछ भी नहीं करेंगे, अधिक सरल और पठनीय और तेज भी हो (कोई आभासी फ़ंक्शन कॉल नहीं)? डकॉल फ़ंक्शन को सार्वजनिक होना आवश्यक होगा।

template< typename Callback_t> 
bool callback(int x) 
{ 
    return Callback_t().doCall(x); 
} 

कॉलबैक फ़ंक्शन स्थिर करने के लिए एक और सुधार होगा। यदि डकॉल फ़ंक्शन स्थिर होंगे तो यह और भी आसान होगा - इससे कॉलबैक फ़ंक्शन अप्रचलित हो जाएगा और डॉक कॉल करने के लिए अस्थायी बनाने से बच जाएगा।