左值引用和右值引用之间的重载决议

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 if

...

S1 和 S2 是引用绑定 (8.5.3)，两者都没有引用 声明的非静态成员函数的隐式对象参数 没有 ref 限定符，并且 S1 将右值引用绑定到右值 S2 绑定一个左值引用。

不是说第二个更好吗？

更新：

There 是一个相关问题。而下面的代码就是它的简化版。

#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

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

两种转换是等价的，因为我们排除了lvalue transformations（基本上，数组实际上是一个指针，所以它不算作转换），所以我们进入你在[over.ics.rank]中指出的下一个决胜局：

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

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

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

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

否则，初始化表达式被隐式转换为“cv1 T1”类型的纯右值。应用临时实现转换并将引用绑定到结果。

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

---

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

• 通常绑定到右值的右值引用。这显然是clang的解释。右值引用绑定到从arr 的右值转换中实现的临时物化。
• 具体来说，参数表达式是一个右值，它绑定到右值引用参数。这显然是 gcc 的解释，并且由于 arr 不是右值（它是左值），因此将跳过此决胜局并且不会应用后续的决胜局。

我倾向于在这里实现 gcc。否则，“将右值引用绑定到右值”这句话的意义何在？右值引用不能绑定到左值。这是多余的。也就是说，对于这种解释，它的措辞也很尴尬。

照原样，我将其称为措辞错误。