सी ++ टेम्पलेट्स और व्युत्पन्न कक्षाएं

Question

मैं निम्नलिखित कोड को समझने की कोशिश कर रहा हूं। व्युत्पन्न टी से एक व्युत्पन्न संरचना और क्या करता है "," इसका मतलब है और उसके बाद निवर्तन {}

template <class T> 
struct has_FlowTraits<T, true> 
{ 
    struct Fallback { bool flow; }; 
    struct Derived : T, Fallback { }; //What does it means ? 

    template<typename C> 
    static char (&f(SameType<bool Fallback::*, &C::flow>*))[1]; 

    template<typename C> 
    static char (&f(...))[2]; 

public: 
    static bool const value = sizeof(f<Derived>(0)) == 2; 
}; 

Answer 1

यह Member Detector Idiom के एक कार्यान्वयन है। यह का उपयोग यह जांचने के लिए करता है कि टाइप टी को flow नामक सदस्य मिला है या नहीं।

संपादित करें: आप जिस कॉमा भाग के बारे में पूछ रहे हैं वह multiple inheritance है। व्युत्पन्न संरचना (सार्वजनिक रूप से) से टी और फ़ॉलबैक से विरासत में है।

Answer 2

यह सिर्फ एकाधिक विरासत है। निम्नलिखित एक DerivedT से प्राप्त होता है वह यह है कि (और आगे नहीं परिभाषा प्रदान करता है):

struct Derived : T { }; 

और निम्नलिखित एक DerivedT और Fallback दोनों से प्राप्त होता है वह यह है कि:

struct Derived : T, Fallback { }; 

है यही कारण है कि, DerivedFallback के सदस्यों Tऔर के सदस्यों का उत्तराधिकारी होगा। इस मामले में, Derived एक संरचना है, इसलिए विरासत डिफ़ॉल्ट रूप से सार्वजनिक उत्तराधिकारी है।

Answer 3

अल्पविराम का अर्थ है कि यह सार्वजनिक रूप से या निजी रूप से प्राप्त होता है (इस पर निर्भर करता है कि T या Fallback उन दो वर्गों से एक संरचना या कक्षा है)। कॉमा में बस उन वर्गों को शामिल किया गया है, जिनमें से Derive प्राप्त होगा।

Answer 4

इसका मतलब है:

has_FlowTraits struct की परिभाषा के अंदर, आप भी एक नया struct जो Derived कहा जाता है परिभाषित करते हैं।

आप कहते हैं कि यह संरचना Derived प्रकार टी, और प्रकार Fallback टाइप कर रहा है। (यदि आप पहले लाइन को देखते हैं, तो struct Fallback अभी परिभाषित किया गया है)।

{} का मतलब है कि कार्यान्वयन का कोई और विवरण नहीं है। इस प्रकार के उपयोगी होने के लिए कोई और विधि या विशेषता परिभाषा की आवश्यकता नहीं है।