संकलक एक प्रकार का रूपांतरण क्यों नहीं करता है?

Question

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

#include <iostream> 
#include <string> 

struct SimpleStruct 
{ 
    operator std::string() { return value; } 
    std::string value; 
}; 

int main() 
{ 
    std::string s; // An empty string. 
    SimpleStruct x; // x.value constructed as an empty string. 

    bool less = s < x; // Error here. 
    return 0; 
} 

यह कोड या तो g ++ या Microsoft Visual C++ पर संकलित नहीं करता है। कंपाइलर्स द्वारा दी गई त्रुटि रिपोर्ट no match for operator '<' in 's < x' है। सवाल क्यों संकलक बस SimpleStruct xstring में नहीं बदलता के अनुसार है operator string() दिया और फिर operator < (string, string) का उपयोग करें?

Answer 1

std::string के लिए operator< एक समारोह टेम्पलेट है। भार के हैं:

template<class charT, class traits, class Allocator> 
    bool operator< (const basic_string<charT,traits,Allocator>& lhs, 
      const basic_string<charT,traits,Allocator>& rhs); 
    template<class charT, class traits, class Allocator> 
    bool operator< (const basic_string<charT,traits,Allocator>& lhs, 
      const charT* rhs); 
    template<class charT, class traits, class Allocator> 
    bool operator< (const charT* lhs, 
      const basic_string<charT,traits,Allocator>& rhs); 

आपका कॉल उपलब्ध भार के में से किसी से मेल नहीं खाता, ताकि उन सभी उम्मीदवारों की एक सूची से हटा दिया जाता है। चूंकि कॉल को हल करने के लिए उम्मीदवार के रूप में कोई फ़ंक्शन टेम्पलेट नहीं चुना गया था, इसलिए सरल संरचना को परिवर्तित करने के लिए कुछ भी नहीं है।

template <class T> 
class String 
{ 
}; 

template <class T> 
bool operator< (const String<T>&, const String<T>&) { return true; } 


//if a suitable non-template function is available, it can be picked 
//bool operator< (const String<char>&, const String<char>&) { return true; } 

struct SimpleStruct 
{ 
    operator String<char>() { return value; } 
    String<char> value; 
}; 

int main() 
{ 
    String<char> s; 
    SimpleStruct ss; 
    s < ss; //the call doesn't match the function template, leaving only the commented-out candidate 
}