从一个例子讲解拷贝构造函数与return

#include "iostream"
using namespace std;


class Location
{
public:
    Location(int xx = 0, int yy = 0)
    {
        X = xx;  Y = yy; 
        cout << X << "," << Y << " Constructor Object." << endl;
    }
    Location(const Location & p)         //复制构造函数
    {
        X = p.X + 10;  Y = p.Y + 10;   cout << "Copy_constructor called." << endl;
    }
    ~Location()
    {
        cout << X << "," << Y << " Object destroyed." << endl;
    }
    int  GetX() { return X; }        int GetY() { return Y; }
private:   int  X, Y;
};

//alt + f8 排版
void f(Location  p)
{
    cout << "Funtion:" << p.GetX() << "," << p.GetY() << endl;
}

Location& g()
{
    Location A(1, 2);
　　　　printf("a = %p
", &A);
    return A;
}

void mainobjplay()
{
    Location B;
    B = g();
       printf("b = %p
", &B);
       Location B = g();//不管g()返回的是不是引用,不会单独创建B对象,也不会执行B的构造函数,这句话的意思,用g()的返回(当返回并非是引用时,其实就是匿名对象)来初始化B对象,C++编译直接将匿名对象(返回非引用)变成B,省事,高效.
}

void main()
{
    mainobjplay();
    system("pause");
}

当g()返回的并非是引用时
首先创建B这个对象, 调用B对象的构造函数
然后调用g()函数,跟着创建A对象的函数
重点来了,接下来是return A,
在return A的时候,C++编译器,首先将创建一个匿名对象,然后用A对象去初始化这个匿名对象,这个时候就会调用匿名对象的拷贝构造函数(俗称return副本),接着A析构,g()函数返回
在B接收到g()函数返回的匿名对象之后(=号操作符之后 C++编译器规定),匿名对象析构,最后是B析构.



假设g()返回的是引用,在return A的时候,结果如下

猜测于a是在栈区(临时区),函数返回时要释放掉这块内存,所以a将自己移动到另一块内存区域,不影响编译器回收内存,最后由b来接收.