अच्छे पुराने CRTP नई ट्रिक्स सीखें

कोड एक हजार शब्दों से बेहतर है

template<typename type, typename tag> struct Base {}; template<typename type, typename tag> void f(const Base<type, tag>&) {} struct Foo : Base<Foo, void> {}; int main() { Foo foo; f(foo); } 

 template<typename t> struct base_tag { typedef decltype(get_tag((t*)42)) type; }; template<typename type, typename tag = typename base_tag<type>::type> struct Base { friend tag get_tag(type*); //never defined }; template<typename type> void f(const Base<type>&) {} struct Foo : Base<Foo, void> {}; int main() { Foo foo; f(foo); } 

यह कैसे काम करता है

 void get_tag(Foo*); 

1. संकलक को base_tag टेम्पलेट उदाहरण से टैग प्रकार मिलता है,
2. बदले में, get_tag() द्वारा लौटाए गए प्रकार के रूप में परिभाषित किया गया है get_tag() , एक तर्क के रूप में एक सूचक Foo* साथ,
3. जो ओवरलोड रेजोल्यूशन मैकेनिज्म को ट्रिगर करता है और Base क्लास में घोषित किए गए फंक्शन को Foo और void साथ टेम्प्लेट तर्कों के रूप में देता है, यानी Base<Foo, void>
4. ???
5. लाभ!

ECRTP

 template<typename type> void g(const Base<type, int>&) {} struct Bar : Base<Bar, int> {}; int main() { Foo foo; Bar bar; f(foo); f(bar); g(foo); //doesn't compile by design g(bar); } 

 main.cpp (30): त्रुटि C2784: 'शून्य जी (कॉन्स्टेंट बेस <टाइप, int> &)': टेम्प्लेट तर्क वितर्क नहीं कर सका
           'फ़ू' से 'कास्ट बेस <प्रकार, int> &' के लिए
           main.cpp (18): 'जी' की घोषणा देखें

 source.cpp: फ़ंक्शन में 'int main ()':
 source.cpp: 30: 8: त्रुटि: 'g ​​(Foo &)' पर कॉल करने के लिए कोई मेल नहीं खाता
 source.cpp: 30: 8: नोट: उम्मीदवार है:
 source.cpp: 18: 6: नोट: टेम्प्लेट <वर्ग प्रकार> शून्य जी (कास्ट बेस <प्रकार, इंट> &)
 source.cpp: 18: 6: नोट: टेम्पलेट तर्क कटौती / प्रतिस्थापन विफल:
 source.cpp: 30: 8: नोट: बेमेल प्रकार 'int' और 'void'
 source.cpp: 30: 8: नोट: 'फू' 'आधार बेस <टाइप, इंट> से व्युत्पन्न नहीं है'

 template<typename type> void get_tag(type*); //default tag is 'void' template<typename t> struct base_tag { typedef decltype(get_tag((t*)42)) type; }; template<typename type, typename tag = typename base_tag<type>::type> struct Base { friend tag get_tag(type*); //never defined }; struct Foo : Base<Foo> //tag defaults to void {}; 

 struct Foo : Base<Foo, void> {}; 

C ++ 98 के बारे में क्या?

 struct tag1 {}; //a set of tags struct tag2 {}; struct tag3 {}; #define REGISTER_TAG(tag, id) char (&get_tag_id(tag))[id];\ template<> struct tag_by_id<id>\ { typedef tag type; }; template<unsigned> struct tag_by_id; REGISTER_TAG(tag1, 1) //defines id's REGISTER_TAG(tag2, 2) REGISTER_TAG(tag3, 42) template<typename t> struct base_tag { enum { tag_id = sizeof(get_tag_id(get_tag((t*)42))) }; typedef typename tag_by_id<tag_id>::type type; }; template<typename type, typename tag = typename base_tag<type>::type> struct Base { friend tag get_tag(type*); //never defined }; template<typename type> void f(const Base<type>&) {} struct Foo : Base<Foo, tag1> {}; int main() { Foo foo; f(foo); } 

शरीर की अतिरिक्त हलचलें?

 template<class type1, class tag1, class type2, class tag2> void h(const Base<type1, tag1>&, const Base<type2, tag2>&) {} 

 template<class type1, class type2> void h(const Base<type1>&, const Base<type2>&) {} 

std::vector, ( ), " std::vector () std::allocator ". , (, ), . , , . , , .


, , - .