टेम्पलेट पैरामीटर विधियों के साथ टेम्पलेट क्लास विधियों की परिभाषा टेम्पलेट पैरामीटर

Question

मैंने this question से पहले पूछा जहां a solution प्रस्तुत किया गया था। जहां तक ​​सवाल का सवाल है, समाधान अब तक बढ़िया है, लेकिन अब मैं उलझन में हूं कि मैं वर्ग के के बाहर विधियों को कैसे परिभाषित करता हूं, मैं .inl फ़ाइल में विधियों को परिभाषित करना चाहता हूं। इस मामले में वाक्यविन्यास क्या होगा?

बस स्पष्ट होना, एक टेम्पलेट वर्ग के लिए, विधि परिभाषा हो जाएगा:

template <typename T> 
struct Foo 
{ 
    Foo(); 
}; 

// C-tor definition 
template <typename T> 
Foo<T>::Foo() 
{ 
} 

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

template <typename Policy, enable_if< is_base<BasePolicy, Policy>::value >::type > 
struct Foo 
{ 
  Foo(); 
}; 

// C-tor definition -- ??? 

Answer 1

यह दिखता से, आप इस की तर्ज पर कुछ करना चाहता हूँ उलझन में नहीं मिलता है, वहाँ एक है कई स्थानों पर बैठे void निहित।

Answer 2

यहाँ कैसे SFINAE वास्तव में आंशिक विशेषज्ञता के साथ काम कर सकते हैं:

template<typename T, typename Sfinae = void> 
struct Foo { 
    /* catch-all primary template */ 
    /* or e.g. leave undefined if you don't need it */ 
}; 

template<typename T> 
struct Foo<T, typename std::enable_if<std::is_base_of<BasePolicy, T>::value>::type> { 
    /* matches types derived from BasePolicy */ 
    Foo(); 
}; 

कि निर्माता के लिए परिभाषा तो awkwardly के साथ पेश किया जा सकता है:

template<typename T> 
Foo<T, typename std::enable_if<std::is_base_of<BasePolicy, T>::value>::type>::Foo() 
{ 
    /* Phew, we're there */ 
} 

अपने संकलक टेम्पलेट उपनाम (समर्थन करता है तो यह एक सी ++ 11 फीचर है) तो आप बहुत सारी वर्बोजिटिटी काट सकते हैं:

template<typename T> 
using EnableIfPolicy = typename std::enable_if<std::is_base_of<BasePolicy, T>::value>::type; 

// Somewhat nicer: 

template<typename T> 
struct Foo<T, EnableIfPolicy<T>> { 
    Foo(); 
}; 

template<typename T> 
Foo<T, EnableIfPolicy<T>>::Foo() {} 

नोट: आपका मूल उत्तर बूस्ट से यूटिलियों को संदर्भित करता है, जैसे boost::enable_if_c और boost::is_base_of। आप उपयोग कर रहे हैं के बजाय std::enable_if और std::is_base_of (जिसमें से सी ++ 11 हैं), तो उपयोग लग रहा है कि एक ::value से छुटकारा पाने का लाभ दिया है जो

typename boost::enable_if<boost::is_case_of<BasePolicy, T> >::type 

की तरह।

template <typename Policy, 
      typename = typename std::enable_if<std::is_base_of<BasePolicy, Policy>::value>::type > 
struct Foo; 

template <typename Policy> 
struct Foo<Policy> { 
    Foo(); 
}; 

template <typename Policy> 
Foo<Policy>::Foo() { 
} 

यह sneakily कुछ स्थानों में डिफ़ॉल्ट तर्क का लाभ लेता है: