खाका टेम्पलेट पैरामीटर

Question

एक नीति टेम्पलेट टेम्पलेट पैरामीटर और दो नीति परिभाषाओं के माध्यम से सेट के साथ एक टेम्पलेट वर्ग सी पर विचार करें:

template<class T> struct PolicyOne { }; 
template<class T, int U, int V> struct PolicyTwo { }; 
template<class T, template<class> class POLICY> struct C { POLICY<T> policy; }; 

void f() 
{ 
    C<int, PolicyOne> mc1; 
    C<int, PolicyTwo<1, 2> > mc2; // doesn't work this way 
} 

PolicyTwo टेम्पलेट तर्कों की गलत संख्या की वजह से काम नहीं करता। PolicyTwoPOLICY टेम्पलेट पैरामीटर के रूप में उपयोग करने का कोई तरीका है यदि आप अतिरिक्त टेम्पलेट पैरामीटर के लिए प्रकार निर्दिष्ट करते हैं?

मैं सी ++ 03 का उपयोग कर रहा हूं, इसलिए उपनाम घोषणाएं उपलब्ध नहीं हैं। मुझे this question से अवगत है, लेकिन मुझे वहां मेरी समस्या का समाधान नहीं दिख रहा है।

Answer 1

कैसे नीति प्रयोग किया जाता है के आधार पर आप उर्फ ​​टेम्पलेट्स के स्थान पर विरासत के साथ प्रबंधन करने में सक्षम हो सकता है:

template<int U, int V> struct PolicyTwoAdaptor { 
    template<class T> struct type: PolicyTwo<T, U, V> { }; }; 
C<int, PolicyTwoAdaptor<1, 2>::type> mc2; 

Answer 2

मैं अपने वर्तमान तंत्र के साथ इस को हल करने के hwo नहीं देख सकते हैं, लेकिन आप जिस तरह से यह काम करता है उल्टा कर सकते हैं और यह ठीक संकलन चाहिए (और यहां तक ​​कि वर्ग टेम्पलेट पैरामीटर को हटाने के द्वारा जटिलता को कम कर सकते हैं):

template <typename T> struct PolicyBase { typedef T value_type; }; 
template<class T> struct PolicyOne : public PolicyBase<T> { }; 
template<class T, int U, int V> struct PolicyTwo : public PolicyBase<T> { }; 
template<class POLICY> struct C { POLICY policy; typedef typename POLICY::value_type T; }; 

void f() 
{ 
    C<PolicyOne<int> > mc1; 
    C<PolicyTwo<int, 1, 2> > mc2; // doesn't work this way 
} 

मूलभूत विचार नीति उपयोगकर्ता के प्रकार tempalte पैरामीटर को स्थानांतरित करना है, और इसके बजाय पूरी तरह से तत्काल नीति देना है। फिर पॉलिसी टाइम्सफ़ीफ़ (यदि आवश्यक हो) के माध्यम से पॉलिसी उपयोगकर्ता को अपना टेम्पलेट प्रकार वापस प्रदान करती है।