मैं वैरिएड टेम्पलेट तर्क वाले वर्ग को सक्षम कैसे करूं?

Question

मान लीजिए मैं निम्नलिखित हस्ताक्षर के साथ एक वर्ग है:

template <typename T, typename... Args> 
class A; 

लेकिन यह कैसे इस वर्ग के बर्ताव करता है कुछ अन्य पैरामीटर पर निर्भर होना चाहिए, मान लें कि यह T::value का क्या महत्व है करते हैं:

template <typename T, typename... Args, typename Enable> 
class A; 

template <typename T, typename... Args, typename = typename std::enable_if<T::value>::type> 
class A 
{ 
    // do something 
}; 

template <typename T, typename... Args, typename = typename std::enable_if<!T::value>::type> 
class A 
{ 
    // do something else 
}; 

int main() { return 0; } 

हालांकि, इस कार्यक्रम निम्नलिखित त्रुटि देता है:

prog.cpp:6:11: error: parameter pack ‘Args’ must be at the end of the template parameter list class A;

मैंनेके उपयोग पर जानकारी का एक अच्छा स्रोत खोजने के लिए संघर्ष किया है विविधता टेम्पलेट्स के साथ कक्षाओं का चयन करने के लिए। केवल सवाल मैं मिल सकता है इस एक है:

How to use std::enable_if with variadic template

लेकिन नाम के बावजूद, इस सवाल और उसके जवाब ज्यादा मदद नहीं कर रहे हैं। अगर कोई इस बात पर एक गाइड प्रदान या लिंक कर सकता है कि इसका संपर्क कैसे किया जाना चाहिए और इसकी सराहना क्यों की जाएगी।

Answer 1

सबसे पहले, आप क्या प्रयास कर रहे हैं कई परिभाषाएं लिख रहा है एक वर्ग टेम्पलेट का। इसकी अनुमति नहीं है क्योंकि यह एक परिभाषा नियम का उल्लंघन करता है। यदि आप कक्षाओं के साथ सशर्त सक्षम करना चाहते हैं, तो आपको विशेषज्ञता की आवश्यकता है। साथ ही, कंपाइलर त्रुटि संदेश ने आपको पहले ही बताया है, आपके पास पैरामीटर सूची के बीच में एक वैरिएडिक पैरामीटर पैक नहीं हो सकता है।

एक तरह से करने के लिए यह होगा: अगर हालत वास्तव में एक bool है

namespace detail { 

template<typename T, typename Enable, typename... Args> 
class A_impl; 

template<typename T, typename... Args> 
class A_impl<T, typename std::enable_if<T::value>::type, Args...> { 
    // code here 
}; 

template<typename T, typename... Args> 
class A_impl<T, typename std::enable_if<!T::value>::type, Args...> { 
    // code here 
}; 
} 

template<typename T, typename...Args> 
class A : public detail::A_impl<T, void, Args...> {}; 

Jonathan's way भी बिल्कुल ठीक है, लेकिन यह उपयोगी नहीं हो सकता है अगर आप अधिक विशेषज्ञताओं है कि प्रत्येक कई पर निर्भर जोड़ना चाहते हैं शर्तों को।

Answer 2

यह है जैसे कि अपने उद्देश्यों के लिए आप सक्षम/वर्ग को निष्क्रिय करने की जरूरत नहीं है, तो आप सिर्फ एक आंशिक विशेषज्ञता की जरूरत है दिखता है:

template <typename T, bool B = T::value, typename... Args> 
    class A; 

template <typename T, typename... Args> 
    class A<T, true, Args...>; 

template <typename T, typename... Args> 
    class A<T, false, Args...>;