我理解,当从函数返回值的对象时,会调用它们的复制构造函数.如果类具有已删除的复制构造函数,则按值返回将失败.
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”不同;它不进行任何复制,因此它不需要可访问的复制构造函数. “复制列表初始化”和“直接列表初始化”之间的唯一区别是前者会阻塞显式构造函数.
