c – 为什么在按值返回列表初始化对象时没有调用复制构造函数？

我理解,当从函数返回值的对象时,会调用它们的复制构造函数.如果类具有已删除的复制构造函数,则按值返回将失败.

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();
}

Here is a demo.未报告错误.我发现这很奇怪,因为我认为应该调用复制构造函数.谁能解释为什么没有错误？

解决方法

And I read somewhere on a SO post that this […] is the same as […]

他们错了.他们是相似的,但不一样.

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

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

从标准6.6.3节,p2：

A return statement with a braced-init-list initializes the object or reference to be returned from the function by copy-list-initialization (8.5.4) from the specified initializer list.

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

c – 为什么在按值返回列表初始化对象时没有调用复制构造函数？

解决方法

相关文章