重载解析在gcc和clang之间得到不同的结果

Overload resolution gets different result between gcc and clang

本文关键字：结果 之间 clang gcc 重载      更新时间：2023-10-16
struct A { A(int);};
struct B { explicit B(A); B(const B&);};
B b({0});

gcc 5.1.0给出错误

/dev/fd/63:3:8: error: call of overloaded 'B(<brace-enclosed initializer list>)'
 is ambiguous
/dev/fd/63:3:8: note: candidates are:
/dev/fd/63:2:27: note: B::B(const B&)
/dev/fd/63:2:21: note: B::B(A)

while clang 3.6.0 succeeded .

哪一个是正确的?为什么?

对于gcc 5.1.0: http://melpon.org/wandbox/permlink/pVe9eyXgu26NEX6X

For clang 3.6.0: http://melpon.org/wandbox/permlink/WOi1md2dc519SPW0

这可能类似于直接列表初始化编译成功，但普通的直接初始化失败，为什么?哪个GCC和clang得到相同的结果

但这是另一个问题。B(A)在这里是明确的。

可以缩小到

struct A { explicit A(int); };
struct B { B(int); };
void f(A);
void f(B);
int main() {
    f({ 1 });
}

在GCC上，根据标准(该标准规定，对于列表初始化，要考虑显式构造函数-因此它们可能产生歧义-但不允许选择它们)，这将失败。Clang接受它并调用第二个函数。

在你的例子中，@Columbo在直接列表初始化的回答中所说的编译成功了，但是普通的直接初始化失败了，为什么?适用。不同的是，在您的情况下，B(const B&);不再被Clang接受，因为{0} -> B转换将面临两种可能性:显式构造函数或第二次递归使用复制构造函数。如上所述，clang不会考虑第一个选项，这次将应用@Columbo的解释，并且不能第二次使用复制构造函数，因为这需要用户定义的转换，因为我们只有一个元素(这里是0)。因此，在总结中，只有第一个构造函数成功并被接受。

因为我知道这个问题是关于奇怪的重载解析规则，有些人可能无法遵循，这里有一个更直观的解释。激活的规则依次为

  • b({0})表示转到http://eel.is/c++draft/dcl.init#17并从那里转到http://eel.is/c++draft/over.match.ctor，这是我们的第一个OR上下文。枚举的两个构造函数是B(A);和B(const B&)，带参数{0}。

    • 对于B(A)，它与单个用户定义的转换一起工作。

    • 对于B(const B&)，我们需要初始化一个const B&，它带我们到http://eel.is/c++draft/over.ics.list#8，然后到http://eel.is/c++draft/over.ics.ref#2(通过http://eel.is/c++draft/dcl.init#dcl.init.list-3的帮助，"否则，如果T是引用类型，T引用的类型的右值临时是copy-list-initialized…")，然后到http://eel.is/c++draft/over.best.ics#over.ics.list-6。生成的OR上下文具有候选B(A);和B(const B&)，参数为0。这是我们的第二个OR上下文，由13.3.1.7进行copy-list初始化(根据over.ics的要求)。Ref #2 and dcl.init.list-3).

      • 对于B(A)，构造函数是显式的，因此被Clang忽略(与规范相矛盾)，但被GCC接受(因此有歧义)。

      • 对于B(const B&)，这是由@Columbo处理的场景，因此需要的用户定义转换是被禁止的。较新的草案不再有这个规则(但可能会添加回来)。但是因为0到const B&将是一个普通的用户定义转换(不是列表初始化)，它将忽略转换所需的显式构造函数(对于复制构造函数的潜在第二次使用)，因此用户定义转换无论如何都是不可能的，并且该规则的重要性远不如我写上面的简短摘要时所想的那么重要。

因此，对于GCC，它可以直接使用显式构造函数，此外还可以单独使用复制构造函数。对于clang，它只考虑直接使用显式构造函数，而不会像GCC那样使用复制构造函数通过复制列表初始化间接使用它。它们都不会考虑第二次使用复制构造函数，这在这里是无关紧要的。

正确的列表初始化语义是

B b{0};

可以很好地编译。如果您编写B b({0});, gcc无法决定是直接调用B(A)还是创建B ({0})，然后在第二阶段用B(const B&)复制它。这两个选项之间没有优先级排序。

这是语言问题，不是编译器的问题。

相关文章：