c++返回对象值时的copy、=、析构函数的调用顺序

class A {

public:

int m_a;

A(){cout<<"A"<<endl;}

A(const A& a){cout<<"Copy"<<endl;}

A& operator=(const A& a){cout<<"="<<endl;return *this;}

~A(){cout<<"dcor"<<endl;}

};

A getA() {

        A a;

cout<<"start"<<endl;

return a;

}

void getATest()

{

A a ;

a = getA();

}

getATest();

vs下编译运行，输出如下：

A

A

start

Copy

dcor

=

dcor

dcor

过程如下：

1、getATest函数中其实开辟了两个对象，一个是a，另一个是隐藏对象，将该隐藏对象地址传给getA函数；

2、getA函数开辟了一个对象a，接着输出“start”，返回时，运用copy构造函数将对象a复制到getATest函数传进来的隐藏对象空间，接着调用析构函数销毁对象a，然后返回到getATest函数。

3、在getATest函数中运用赋值运算符函数，将隐藏对象的内容赋值到对象a中，销毁隐藏对象，函数结束再销毁对象a。

g++编译运行，输出如下：

A

A

start

=

dcor

dcor

运行过程如下：

1、getATest函数中其实开辟了两个对象，一个是a，另一个是隐藏对象，将该隐藏对象地址传给getA函数；

2、getA函数在传进来的地址上调用构造函数（ 作为对象 a），其实在该函数中没有开辟对象，接着输出“start”，接着直接返回到getATest函数。

3、在getATest函数中运用赋值运算符函数，将隐藏对象的内容赋值到对象a中，销毁隐藏对象，函数结束再销毁对象a。

如果getATest函数变成如下：

void getATest()

{

A a = getA();

}

则g++输出（因为getATest中开辟了一个对象）：

A

start

dcor

vs输出（因为getATest中开辟了一个对象）：

A

start

Copy

dcor

dcor