左值引用和右值引用之间的重载解析

Question

#include <iostream>

using namespace std;

void func(int (&ref)[6]) { cout << "#1" << endl; }
void func(int * &&ref) { cout << "#2" << endl; }

int main()
{
  int arr[6];
  func(arr); // g++(5.4): ambiguous, clang++(3.8): #2, vc++(19.11): #1

  return 0;
}

这两个函数完全匹配。以下是该标准的引用：

标准转换序列S1是比标准转换序列S2更好的转换序列，如果

...

S1和S2是引用绑定（8.5.3），都不引用未使用ref限定符声明的非静态成员函数的隐式对象参数，S1将右值引用绑定到右值，S2将左值引用绑定。

这不意味着第二个更好吗？

更新：

有一个相关的问题。下面的代码是它的简化版本。

#include <iostream>

using namespace std;

void func(int *&) { cout << "#1" << endl; }
void func(int *&&) { cout << "#2" << endl; }

int main()
{
  int arr[6];
  func(arr);  // g++(5.4) and clang++(3.8): #2, vc++(19.11): ambiguous

  return 0;
}

Answer 1

我认为这取决于特定短语的含义。

这两种转换都是等效的，因为我们排除了左值转换（基本上，数组实际上是指针，所以它不算作转换），所以我们进入您在[over.ics.rank]中指出的下一个分界符：

S1和S2都是引用绑定，都不引用未使用ref限定符声明的非静态成员函数的隐式对象参数，S1将右值引用绑定到右值，S2将左值引用绑定

这种情况适用吗？我们有两个引用绑定：

int arr[6];
int (&a)[6] = arr;  // #1
int *&& b = arr;    // #2

这里，#1绑定了一个左值引用#2属于[dcl.init.ref]：

否则，初始值设定项表达式将隐式转换为“cv1 T1”类型的prvalue。应用临时物化转换，并将引用绑定到结果。

arr隐式转换为类型为int*的prvalue，然后绑定到b。

所以现在的问题是，[over.ics.rank]中的限制意味着什么？这可能意味着：

• 通常绑定到右值的右值引用。这显然是克朗的解释。rvalue引用绑定到从arr的prvalue转换中具体化的临时值
• 具体来说，参数表达式是绑定到右值引用参数的右值。这显然是gcc的解释，并且由于arr不是右值（它是左值），因此跳过该分界线，并且没有后续的分界线适用

我倾向于支持gcc在这里的实施。否则，短语“将右值引用绑定到右值”的意义是什么？右值引用不能绑定到左值。这是多余的。尽管如此，这种解释的措辞也很尴尬。

就这样，我称之为措辞错误。