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);和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＆＃ 34;否则，如果T是引用类型，则由T引用的类型的prvalue临时值是copy-list-initialized ...＆＃34;）然后是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那样的复制构造函数通过复制列表初始化间接使用它。两人都不会考虑第二次使用复制构造函数，而且这里无关紧要。

Answer 2

正确的列表初始化语义是

B b{0};

编译好。如果您撰写B b({0});，则gcc无法决定是直接致电B(A)还是创建B（{0}），然后将其与B(const B&)一起复制第二阶段。这两个选项之间没有优先顺序。

它的语言问题，而不是编译器的问题。请参阅此gcc bug report。

重载决策在gcc和clang之间产生不同的结果

2 个答案: