C++ добавление неоднозначности перегрузки

Question

Я подхожу против досадной головоломки в моей базе кода. Я не могу сказать, почему мой код генерирует эту ошибку, но (например) std :: string не работает.

class String { 
public: 
    String(const char*str); 
    friend String operator+ (const String& lval, const char *rval); 
    friend String operator+ (const char *lval, const String& rval); 
    String operator+ (const String& rval); 
}; 

Реализация этих средств достаточно проста, чтобы представить себя самостоятельно.

Моя программа драйвера содержит следующее:

String result, lval("left side "), rval("of string"); 
char lv[] = "right side ", rv[] = "of string"; 
result = lv + rval; 
printf(result); 
result = (lval + rv); 
printf(result); 

который генерирует следующее сообщение об ошибке в GCC 4.1.2:

driver.cpp:25: error: ISO C++ says that these are ambiguous, even though the worst conversion for the first is better than the worst conversion for the second: 
String.h:22: note: candidate 1: String operator+(const String&, const char*) 
String.h:24: note: candidate 2: String String::operator+(const String&) 

До сих пор так хорошо, не так ли? К сожалению, мой конструктор String (const char * str) настолько удобен как неявный конструктор, что использование явного ключевого слова для его решения просто вызовет другую проблему.

Кроме того ... std :: string не нужно прибегать к этому, и я не могу понять, почему. Например, в basic_string.h они объявлены следующим образом:

template<typename _CharT, typename _Traits, typename _Alloc> 
basic_string<_CharT, _Traits, _Alloc> 
operator+(const basic_string<_CharT, _Traits, _Alloc>& __lhs, 
      const basic_string<_CharT, _Traits, _Alloc>& __rhs) 

template<typename _CharT, typename _Traits, typename _Alloc> 
basic_string<_CharT,_Traits,_Alloc> 
operator+(const _CharT* __lhs, 
      const basic_string<_CharT,_Traits,_Alloc>& __rhs); 

и так далее. Конструктор basic_string не объявляется явно. Как это не вызывает ту же ошибку, которую я получаю, и как я могу достичь такого же поведения?

Answer 1

Причина неоднозначности заключается в том, что одна кандидатная функция лучше, чем другая функция-кандидат, только если нет ее параметров хуже, чем параметры другой. Рассмотрим ваши две функции:

friend String operator+(const String&, const char*); // (a) 
String operator+(const String&);      // (b) 

Вы звоните operator+ с String и const char*.

Второй аргумент, тип const char*, явно соответствует (a) лучше, чем (b). Это точное соответствие для (a), но для (b) требуется определенное пользователем преобразование.

Следовательно, для того чтобы быть двусмысленностью, первый аргумент должен соответствовать (b) лучше, чем (a).

String с левой стороны вызова operator+ не является константой. Следовательно, он соответствует (b), который является неконстантной функцией-членом, лучше, чем (a), которая принимает const String&.

Таким образом, любое из следующих решений позволит устранить неоднозначность:

• Измените член operator+ быть константной функции-члена
• изменить не являющегося членом operator+ взять String& вместо const String&
• Вызов operator+ с константной строки на левой стороне

Очевидно, что первый, also suggested by UncleBens, - лучший способ пойти.

Answer 2

Достаточно в этом случае просто определить на operator+:

String operator+(const String& lval, const String& rval); 

Поскольку вы предоставляете конструктор, принимающий char*, String может быть построена из char* во время вызова operator+. Например:

String hello = "Hello, "; 
const char* world = "world!"; 

String helloWorld = hello + world; 

Временный String будет построен с содержаниями char*world (потому что ваш конструктор не явно), то два String объекты будут переданы operator+.

Answer 3

Вы показали, что basic_string имеет реализации operator+, соответствующие второму и третьему операторам вашего класса String. У basic_string также есть оператор, соответствующий вашему первому оператору [friend String operator+ (const String& lval, const char *rval);]?

Что произойдет, если вы удалите этот оператор?

Answer 4

Шаблоны и функции без шаблонов следуют различным правилам. Функции шаблона выбираются по фактическим типам параметров без применения каких-либо преобразований. В случае без шаблона (т. Е. Вашего кода) может применяться неявное преобразование. Таким образом, шаблонный материал в basic_string не является двусмысленным, но ваш.

Answer 5

Ошибка отправляется, если вы объявите член + const как и должно быть.

class String { 
public: 
    String(const char*str); 
    friend String operator+ (const String& lval, const char *rval); 
    friend String operator+ (const char *lval, const String& rval); 
    String operator+ (const String& rval) const; //<-- here 
}; 

Не знаете, в чем причина. Возможно, он предпочитает привязывать аргументы к константной ссылке, если это возможно, поэтому первая перегрузка является лучшим совпадением для левого значения, а третья перегрузка имеет лучшее совпадение для правого значения.

Better explanation. (Должно быть неправильно неполадке немного.)

---

printf(result); 

Не говорите, что ваша строка имеет неявное преобразование в const char* ... Это зло.