大括号的数量如何影响统一初始化？

Question

考虑以下代码sn-p：

#include <iostream>

struct A {
  A() {}
  A(const A&) {}
};

struct B {
  B(const A&) {}
};

void f(const A&) { std::cout << "A" << std::endl; }
void f(const B&) { std::cout << "B" << std::endl; }

int main() {
  A a;
  f(   {a}   ); // A
  f(  {{a}}  ); // ambiguous
  f( {{{a}}} ); // B
  f({{{{a}}}}); // no matching function
}

为什么每个调用都制造相应的输出？大括号的数量如何影响统一初始化？大括号省略对这一切有何影响？

Answer 1

Overload resolution这样好玩。

1. {a} 具有 完全匹配 等级，用于初始化（临时）const A& 参数，该参数优于用户定义的转换 B(const A&) 作为 {a} 的实现。此规则是在 C++14 中添加的，用于解决列表初始化中的歧义（以及对聚合的调整）。

   请注意，名义上的临时是从未创建过：在重载决议选择f(const A&) 后，引用只是initialized to refer to a，这种解释can apply 即使对于不可复制的类型也是如此。 p>

2. 允许为A 或B 或B 的构造函数初始化const A& 参数（如上）。
3. 禁止像multiple user-defined conversions 一样重复调用复制构造函数（此处为A(const A&)），而不是允许每个重载决议级别进行一次此类转换。因此，在第二种情况下，最外面的大括号必须从 A 中初始化一个 B，该 {{a}} 是从 {{a}} 初始化的（允许的）。 （大括号的中间层可以初始化一个B，但是外层复制它是被禁止的，没有其他东西可以尝试初始化。）
4. 每种解释都涉及这种不允许的额外转换。

不涉及大括号省略——我们不知道允许它的最外层目标类型。