टेम्पलेट में फ़ंक्शन प्रकार संकलित नहीं करता है

Question

मैं gcc 4.6.1 का उपयोग करके विविध टेम्पलेट पैरामीटर के साथ खेल रहा था।

template<typename RetType, typename... ArgTypes> 
class Event; 

template<typename RetType, typename... ArgTypes> 
class Event<RetType(ArgTypes...)> 
{ 
public: 
    typedef function<RetType(ArgTypes...)> CallbackType; 

    void emit(ArgTypes...args) 
    { 
     for (CallbackType callback : callbacks) 
     { 
      callback(args...); 
     } 
    } 

private: 
    vector<CallbackType> callbacks; 
}; 

लेकिन मेरे आश्चर्य निम्नलिखित "सामान्य" संस्करण है कि केवल एक "तर्क प्रकार" पर संकलन नहीं करता है:: निम्नलिखित कोड अपेक्षित ढंग से संकलित

template<typename RetType, typename ArgType> 
class Event; 

template<typename RetType, typename ArgType> 
class Event<RetType(ArgType)> // <- error: wrong number of template arguments (1, should be 2) 
{}; 

जी ++ 4.6.1 त्रुटि देता है टिप्पणी में के रूप में।

कोई भी जानता है कि यह त्रुटि क्यों उत्पन्न करता है और इसे कैसे काम करता है? साथ ही, क्या मैं उपरोक्त कोड को सोचने में सही हूं "टेम्पलेट आंशिक विशेषज्ञता" का एक रूप है?

Answer 1

template<typename RetType, typename ArgType> 
class Event; 

उम्मीद 2 टेम्पलेट तर्क, RetType और ArgType, आप केवल यह एक RetType(ArgType) दे।

template<typename RetType, typename... ArgType> 
class Event; 

उम्मीद 1 या अधिक टेम्पलेट तर्क, RetType और वैकल्पिकArgType रों।

Answer 2

मुझे लगता है कि त्रुटि इस तथ्य के कारण है कि यदि टेम्पलेट भिन्न नहीं है, तो cpomiler मानक रूप की अपेक्षा करता है, जो वर्ग Event<templateArg1, templateArg2> है, जो स्पष्ट रूप से यह नहीं है कि आप इसे किस प्रकार खिला रहे हैं।

टेम्पलेट विशेषज्ञता के बारे में: मैं असहमत हूं, अगर मैं गलत नहीं कर रहा हूं तो आप कक्षा Event की घोषणा को आगे बढ़ाने के लिए हैं, तो प्रभावी रूप से इसे केवल 2 लाइनों के बाद घोषित करें।

Answer 3

आप मनोरंजन के लिए std::function के अपने स्वयं के संस्करण बनाना चाहते हैं, यह इस तरह दिखना चाहिए:

template<class Signature> 
class Event; 

template<class R, class... Args> 
class Event<R(Args...)>{ 
    // ... 
}; 

क्यों अपने पहले संस्करण से काम करता है पहले से ही टेम्पलेट पैरामीटर में @ronag, एक पैरामीटर पैक (... द्वारा समझाया गया है) का अर्थ है शून्य या अधिक। यदि आप std::/boost::function के समान वर्ग (int(int, double, char) एक फ़ंक्शन प्रकार चाहते हैं, तो ऊपर दिए गए कोड अभी भी सही हस्ताक्षर हैं, इसलिए यह class Signature जैसे एकल प्रकार की घोषणा में फिट हो सकता है)।