const T*& 和 const T* 不会在函数重载时产生歧义

Question

• 为什么以下示例代码不会产生歧义
• 有没有办法调用第二个版本？ （如果这不是错误）

---

#include <iostream>
using namespace std;

void foo(const int*){cout << "no ref";}
void foo(const int*&){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 int&){cout << "on ref";}

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

确实会产生歧义。

---

顺便去掉const产生的歧义。

编译器：g++5.3.0 带有标志 --std=c++14

Answer 1

• 为什么以下示例代码不会产生歧义

这不是错误。参数的类型是const int*&，它是对非常量的引用，不能绑定到不同类型的对象（int*）。 （需要隐式转换，生成的临时变量不能绑定到非常量的引用。）

如果将参数的类型更改为对 const 的引用：

void foo(const int* const&)

或者将参数的类型改为const int*：

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

两者都会因不明确的调用而触发编译错误。

• 有没有办法调用第二个版本？ （如果这不是错误）

你可以通过一个函数指针来实现，明确指定你要选择哪一个：

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