数组到指针的转换 + rvalue-ref：重载分辨率差异 GCC vs clang

Question

#include <iostream>
#define FUNC() { std::cout << __PRETTY_FUNCTION__ << "\n"; }

void foo(char const*&&   ) FUNC() // A
void foo(char const(&)[4]) FUNC() // B

int main()
{
    foo("bar");
}

Demo

当在第一个重载 (A) 的参数类型中使用右值引用时，clang 当前主机明确地选择重载 A 而不是 B。另一方面，GCC 当前主机抱怨有歧义。

我很惊讶字符串文字是 4 char const 的左值（[expr.prim.literal]/1，[lex.string]/6）应该更喜欢重载 A 上的数组到指针转换重载 B 上的恒等式转换。

如果没有右值引用，即void foo(char const*)，GCC 和 clang 都会因为不明确而拒绝调用。这也是我不完全理解的事情，因为我猜到仍然存在数组到指针的转换，因此 [over.ics.rank]p3.2.1 适用：

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

  • (3.2.1) S1 是 S2 的适当子序列（比较 [over.ics.scs] 定义的规范形式的转换序列，不包括 任何左值变换；身份转换序列是 被认为是任何非身份转换的子序列 序列），或者，如果不是，

这两种情况发生了什么？

Answer 1

_{（这只是部分答案，涵盖了第二种情况）}

这两种情况发生了什么？

关于第二种情况，至于为什么会出现下面的重载

void foo(char const*     ) FUNC() // A
void foo(char const(&)[4]) FUNC() // B

产生模棱两可的重载（对于 Clang 和 GCC）； [over.ics.rank]/3.2.1 似乎更喜欢 B，它是一个身份转换，而不是 A，需要 数组到指针的转换，而后者又属于 的 转换类别 >左值变换：

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

• (3.2.1) S1 是 S2 的适当子序列（比较 [over.ics.scs] 定义的规范形式的转换序列，不包括任何左值变换；身份转换序列被认为是任何非身份转换序列的子序列）或者，如果不是，
• [...]

但是，正如我解释上面的首先强调部分，在应用 [over.ics.rank]/3.2.1 时，左值变换：s 被排除在序列 S1 和 S2 之外，而 第二个强调段仅​​在应用此排除后才适用。

---

正如in a comment by @LanguageLawyer 所指出的，规则确实允许这种歧义在CWG 1789 中得到强调，因为自 2013 年以来没有看到任何进展或反馈。

1789。重载分辨率中的数组引用与数组衰减

• 部分：12.4.4.3 [over.ics.rank]
• 状态：起草
• 提交者：Faisal Vali
• 日期：2013-10-01

目前的规则举个例子

template<class T, size_t N> void foo(T (&)[N]);
template<class T> void foo(T *t);

int arr[3]{1, 2, 3};
foo(arr);

模棱两可，即使第一个是身份匹配，而第二个 需要左值转换。这是可取的吗？