来自同一类型对象的列表初始化优先级

Question

#include <iostream>
#include <initializer_list>
using namespace std;

struct CL
{
    CL(){}
    CL (std::initializer_list<CL>){cout<<1;}
    CL (const CL&){cout<<2;}
};

int main()
{
    CL cl1;
    CL cl2 {cl1}; //prints 21
}

下面是带有复制构造函数和初始化列表构造函数的CL结构。我认为这里只能调用复制构造函数，因为根据C++14标准，8.5.4/3

null

谁是对的？谁的行为是正确的？

Answer 1

TL；DR：发布的C++14文本指定输出21。然而，该代码的行为被CWG问题1467改变，该问题于2014年11月获得缺陷状态。

缺陷报告被认为具有追溯效力。CLANG3.7和VS2015已经应用了本缺陷报告建议的解决方案，该缺陷报告出现在N4296的C++17草案中。

在此缺陷报告之前，N4140[over.match.list]中的这篇文章涵盖了该行为：

null

如果初始值设定项列表没有元素，并且T有默认构造函数，则省略第一阶段。在复制列表初始化中，如果选择显式构造函数，则初始化格式不正确。[注意：这与其他情况(13.3.1.3、13.3.1.4)不同，在其他情况下，复制初始化只考虑转换构造函数。只有当初始化是重载解析最终结果的一部分时，此限制才适用。-结束注意]

您的类不是聚合，因为它有用户提供的构造函数。

以上文本由[dcl.init.list]/3中的以下项目符号指向：

null

这段文字不是在C++14中，而是在以后的一个缺陷报告中应用的。在应用了缺陷报告的更新标准(N4296)中，这在[dcl.init.list]/3中的项目符号列表中显示为更高的项目符号；所以现在复制构造函数在这个过程中被选中了，我们没有达到上面[over.match.list]的步骤。

请注意，尽管该缺陷名为List-initialization of aggregate from son-type object，但该解决方案实际上会影响聚合和非聚合的初始化。