सी ++ अधिभार संकल्प नियमों में एक दोष?

Question

पर विचार करें निम्नलिखित कोड:

#include <iostream> 

namespace ns1 
{ 
    struct A 
    { 
    }; 

    template <class T> 
    std::ostream& operator << (std::ostream& os, const T& t) 
    { 
     return os << "ns1::print" << std::endl; 
    } 
} 

namespace ns2 
{ 
    template <class T> 
    std::ostream& operator << (std::ostream& os, const T& t) 
    { 
     return os << "ns2::print" << std::endl; 
    } 

    void f (const ns1::A& a) 
    { 
     std::cout << a; 
    } 
} 


int main() 
{ 
    ns1::A a; 

    ns2::f (a); 

    return 0; 
} 

संकलन प्रति मानक के रूप में "अस्पष्ट अधिभार त्रुटि" के साथ विफल रहता है।

लेकिन क्यों? निश्चित रूप से ए के 'घर' नामस्थान में "समान रूप से अच्छा" ऑपरेटर प्राथमिकता लेना चाहिए? क्या ऐसा कोई तार्किक कारण नहीं है?

Answer 1

यदि आप चाहते हैं namespace A में अधिभार पसंद किया जा करने के लिए की तुलना में आप यह वास्तव में बेहतर बनाने के लिए यह करने के लिए कुछ जोड़ने के लिए होगा। कहते हैं, यह एक टेम्पलेट बनाने के द्वारा:

namespace ns1 
{ 
    std::ostream& operator<<(std::ostream&, const A&); 
} 

अन्यथा, वहाँ वास्तव में है देखने के लिए क्यों एक नाम स्थान में एक समारोह टेम्पलेट एक और नाम स्थान में एक समारोह टेम्पलेट को प्राथमिकता दी जाएगी अगर दोनों बिल्कुल बराबर हैं कोई वैचारिक कारण। आखिरकार, के नेमस्पेस में फ़ंक्शन टेम्पलेट f के नामस्थान में फ़ंक्शन टेम्पलेट की तुलना में "बेहतर" क्यों होगा? f के कार्यान्वयनकर्ता को "बेहतर पता नहीं" चाहिए? फ़ंक्शन हस्ताक्षर पर पूरी तरह से निर्भर होने से इस मुद्दे को दूर किया जाता है।

Answer 2

आप ध्यान से संकलक त्रुटियों पढ़ते हैं, अस्पष्टता त्रुटि ns1 और ns2 में operator<< संस्करणों के बीच नहीं है, लेकिन ns1 से operator<<(os, const char*) इन्स्टेन्शियशन और namespace std से ठीक उसी अधिभार के बीच। बाद में std::ostream पर एडीएल द्वारा खींचा जा रहा है।

#include <iostream> 

namespace ns1 
{ 
    struct A {}; 

    std::ostream& operator << (std::ostream& os, const A& t) 
    { 
     return os << "ns1::print" << std::endl; 
    } 

    void f (const A& a) 
    { 
     std::cout << a; 
    }  
} 

int main() 
{ 
    ns1::A a; 
    f(a); // rely on ADL to find ns1::operator<<(os, A) 
} 

:

सबसे अच्छा तरीका एक ही नाम स्थान में ns1::A (जैसे f(A) के रूप में) से संबंधित सभी कार्यक्षमता जोड़ने के लिए @Barry, और de-templatize नाम स्थान ns1 में operator<< द्वारा की गई अनुशंसाओं का उपयोग करने के, लेकिन यह भी है

Live Example

नाम स्थान ns1 तो ADL के माध्यम से class A के व्यापक अंतरफलक के रूप में कार्य करता है।