c++中的二义性函数

Question

我想知道为什么这些声明不能工作(不兼容)

void f(int); //p1
void f(const int);//p2
void f(int &);//p3
void f(const int &);//p4

如果我理解得很好，编译器将找不到(int &)和(const int &)之间的差异，如果我写f(12)，它将无法在前两个声明之间进行选择。我说的对吗？

Answer 1

p3和p4是完全明确和可区分的，而p1和p2则不是。(当然，p1/p2与p3和p4是有区别的。)

原因是值参数上的顶级const是不可检测的，并且在声明中实际上是无用的。例如，您可以执行以下操作：

void foo(int x); // declaration
// ...
void foo(const int x){
  // definition/implementation
}

这里的const是一个实现细节，它对调用者并不重要，因为您无论如何都要复制一份。这也是为什么它不能与int区分开来的原因，从调用者的角度来看，它是完全相同的。

请注意，const int& r没有顶级const，它是引用常量整数的引用(引用始终是常量)。对于指针(如果未声明为const，则可能会更改)，另请参阅this question了解放置const的位置。