复制elision用于列表初始化,标准中说明了哪些内容？

Question

在[dcl.init] /17.6中,明确写出,对于括号初始化的情况,会发生复制省略:

如果初始化表达式是prvalue且源类型的cv-nonqualified版本与目标类相同,则初始化表达式用于初始化目标对象.[  例子: T x = T(T(T())); 调用T默认构造函数来初始化x.-  结束例子  ]

但是在列表初始化的情况下,上面的段落不适用,我没有发现任何类似的东西.见[dcl.init.list].

那么为什么在这种情况下有复制省略:T x{T(T())};根据C++ 17标准.

Answer 1

根据当前草案，在这种情况下不存在复制省略。

考虑以下示例：

#include <iostream>
#include <initializer_list>

struct S {
    S() {std::cout << "default\n";}
    S(const S&) {std::cout << "copy\n";}
    S(std::initializer_list<S>) {std::cout << "initializer list\n";}
};

int main()
{
    S s = S{S()};
}

根据Core Language Issue 2137std::initializer_list ，应该选择作为参数的构造函数（Clang在这里可能会选择复制构造函数或执行复制省略，这是不正确的）。因此，此类列表初始化应考虑构造函数。

问题是，当选择复制/移动构造函数时，删除此复制/移动是合理的。事实上，Core Language Issue 2327已经解决了这个缺陷。