复制省略用于列表初始化，它在标准中规定在哪里？ [英] Copy elision for list-initialization, where is it stated in the standard?

问题描述

[dcl.init]/17.6中明确写到，初始化圆括号时，会发生副本省略：

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

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

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

推荐答案

根据当前草稿，在这种情况下不存在副本遗漏。

考虑以下示例：

#include <iostream>
#include <initializer_list>

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

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

根据Core Language Issue 2137，应选择以std::initializer_list为参数的构造函数(Clang可在此选择复制构造函数或执行复制省略，is incorrect)。因此，此类列表初始化需要考虑构造函数。

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

这篇关于复制省略用于列表初始化，它在标准中规定在哪里？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！