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

Question

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)

而 clang 3.6.0 成功。

哪个是对的？为什么？

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

对于 clang 3.6.0:http://melpon.org/wandbox/permlink/WOi1md2dc519SPW0

这可能类似于 Direct list initialization compiles successfully, but normal direct initialization fails, why? gcc 和 clang 得到相同的结果。

但这是一个不同的问题。 B(A) 在这里是明确的。 gcc 和 clang 得到不同的结果。

Answer 1

差异可以减少到

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

int main() {
    f({ 1 });
}

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

在你的情况下，@Columbo 在他对 Direct list initialization compiles successfully, but normal direct initialization fails, why? 的回答中说了什么适用。与您的情况不同， 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); 和带有参数 {0} 的 B(const B&)。

  • 对于 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 引用的类型的临时纯右值是复制列表初始化的...”)然后到 http://eel.is/c++draft/over.best.ics#over.ics.list-6 .生成的 OR 上下文具有候选 B(A); 和 B(const B&)，参数为 0。这是我们的第二个 OR 上下文，是 13.3.1.7 的复制列表初始化(根据 over.ics.ref#2 和 dcl.init.list-3 的要求)。

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

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

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