在临时对象上复制构造函数

copy constructor c++ on temporary objects

本文关键字：构造函数 复制 临时对象      更新时间：2023-10-16
#include <iostream>
using namespace std;
class A
{
    int x;
public:
    A(int c) : x(c) {}
    A(const A& a) { x = a.x; cout << "copy constructor called" << endl;}
};
class B
{
    A a;
public:
    B(int c) : a(c) {}
    B(const B& b) : a(b.a) { }
    A get_A() { return a;}
};
int main()
{
    B b(10);
    A a1 = b.get_A();
}

在上面的代码中，我期望'copy constructor called'消息会弹出两次，因为首先，b.t get_a()将创建一个临时对象来调用复制构造函数(1)，其次，它将其引用复制到a1的复制构造函数(2)，从而显示两条消息。

然而，这段代码实际上产生了一个名为"复制构造函数"的消息。为什么?

c++标准允许在某些情况下省略复制构造函数。通常，这意味着如果对象将从临时变量复制构造。可以就地构造。

在这种情况下，get_A();返回了一个副本到临时。然后将a1赋值给该临时变量。编译器允许省略多余的副本，并使用get_A()的返回值来构造a1。

即使复制构造函数有副作用，也可以进行这种优化。

复制省略是唯一可以改变可观察到的副作用的优化形式。因为有些编译器并不是在允许的所有情况下都执行拷贝省略，所以依赖于拷贝/移动构造函数和析构函数副作用的程序是不可移植的。

在c++ 11中，代码可能会调用move构造函数来移动对象而不是复制对象，或者在c++ 03和c++ 11中，以NRVO形式的编译器优化可能会应用copy省略来省略副本。

注意，后者(复制省略)取决于编译器的能力，不保证，而前者(移动语义)在c++ 11中是保证的。

相关文章：