從一個例子講解拷貝構造函數與return

 1 #include "iostream"
 2 using namespace std;
 3 
 4 
 5 class Location
 6 {
 7 public:
 8     Location(int xx = 0, int yy = 0)
 9     {
10         X = xx;  Y = yy; 
11         cout << X << "," << Y << " Constructor Object." << endl;
12     }
13     Location(const Location & p)         //複製構造函數
14     {
15         X = p.X + 10;  Y = p.Y + 10;   cout << "Copy_constructor called." << endl;
16     }
17     ~Location()
18     {
19         cout << X << "," << Y << " Object destroyed." << endl;
20     }
21     int  GetX() { return X; }        int GetY() { return Y; }
22 private:   int  X, Y;
23 };
24 
25 //alt + f8 排版
26 void f(Location  p)
27 {
28     cout << "Funtion:" << p.GetX() << "," << p.GetY() << endl;
29 }
30 
31 Location& g()
32 {
33     Location A(1, 2);
　　　　printf("a = %p\n", &A);
34     return A;
35 }
36 
37 void mainobjplay()
38 {
39     Location B;
40     B = g();
       printf("b = %p\n", &B);
       Location B = g();//無論g()返回的是否是引用,不會單首創建B對象,也不會執行B的構造函數,這句話的意思,用g()的返回(當返回並不是是引用時,其實就是匿名對象)來初始化B對象,C++編譯直接將匿名對象(返回非引用)變成B,省事,高效. 41 }
42 
43 void main()
44 {
45     mainobjplay();
46     system("pause");
47 }

當g()返回的並不是是引用時
首先建立B這個對象, 調用B對象的構造函數
而後調用g()函數,跟着建立A對象的函數
重點來了,接下來是return A,
在return A的時候,C++編譯器,首先將建立一個匿名對象,而後用A對象去初始化這個匿名對象,這個時候就會調用匿名對象的拷貝構造函數(俗稱return副本),接着A析構,g()函數返回
在B接收到g()函數返回的匿名對象以後(=號操做符以後 C++編譯器規定),匿名對象析構,最後是B析構.



假設g()返回的是引用,在return A的時候,結果以下

猜想於a是在棧區(臨時區),函數返回時要釋放掉這塊內存,因此a將本身移動到另外一塊內存區域,不影響編譯器回收內存,最後由b來接收.