2

Уважаемые друзья, у меня наблюдается следующая проблема. Есть такой код:

 class Verylong
 {
 public:
    Verylong (long x = 0) { enter(x);}
    Verylong (const Verylong& vrl) : _sign(vrl._sign), lnum(vrl.lnum) {/*empty*/}
    explicit Verylong (const std::string& str) { enter(str);}    
    explicit Verylong (const char* ch) { std::string str(ch); enter(str);}
    // ...
};

При вызове

return Verylong(0);

я получаю следующую ошибку:

D:\c++\verylong.h: In member function 'my::Verylong my::Verylong::operator*(const my::Verylong&) const': D:\c++\verylong.h:461:30: error: call of overloaded 'Verylong(int)' is ambiguous return Verylong(0); ^ D:\c++\verylong.h:461:30: note: candidates are:

D:\c++\verylong.h:58:22: note: my::Verylong::Verylong(const char*) explicit Verylong (const char* ch) { std::string str(ch); enter(str);}

^ D:\c++\verylong.h:56:22: note: my::Verylong::Verylong(const string&) explicit Verylong (const std::string& str) { enter(str);} ^

D:\c++\verylong.h:54:13: note: my::Verylong::Verylong(const my::Verylong&) Verylong (const Verylong& vrl) : _sign(vrl._sign), lnum(vrl.lnum) {/empty/} ^

D:\c++\verylong.h:52:13: note: my::Verylong::Verylong(long int) Verylong (long x = 0) { enter(x);}

В чём дело? Откуда берётся неоднозначность и как её правильно устранить?

4 ответа 4

6

Исправить ошибку выше довольно просто:

return Verylong(0L);  // Здесь больше нет ошибки

Проблема в том, что используя Verylong(0) Вы получаете неоднозначность, т.к. 0 имеет тип int, а у Вас нет конструктора, принимающего тип int. Зато есть 3 конструктора, которые могли бы поучаствовать в перегрузке:

  • Verylong(long x = 0) - требует одной конвертации из int в long
  • Verylong(const char* ch) - требует одной конвертации из 0 в const char*
  • Verylong(const std::string& str) - требует 2 конвертации, сначала в const char*, потом создаётся временный объект std::string. В терминах стандарта сначала происходит standard conversion(0-> const char*), затем user-defined conversion(std::string(const char*) конструктор), затем standard conversion(identity). Подробнее в стандарте C++(13.3.3.1.2):

A user-defined conversion sequence consists of an initial standard conversion sequence followed by a userdefined conversion (12.3) followed by a second standard conversion sequence. If the user-defined conversion is specified by a constructor (12.3.1), the initial standard conversion sequence converts the source type to the type required by the argument of the constructor. If the user-defined conversion is specified by a conversion function (12.3.2), the initial standard conversion sequence converts the source type to the implicit object parameter of the conversion function.

Так вот, с точки зрения компилятора первый и второй случаи абсолютно равнозначны и, следоваетльно,- ошибка. Если же Вы явно указываете, что константа типа long, то конструктор Verylong(long x = 0) более не требует конвертации и однозначно выигрывает "гонку" перегрузок.

20
  • Что-то я сомневаюсь в том, что второй конструктор, требующий двух конвертаций, участвует в конкурсе.
    – Shamov
    16 апр 2015 в 6:22
  • 1
    @Shamov, так Вы проверьте. Закомментируйте другие конструкторы и убедитесь сами.
    – ixSci
    16 апр 2015 в 6:24
  • Проверил. Этот конструктор используется только тогда, когда передаётся 0, который уже можно интерпретировать как const char*.
    – Shamov
    16 апр 2015 в 7:13
  • 2
    Уточняю. Из int в const char* неявного преобразования не существует. Но любая нулевая константа может рассматриваться компилятором как указатель - вот откуда неоднозначность. 16 апр 2015 в 7:51
  • 1
    @Shamov, "A null pointer constant is an integral constant expression (5.19) prvalue of integer type that evaluates to zero or a prvalue of type std::nullptr_t". Что такое 0? 0 это expression, какого типа? const int, значит 0 это integral constant expression. 0 evaluates to zero? А есть сомнения? В общем я всё скзаал и добавить мне нечего.
    – ixSci
    16 апр 2015 в 10:58
1
Verylong (int x = 0) { enter(x);}
3
  • нужен именно long, да и int ничего не изменит так как 0 приводится (судя по ошибке) к const char*
    – vlad4378
    16 апр 2015 в 0:20
  • @vlad4378, разве?
    – Qwertiy
    28 ноя 2016 в 13:43
  • @vlad4378, ideone.com/emKvcX
    – Qwertiy
    28 ноя 2016 в 14:08
0

Один из конструкторов лишний, и очевидно что это (const char* ch) т.к. он делает то же самое что и (const std::string& str).

5
  • идея как раз в том, чтобы передавать конструктору как литералы так и string
    – vlad4378
    16 апр 2015 в 0:18
  • @vlad4378 Можно передавать оба типа в первый конструктор. Просто мысль немного неясно была сформулирована. Лишним является не один из конструкторов, а строго второй.
    – Shamov
    16 апр 2015 в 6:25
  • точно, я и не подумал. спасибо
    – vlad4378
    16 апр 2015 в 11:59
  • В данном случае он лишний, но в общем случае он будет делать ненужное создание строки.
    – Qwertiy
    28 ноя 2016 в 13:44
  • @Abyx, а чем просто конструктор с интом не угодил?
    – Qwertiy
    28 ноя 2016 в 14:03
0

А зачем вы передаете в конструктор 0? Можно же не передавать ничего, будет 0 по умолчанию.

return Verylong();

А про причины такого поведения компилятора вам уже сказали.

2
  • возможно класс буду использовать не только я, откуда человеку знать что ноль передавать нельзя?
    – vlad4378
    16 апр 2015 в 11:58
  • Компилятор человеку подскажет. 16 апр 2015 в 13:43

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.