Implicit conversion and user defined conversion

Question

When I write code like this:

struct foo {
    operator int() const { return 1; }
};
int main() {
    foo a, b;
    auto tmp = (a < b);
}

it works, but while I write code like this:

struct foo {
    operator string() const { return string("foo"); }
};
int main() {
    foo a, b;
    auto tmp = (a < b);
}

Compiler(clang++) says that error: invalid operands to binary expression ('foo' and 'foo')

I wonder why, as both string type and int type have comparison operators, but when foo has a user defined int conversion, it will implicit convert to int to compare, however when foo only has a user defined string conversion, compiler doesn't do implicit conversion though (string)a<(string)b works well.

I dont know the rule that causes this, but most likely it has something to do with int being a built in type — 463035818_is_not_an_ai
– 463035818_is_not_an_ai, Commented Feb 20, 2017 at 12:09
@NathanOliver imho question isnt really a dupe, but the answer pefectly explains also this one — 463035818_is_not_an_ai
– 463035818_is_not_an_ai, Commented Feb 20, 2017 at 12:36
@tobi303 Yeah, that is why I did not close it myself. Not sure if it should be closed as a dupe or not but the answer does explain the problem. — NathanOliver
– NathanOliver, Commented Feb 20, 2017 at 12:38

JHBonarius · Accepted Answer · 2017-02-20 13:50:41Z

1

I think the problem is that string is not a basic type. std::string is a specialization of a template, specifically std::basic_string<char>

So operator < is defined as

template <class CharT, class Traits, class Allocator>
    bool operator< (const std::basic_string<CharT, Traits, Allocator> &_Left,  const std::basic_string<CharT, Traits, Allocator> &_Right);

It will work with:

auto tmp = (static_cast<std::string>(a) < static_cast<std::string>(b));

Then operator < becomes:

bool std::operator< <char, std::char_traits<char>, std::allocator<char>>(const std::string &_Left, const std::string &_Right)

answered Feb 20, 2017 at 13:50

JHBonarius

11.5k3 gold badges28 silver badges53 bronze badges

Sign up to request clarification or add additional context in comments.

1 Comment

Oliv Over a year ago

And because user defined conversion are not considered for template function specialization. See this related answer: [stackoverflow.com/questions/42252023/….

Collectives™ on Stack Overflow

Implicit conversion and user defined conversion

1 Answer 1

1 Comment

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

1 Comment

Your Answer

Sign up or log in

Post as a guest

Linked

Related