复制省略用于列表初始化，它在标准中在哪里说明?

Copy elision for list-initialization, where is it stated in the standard?

本文关键字：标准 在哪里 说明 用于 列表 初始化 复制省      更新时间：2023-10-16

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

如果初始值设定项表达式是 prvalue，并且源类型的 cv 非限定版本与目标的类相同，则初始值设定项表达式用于初始化目标对象。[示例：T x = T(T(T(T()))); 调用 T 默认构造函数来初始化 x。 —结束示例]

但是在列表初始化的情况下，上述段落不适用，我没有找到类似的东西。请参阅 [dcl.init.list]。

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

根据目前的草案，在这种情况下没有复制省略。

请考虑以下示例：

#include <iostream>
#include <initializer_list>
struct S {
S() {std::cout << "defaultn";}
S(const S&) {std::cout << "copyn";}
S(std::initializer_list<S>) {std::cout << "initializer listn";}
};
int main()
{
S s = S{S()};
}

根据核心语言问题 2137，应选择以std::initializer_list作为参数的构造函数(Clang 可能在此处选择复制构造函数或执行复制省略，这是不正确的)。因此，此类列表初始化应考虑构造函数。

问题是，当选择复制/移动构造函数时，省略此复制/移动是合理的。事实上，核心语言问题 2327 已经解决了这个缺陷。

相关文章：