列表初始化的重载解析规则是什么

Question

这里有一些代码

#include <iostream>
struct A {
    A(int) {}
};
struct B {
    B(A) {
        std::cout<<"0"<<std::endl;
    }
    B(B const&) {
        std::cout << "1" << std::endl;
    }
    B(B&&) {
        std::cout << "2" << std::endl;
    }
};
int main() {
    B b0{{0}}; // this is ok  #1
    B b( {0} ); //this is error #2
}

g++ 报告：

main.cpp: In function ‘int main()’:
main.cpp:17:11: error: call of overloaded ‘B(<brace-enclosed initializer list>)’ is ambiguous
  B b({ 0 });
           ^
main.cpp:12:2: note: candidate: B::B(B&&)
  B(B&&) {
  ^
main.cpp:9:2: note: candidate: B::B(const B&)
  B(B const&) {
  ^
main.cpp:6:2: note: candidate: B::B(A)
  B(A) {

叮当报告：

main.cpp:17:4: error: call to constructor of 'B' is ambiguous
        B b({ 0 });
          ^ ~~~~~
main.cpp:6:2: note: candidate constructor
        B(A) {
        ^
main.cpp:12:2: note: candidate constructor
        B(B&&) {
        ^
main.cpp:9:2: note: candidate constructor
        B(B const&) {
        ^
1 error generated.

{0} 将转换为临时对象 A 并选择构造器 B(A)， #1 和#2 都是“直接构造函数”的形式，为什么#1 可以，#2 有三个候选构造函数并且是模棱两可的？

Answer 1

因为对于#1，[over.best.ics]/4（强调我的）不允许复制和移动构造函数：

但是，如果目标是

• 构造函数的第一个参数或
• 用户定义的转换函数的隐式对象参数

并且构造函数或用户定义的转换函数是候选函数 由

• [over.match.ctor]，当参数是类复制初始化第二步中的临时参数时，

• [over.match.copy]、[over.match.conv] 或 [over.match.ref]（在所有情况下），或

• [over.match.list] 的第二阶段，当初始化列表恰好有一个元素本身就是初始化列表，并且目标 是类 X 的构造函数的第一个参数，转换 是对 X 或对 cv X 的引用，

不考虑用户定义的转换序列。 [ 注意：这些 规则阻止应用多个用户定义的转换 在重载决议期间，从而避免无限递归。 — 尾注 ]

所以区分({...})和{{...}}的是语言规则。请注意，({...}) 案例属于 [over.match.ctor] 但参数不是类复制初始化第二步中的临时参数，因此第一个项目符号不适用。

您可以进一步阅读 Issue 2076 以了解它旨在禁止 {{...}} 案例中内括号的复制和移动构造函数：

问题 1467 的决议提出了一些合理的构想 格式不正确。例如，

struct A { A(int); };
struct B { B(A); };
B b{{0}};

这现在是模棱两可的，因为文本不允许用户定义 B 的复制和移动构造函数的转换已从 16.3.3.1 [over.best.ics] 第 4 段...

Answer 2

为什么是 B b( {0} );不行吗？

A a { 0 };
B b { 0 };

这些都是有效的。那么，在B b( { 0 }) 中，{ 0 } 代表什么？它可以是A 或B 的实例。没有人知道，这就是为什么它是模棱两可的。 正如您的编译器所述：有 3 个候选者：

B::B(A)
B::B(const B&)
B::B(B&&)

为什么 B b0 { {0} };工作吗？

因为您只需调用构造函数B::B(A)。复制/移动构造函数在这里不被调用，只有构造函数被调用。仅当您使用另一个实例的 lvalue 初始化实例时才会调用复制构造函数：

B b0 {};
B b1 { b0 }; // copy constructor

同样适用于移动构造函数：

B b0 {};
B b1 { std::move(b0) }; // move constructor

现在，如果您将实例作为prvalue 传递，它将调用构造函数，因为该实例可以即时构造，即：prvalue 不需要复制或移动，它可以直接构造成b0。示例：

B b0 { {0} };

这里，{0} 可以解释为 prvalue 类型为 B 或 A，但在这两种情况下，构造函数都被调用。