Блог

• Почему следующий пример кода не создает двусмысленности
• Есть ли какой-либо способ вызвать вторую версию? (Если это не ошибка)

 #include <iostream>
using namespace std;

void foo(const int*){cout << "no ref";}
void foo(const int*amp;){cout << "on ref";}

int main()
{
   int* i=nullptr;
   foo(i);
}
  

Редактировать:

Это

 #include <iostream>
using namespace std;

void foo(const int){cout << "no ref";}
void foo(const intamp;){cout << "on ref";}

int main()
{
   int i=0;
   foo(i);
}
  

Действительно создают двусмысленность.

Кстати, удалите значение const, создающее двусмысленность.

компилятор: g 5.3.0 с флагом —std=c 14

• Почему следующий пример кода не создает двусмысленности

Это не ошибка. Тип параметра равен const int*amp; , это ссылка на неконстантный объект, который не может быть привязан к объекту с другим типом ( int* ). (Требуется неявное преобразование, и созданный временный файл не может быть привязан к ссылке на неконстантный.)

Если вы измените тип параметра на ссылку на const:

 void foo(const int* constamp;)
  

Или измените тип аргумента на const int* :

 const int* i=nullptr;
foo(i);
  

Оба приведут к ошибке компиляции при неоднозначном вызове.

• Есть ли какой-либо способ вызвать вторую версию? (Если это не ошибка)

Вы можете сделать это с помощью указателя на функцию, явно указав, какой из них вы хотите получить:

 const int* i=nullptr;
static_cast<void(*)(const int*amp;)>(amp;foo)(i);