C++ оператор == и неявное разрешение

Question

Если у меня есть struct A определяется как:

struct A { 
    const char *data; 
    operator const char *() const { return data; } 
    friend bool operator== (const A &s1, const char *s2) 
    { return /* typical string comparison result */; } 
}; 

И я пишу A{"hello"} == "test2", это A::operator== называется? Что в стандарте гласит, что (и почему не A неявно преобразован в const char *?)

А что насчет "test2" == A{"hello"}? Преобразуется ли в этом случае A?

EDIT: Что если struct A также член:

friend bool operator== (const char *s1, const A &s2) 

Answer 1

Когда вы

A{"hello"} == "test2" 

произведем разрешение перегрузки на operator==. Во-первых, мы находим жизнеспособные кандидатов ([over.match.viable]), через поиск имен:

operator==(A const&, const char*); // yours 
operator==(const char*, const char*); // built-in 

Далее мы определяем, какой кандидат имеет лучшую неявное последовательность преобразования. Это первый тай-брейк в [over.match.best]:

Учитывая эти определения, жизнеспособный функция F1 определяется быть лучше функцией, чем другая жизнеспособной функция F2, если для всех аргументов я, ИКС _я (F1), не хуже, последовательность преобразования, чем ICS _я (F2), а затем
(1.3) - для некоторого аргумента J, ИКС _J (F1) является лучшей последовательностью преобразования, чем ICS _J (F2), или, если не то, что [...]

Оба оператора являются Четк.совп на 2-й аргумент. По первому аргументу ваш operator== - это точное соответствие, тогда как для встроенного пользователя требуется определенное пользователем преобразование. Точное совпадение - лучший вид конверсии, а определяемый пользователем худший - следовательно, у вас есть лучшая последовательность преобразования и становится лучшей жизнеспособной функцией.

В более общих терминах A неявно преобразован в const char*, потому что есть лучший вариант, где это не обязательно.

---

Когда вы делаете:

"test2" == A{"hello"}; 

Ваш кандидат не является жизнеспособным - нет неявного преобразования из const char* в A const& (первый аргумент), поэтому единственный реальный кандидатом является встроенным в сравнении для const char*, для которого требуется пользовательское преобразование от A до const char*.

Если вы хотите, чтобы ваш A::operator== был использован, то вам необходимо добавить новую перегрузку для operator==(const char*, A const&).