为什么在按值返回列表初始化对象时不调用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构造函数.