c++ - 基于值与常量引用的函数重载

Question

是否声明如下内容

void foo(int x)        { std::cout << "foo(int)"         << std::endl; }
void foo(const int &x) { std::cout << "foo(const int &)" << std::endl; }

有意义吗？调用者如何区分它们？我试过了

foo(9);  // Compiler complains ambiguous call.

int x = 9;
foo(x);  // Also ambiguous.

const int &y = x;
foo(y);  // Also ambiguous.

Answer 1

其意图似乎是区分带有临时变量的调用(即 9)和“常规”参数传递。第一种情况可能允许函数实现采用优化，因为很明显参数将在之后处理(这对于整数文字绝对毫无意义，但对于用户定义的对象可能有意义)。

但是，当前的 C++ 语言标准没有提供一种专门针对参数的“左/右值”重载的方法 - 任何作为参数传递给函数的左值都可以隐式转换为引用，因此歧义是不可避免的。

C++11 引入了一个类似目的的新工具——使用右值引用，你可以像下面这样重载

void foo(int x)        { ... }
void foo(const int &&x) { ... }

... 和 foo(4)(作为参数传递的临时 r 值)将导致编译器在 int i = 2; 时选择第二个重载； foo(i) 会选择第一个。

(注意:即使使用新工具链，也无法区分示例中的案例 2 和案例 3!)