टेम्पलेट ओवरलोडिंग ओस्ट्रीम ऑपरेटर

Question

मैं एक एसटीएल कंटेनर को सुंदर प्रिंट करने की कोशिश कर रहा हूं। मैं जो कोशिश कर रहा हूं वह एक डिलीमीटर से अलग कंटेनर के elemets मुद्रित करने के लिए है। हालांकि मैं कुछ समस्याओं में आया हूं।

1. जी ++ बनाम कुलपति ++

ostream& operator<<(ostream& o, const vector<string>& v) { 
    copy(v.begin(), v.end(), std::ostream_iterator<string>(o,",")); 
} 

int main() 
{ 

    vector<string> s_v; 
    s_v.push_back("one"); 
    s_v.push_back("two"); 

    cout << s_v; 

} 

जी ++ (mingw32 पर जीसीसी संस्करण 4.4.0) संकलन कर सकते हैं यह एक ठीक काम करता है। वीसी ++ (विजुअल स्टूडियो 9) इस कोड को संकलित नहीं कर सकता है।

error C2679: binary '<<' : no operator found which takes a right-hand operand of type 'const std::string' (or there is no acceptable conversion) 
1>  c:\program files (x86)\microsoft visual studio 9.0\vc\include\ostream(653): could be 'std::basic_ostream<_Elem,_Traits> &std::operator <<<char,std::char_traits<char>>(std::basic_ostream<_Elem,_Traits> &,const char *)' 
1>  with 
1>  [ 

यह क्यों है? क्या यह कोड अवैध है? या यह सिर्फ वीसी ++ बीसीएन वीसी ++ है?

---

2. अप्रयुक्त टेम्पलेट चर टूटता संकलन।

अगर अब मैं एक टेम्पलेट इस तरह ostream करने के लिए (यह नहीं किया जाता है तो बस वहाँ बैठे,) जोड़ने

template <typename T> // <----- Here 
ostream& operator<<(ostream& o, const vector<string>& v) { 
    copy(v.begin(), v.end(), std::ostream_iterator<string>(o,",")); 
} 

int main() 
{ 

    vector<string> s_v; 
    s_v.push_back("one"); 
    s_v.push_back("two"); 

    cout << s_v; 

} 

जीसीसी अब और ऑपरेटर से मेल नहीं कर सकते हैं।

error: no match for 'operator<<' in 'std::cout << s_v' 

and a lot more candidates... 

क्यों? टेम्पलेट अप्रयुक्त है। क्या इससे कोई फर्क पड़ता है?

---

संपादित करें: यह समाधान हो जाता है। मुझे ओ वापस करना पड़ा;

3. प्रयुक्त टेम्पलेट

template <typename T> 
ostream& operator<<(ostream& o, const vector<T>& v) { 
    copy(v.begin(), v.end(), std::ostream_iterator<T>(o,",")); 

    return o; // Edited 
} 

int main() 
{ 

    vector<string> s_v; 
    s_v.push_back("one"); 
    s_v.push_back("two"); 

    vector<int> i_v; 
    i_v.push_back(1); 
    i_v.push_back(2); 

    cout << s_v; 
    cout << i_v; 
} 

मैं टेम्पलेट प्रकार का उपयोग पता है। g ++ इसे संकलित कर सकता है लेकिन फिर अपवाद के साथ समाप्त हो जाता है।

terminate called after throwing an instance of 'std::bad_cast' 
    what(): std::bad_cast 

कुलपति ++ बस बैठे और जीसीसी यह सब करने के देख रहा है। उनमें से किसी को संकलित नहीं करता है।

क्या कोई मेरे लिए इस चीज को स्पष्ट कर सकता है? धन्यवाद।

Answer 1

आधार:

सबसे पहले, कोड गैर कानूनी है, क्योंकि यह एक return बयान याद करते हैं (जो की संभावना क्या अपवाद है कि तीसरे संस्करण में उठाया जाता है खड़ी कर रहा है है):

ostream& operator<<(ostream& o, const vector<string>& v) { 
    copy(v.begin(), v.end(), std::ostream_iterator<string>(o,",")); 
    return o; // <== THIS ONE WAS MISSING 
} 

यह आपके प्रोग्राम के लिए अपरिभाषित व्यवहार इंजेक्ट करता है। सी ++ 11 मानक के अनुच्छेद 6.6.3/1, वास्तव में:

[...] किसी फ़ंक्शन के अंत में बहने से कोई मूल्य नहीं होता है; इस परिणाम को मान-वापसी समारोह में अपरिभाषित व्यवहार में परिणाम।

एक बार है कि तय हो गई है, अपने कोड ठीक है, और कहा कि VC9 के साथ भेज दिया है स्टैंडर्ड लाइब्रेरी के कार्यान्वयन शायद एक बग है:

अपने पहले प्रश्न के संबंध में ।

वास्तव में, संकलक operator << के तर्कों के नामस्थान (std) और नामस्थान में जहां कॉल किया जा रहा है (वैश्विक नामस्थान) में योग्य अधिभार के लिए देखना चाहिए। जब तक आपका ऑपरेटर वैश्विक नामस्थान और में परिभाषित किया गया है, तो cout << s_v वैश्विक नामस्थान में है, ओवरलोड रिज़ॉल्यूशन सफलतापूर्वक आपके अधिभार को चुनना चाहिए।

अपने दूसरे प्रश्न के संबंध में:

क्यों? टेम्पलेट अप्रयुक्त है। क्या इससे कोई फर्क पड़ता है?

कि सरल है: संकलक समारोह तर्क से T बात का अनुमान लगाना है, तो जब तक आप इसे स्पष्ट रूप से निर्दिष्ट है, यह एक संकलन त्रुटि का परिणाम देगा का कोई रास्ता नहीं है।

::operator << <void>(std::cout, s_v); 

सी ++ 11 में आप T के लिए एक डिफ़ॉल्ट तर्क निर्दिष्ट कर सकते हैं, जो समारोह फोन करना होगा: हालांकि, टेम्पलेट तर्क को स्पष्ट रूप से निर्दिष्ट करने निम्नलिखित, जो गैर भावना के करीब है की तरह कुछ करने का मतलब होगा कानूनी, बग फिर, किस उद्देश्य के लिए?

अपने तीसरे प्रश्न के संबंध में:

जब T एक निष्कर्ष निकाला संदर्भ में एक फ़ंक्शन पैरामीटर कम से कम एक के प्रकार में प्रयोग किया जाता है, संकलक (समारोह तर्क से यह अनुमान इस मामले में की अनुमति देगा , यह T = std::string निकालना होगा, और आप इसे स्पष्ट रूप से निर्दिष्ट करने की जरूरत नहीं

निष्कर्ष:।

तो यह योग करने के लिए ऊपर: आवश्यकजोड़ने के बादकथन, आपके प्रोग्राम के पहले और तीसरे संस्करण कानूनी हैं और समझ में हैं, जबकि दूसरा नहीं है और नहीं।

Answer 2

1. पोस्ट के रूप में, आपका कोड किसी भी कंपाइलर के साथ संकलित नहीं होना चाहिए। आप गायब हैं, और std:: के बहुत सारे शामिल हैं। मैं संदिग्ध ऐसा हो रहा है कि आपके पास सभी आवश्यक शामिल नहीं हैं; विशेष रूप से, #include <string> गुम है, और वह g ++ इसे अप्रत्यक्ष रूप से चुनता है। जो उत्सुक है। समस्या आमतौर पर उलटा होता है: VC++ बहुत सारे अतिरिक्त चुनता है। कभी-कभी, हालांकि, केवल आंशिक रूप से (इसलिए आप std::string के बारे में जानकर समाप्त हो सकते हैं, लेकिन operator<< जैसे गैर-सदस्य कार्यों से संबंधित नहीं हैं)। के बिना आपके वास्तविक में शामिल होने के बावजूद, यह कहना मुश्किल है।

2. कंपाइलर केवल फ़ंक्शंस पर ओवरलोड रिज़ॉल्यूशन निष्पादित कर सकता है, फ़ंक्शन टेम्पलेट्स पर नहीं। अधिभार रिज़ॉल्यूशन शुरू करने से पहले, यह सही नाम के साथ फ़ंक्शन टेम्पलेट्स को तुरंत चालू करने का प्रयास करता है। में एक सफल फ़ंक्शन का परिणाम, जो यह अधिभार सेट में जोड़ता है। लेकिन यह आपके फ़ंक्शन टेम्पलेट को तुरंत चालू करने वाला है। T के लिए उपयोग करने के लिए इसका कोई तरीका नहीं है । इसलिए यह (टेम्पलेट तर्क कटौती विफल रहता है) को तुरंत चालू नहीं करता है, और इसका कोई उदाहरण ओवरलोड लोड में नहीं मिलता है।

3. मुझे यहां कुछ भी नहीं दिखाई देता है। operator<< में अनुपलब्ध रिटर्न जोड़ने के बाद, यह को वीसी ++ पर सही ढंग से संकलित करता है और चलाता है।