为什么在按值返回列表初始化对象时不调用copy-constructor？

Question

据我所知，当从函数返回-value对象时，会调用它们的copy-constructors。 如果类具有已删除的复制构造函数，则按值返回将失败。

struct X {
    X(const X &) = delete;
};

X f() {
   return X{};
}

error: call to deleted constructor of 'X'

C ++ 11为我们提供了扩展初始化器。 我在SO帖子的某个地方读到了这个

X f() {
    return {};
}

是相同的

X f() {
    return X{};
}

那么为什么下面的代码没有给我一个错误？ 它通过了，我甚至可以在main中调用该函数：

struct D {
   D(const D &) = delete;
};

D f() { return {}; }

int main()
{
   f();
}

这是一个演示。 没有报告错误。 我发现这很奇怪，因为我认为应该调用copy-constructor。 任何人都可以解释为什么没有给出错误？

Answer 1

我在SO帖子上的某个地方读到这个[...]与[...]相同

他们错了。 它们相似 ，但不一样。

通过使用braced-init-list，您可以就地初始化返回值。 如果你创建一个临时的，那么你正在做的是创建临时，然后将其复制到返回值。 任何值得盐的编译器都会忽略它，但复制构造函数仍然必须是可访问的。

但由于braced-init-list就地初始化返回值，因此您不需要访问复制构造函数。

从标准6.6.3节，p2：

带有braced-init-list的return语句通过copy-list-initialization（8.5.4）从指定的初始化列表初始化要从函数返回的对象或引用。

注意，“copy-list-initialization”与“copy-initialization”不同; 它不进行任何复制，因此它不需要可访问的复制构造函数。 “复制列表初始化”和“直接列表初始化”之间的唯一区别是前者会阻塞explicit构造函数。