सी ++ इस टेम्पलेट विधि को विधि अधिभार में क्यों पसंद करता है?

Question

मान लिया जाये कि मैं दो वर्गों, आदिम प्रकार लिखने के लिए सबसे पहले एक (bool, int, float, आदि) और दूसरा एक विस्तार पहले भी जटिल प्रकार लिखना पड़ा:

struct Writer { 
    virtual void Write(int value) = 0; 
}; 

struct ComplexWriter : public Writer { 
    template <typename TValue> void Write(const TValue &value) { 
     boost::any any(value); 
     Write(any); 
    } 
    //virtual void Write(int value) = 0; // see question below 
    virtual void Write(const boost::any &any) = 0; 
}; 

विचार है कि यदि है कोई myWriter.Write(someIntValue); पर कॉल करता है, int अधिभार टेम्पलेट विधि पर प्राथमिकता प्राप्त करेगा।

इसके बजाय, मेरा कंपाइलर (विजुअल सी ++ 11.0 आरसी) हमेशा टेम्पलेट विधि चुनता है। निम्नलिखित कोड का टुकड़ा, उदाहरण के लिए, कंसोल के लिए Wrote any प्रिंट होगा:

struct ComplexWriterImpl : public ComplexWriter { 
    virtual void Write(int value) { std::cout << "Wrote an int"; } 
    virtual void Write(const boost::any &any) { std::cout << "Wrote any"; } 
}; 

void TestWriter(ComplexWriter &writer) { 
    int x = 0; 
    writer.Write(x); 
} 

int main() { 
    ComplexWriterImpl writer; 
    TestWriter(writer); 
} 

व्यवहार अचानक बदल जाता है जब मैं ComplexWriter कक्षा में Write(int) प्रणाली की घोषणा के साथ-साथ (देखें पहली लाइन खोजें बाहर टिप्पणी की)। इसके बाद यह कंसोल पर Wrote an int प्रिंट करता है।

क्या यह मेरे संकलक को व्यवहार करना चाहिए? क्या सी ++ मानक स्पष्ट रूप से कहता है कि एक ही कक्षा (और आधार वर्ग नहीं) में परिभाषित केवल ओवरलोड को एक टेम्पलेट विधि पर प्राथमिकता दी जाएगी?

Answer 1

समस्या यह है कि बिंदु पर आप संकलक एक ComplexWriter नहीं एक ComplexWriterImpl देखता writer.Write(x) कॉल कर रहे है, इसलिए यह काम करता है ComplexWriter में परिभाषित की केवल बारे में पता है - टेम्पलेट समारोह और boost::any कार्य करते हैं।

ComplexWriter किसी भी आभासी कार्यों है कि एक int स्वीकार शामिल नहीं है, तो यह कोई तरीका नहीं है पूर्णांक अधिभार ComplexWriterImpl

में परिभाषित किया गया जब आप ComplexWriter वर्ग के लिए आभासी अधिभार में जोड़ें, फिर संकलक के माध्यम से कॉल करने के लिए है जागरूक ComplexWriter कक्षा में एक पूर्णांक अधिभार नहीं है कि हो जाता है और इसलिए यह करने के लिए के माध्यम से कॉल में ComplexWriterImpl

संपादित कार्यान्वयन है: कि आप ComplexWriter & लेखक के बीच विरासत में संपादित कर लिया है अब, मैं के लिए एक अधिक पूर्ण विवरण मिल गया है आप:

जब आप उप-वर्ग बनाते हैं और इसमें कोई फ़ंक्शन परिभाषित करते हैं तो बेस श्रेणी में उस नाम के सभी कार्यों को उनके तर्क प्रकारों के बावजूद छुपाया जाएगा।

आप कीवर्ड का उपयोग कर के साथ इस के आसपास मिल सकता है मेरा मानना ​​है कि: http://www.parashift.com/c++-faq-lite/strange-inheritance.html#faq-23.9

संपादित करें 2:

struct ComplexWriter : public Writer { 
    template <typename TValue> void Write(const TValue &value) { 
     boost::any any(value); 
     Write(any); 
    } 
    using Writer::Write; 
    virtual void Write(const boost::any &any) = 0; 
}; 

अधिक जानकारी के लिए इस सामान्य प्रश्न प्रविष्टि देख बस पुष्टि करते हैं कि यह वास्तव में अपनी समस्या को हल करता है: http://ideone.com/LRb5a

Answer 2

आप ComplexWriter "इंटरफेस" के माध्यम से वस्तु पर पहुंचते हैं, संकलक Write(int) को समारोह कॉल है कि कक्षा में परिभाषाओं का उपयोग को हल करने की कोशिश करेंगे। यदि ऐसा करने में सक्षम नहीं है, तो यह आधार वर्गों पर विचार करेगा।

इस मामले में, आपके पास दो उम्मीदवार हैं: Write(any) और टेम्पलेट संस्करण। चूंकि इस बिंदु पर कोई स्पष्ट Write(int) उपलब्ध नहीं है, इसलिए इन दो विकल्पों के बीच चयन करना होगा।Write(any) को एक निहित रूपांतरण की आवश्यकता है, जबकि टेम्पलेट संस्करण नहीं है, इसलिए टेम्पलेट संस्करण को कॉल किया जाता है (जो बदले में Write(any) पर कॉल करता है)।

Write(int)Writer से उपलब्ध कराने के लिए, आयात Writer::Write कार्य:

class ComplexWriter : public Writer 
{ 
    using Writer::Write; 
    // rest is as before 
};