Неявные приведения типов, error: ambiguous overload for ‘operator=’

@eva2326 · Регистрация: 17.05.2015

Author24 — интернет-сервис помощи студентам

Всем привет!

Как заставить код работать без костыля?

https://rextester.com/SHUYH87895

C++

#include <iostream>
#include <cassert>
 
using str_t = std::string;
 
class record
{
public:
    template<class s>
    record(const s& val = "demo")
        : m_format()
        , m_value(false)
    { this->operator=(val); }
 
    template<class s>
    record& operator=(const s& value)
    {
        this->m_format = value;
        this->m_value = true;
        return *this;
    }
 
    template<class ostream>friend  
    ostream& operator<<(ostream& os, const record& obj)
    {
        os << obj.m_format;
        return os;
    }
 
    bool operator!() const noexcept
    {
        const bool valid(*this);
        return !valid;
    }
 
    explicit operator bool() const noexcept
        { return m_value; }
 
    const str_t& str() const noexcept
        { return this->m_format; }
 
    operator const str_t&() const noexcept
        { return this->str(); }
 
    operator const char*() const noexcept
        { return this->str().c_str(); }
private:
    str_t m_format;
    bool  m_value;
};
 
 
int main()
{
    record rec = "123";
    
    const char* cstr = rec;  // ok
    const str_t sstr = rec;  // ok
    
    str_t assign = rec;
    assign = rec.str();      // костыль
    
    assign = rec; // error: ambiguous overload for ‘operator=’
    
    assert(rec); // ok
 
    assert(sstr == "123" );
    assert(sstr == cstr  );
    assert(sstr == assign);
    
    std::cout << rec << '\n';
    if(!rec)
        std::cout << "(empty)\n";
}

Код

Error(s):
source_file.cpp: In function ‘int main()’:
source_file.cpp:63:12: error: ambiguous overload for ‘operator=’ (operand types are ‘str_t {aka std::__cxx11::basic_string<char>}’ and ‘record’)
     assign = rec; // error: ambiguous overload for ‘operator=’
            ^
In file included from /usr/include/c++/5/string:52:0,
                 from /usr/include/c++/5/bits/locale_classes.h:40,
                 from /usr/include/c++/5/bits/ios_base.h:41,
                 from /usr/include/c++/5/ios:42,
                 from /usr/include/c++/5/ostream:38,
                 from /usr/include/c++/5/iostream:39,
                 from source_file.cpp:1:
/usr/include/c++/5/bits/basic_string.h:550:7: note: candidate: std::__cxx11::basic_string<_CharT, _Traits, _Alloc>& std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::operator=(const std::__cxx11::basic_string<_CharT, _Traits, _Alloc>&) [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>]
       operator=(const basic_string& __str)
       ^
/usr/include/c++/5/bits/basic_string.h:558:7: note: candidate: std::__cxx11::basic_string<_CharT, _Traits, _Alloc>& std::__cxx11::basic_string<_CharT, _Traits, _Alloc>::operator=(const _CharT*) [with _CharT = char; _Traits = std::char_traits<char>; _Alloc = std::allocator<char>]
       operator=(const _CharT* __s)
       ^

@L0M · 27.04.2019, 17:03

Всё правильно. В вашем классе определены два оператора преобразования типа:

C++

    operator const str_t&() const noexcept
        { return this->str(); }
 
    operator const char*() const noexcept
        { return this->str().c_str(); }

В STL для std::string (в смысле для std::basic_string<char, std::char_traits<char>, std::allocator<char>>) определены операторы присваивания как для const std::string, так и для const char*. И компилятор в недоумении: какой из методов вы имели ввиду.

Можно ~~подставить ещё один костыль~~ явно указать, что вы имели ввиду:

C++

    // так:
    assign = (const char *)rec; //  ok
    // или так:
    assign = (const str_t)rec; //  ok

Или, наверное это лучше, можно в вашем классе одно преобразование типа заменить на обычный метод:

C++

class record {
public:
// ...
    //operator const char*() const noexcept {
    //  return this->str().c_str();
    //}
    const char * c_str() const noexcept {
        return this->m_format.c_str();
    }
// ...
};
 
 
int main() {
    record rec = "123";
 
    const char* cstr = rec.c_str();  // ok
    const str_t sstr = rec;  // ok
 
    str_t assign = rec;
    assign = rec.str();      // костыль
 
    assign = rec; // ok
// ...

Тогда, наверное можно и метод const str_t& str() грохнуть.

PS. Не понял, зачем вам шаблоны. Допустим, что в шаблон конструктора прилетел тип int. Вызвался record& operator=, параметризованный int-ом. Получили присваивание std::string = int. И чо?

	27.04.2019, 17:03