为什么函数返回时不调用复制构造函数？[副本]

Question

Line Line::operator =(Line ln) {
        cout << "Assignment operator\n";
        Line temp;
        temp.ptr = new int;
        *temp.ptr = *(ln.ptr);
        return temp;
    }

在上面的代码中，执行以下语句时不调用复制构造函数：

return temp;

既然返回是按值的，为什么不调用复制构造函数？

谢啦

Answer 1

我想在前面的帖子后面加上一句话，即使在构建目标对象时省略了复制构造函数，它仍然必须是可访问的和已定义的。例如，如果您将复制构造函数声明为私有，那么编译器会发出一个错误(MS VC至少2010有一个错误除外:)

Answer 2

按照上面的设置，编译器很可能会省略复制构造函数，而直接在预期返回值的位置构造临时< code>temp。即使复制构造函数有副作用，复制省略也是显式允许的。然而，即使省略了复制，复制或移动构造函数仍然必须是可访问的，也就是说，复制省略的可能性并没有放松对可访问的相应构造函数的规则。

如果你觉得你绝对想要一个复制构造函数，你可以强制复制构造，例如，通过一个恒等函数传递结果：

template <typename T>
T const& identity(T const& object) {
    return object;
}
// ...
    return identity(temp);

通常，您希望省略复制构造函数。

Answer 3

这称为复制省略：允许在按值返回本地对象时不复制，而是直接在调用者中构造本地对象（您的temp）。即使复制构造函数有副作用，这也是允许的。