轉 C++函數傳回值，你必須注意的問題

標籤：star   自己   申請   ring   記憶體回收   strong   括弧   千言萬語   那是   

  歸根結底，C++所面臨的問題要求它提供各種各樣的機制以保證效能，也許，這輩子也見不到C++能安全有效自己進行記憶體記憶體回收。。。。。

        老程式猿都會提醒菜鳥，注意函數的傳回值，因為，很可能，你的函數返回的資料在後續的使用中會出錯。那麼函數在傳回值時要注意什麼呢？

 

        本篇部落格嘗試用最簡練的普通大白話，講解函數傳回值的問題。

        C++把記憶體交給了程式猿，但是，請你注意，它可沒把所有的記憶體都交給你，交給你的只是堆上的記憶體，也就是你通過malloc函數  和new 關鍵字申請來的記憶體，除了這些記憶體以外，其他的記憶體，你最好別碰，最好別碰，最好別碰，重要的事情說三遍。

 

        如果你的函數傳回值在後續使用中出錯了，尤其是返回函數內的局部變數這種事情，那麼，基本可以肯定，你碰了不該碰的記憶體。這時候，你會覺得自己很冤枉啊，我沒有啊。但事實是，沒有冤枉你，所以，為了不被bug檢察院起訴你，作為一個C++程式猿，你必須學會甄別那些記憶體是能碰的，那些記憶體是不能碰的。

 

        

[cpp] view plain copy 

1. char *pstr = "This is the buffer text";    
2. return pstr;  

 

 

          如果你的函數是這麼寫的，那麼恭喜你，返回正確，因為這個pstr指向的是常量儲存區，這裡的記憶體，你是可以碰的，但是注意，這個碰，僅僅是讀，你想修改，那是萬萬不可以的。

 

 

[cpp] view plain copy 

1. char buffer[] = "This is the buffer text";    
2. return buffer;  

         如果你的函數是這麼寫的，那麼恭喜你，等著bug聯邦檢察院起訴你吧。這裡的buffer指向的是棧上記憶體，這個，就是你碰不得的，前面的pstr就好比公園，公園嘛，大家都可以來玩，但是你不能把公園裡的假山拆了，你也不能把公園裡的樹砍了，你只能是來玩，不能修改它，棧上的記憶體，就好比是私家花園，你一個外人，是不能進去的。那麼怎麼甄別的，方法倒也簡單，你見到帶中括弧的，就應該明白，這東西是棧上的，出了這個函數，你就別想再碰的，你只要敢碰，bug聯邦檢察院就會起訴你。

 

 

             

[cpp] view plain copy 

1. static char buffer[] = "This is the buffer text";    
2. return buffer;  

如果你的函數是這麼寫的，那麼恭喜你，返回正確，可是剛才不是明明說，這裡是私家花園嘛，沒錯，但是你注意看，前面還加了一個static，只要加了這個關鍵字，就相當於說國家把這個私家花園徵用了，那麼，它就從私家花園變成了靜態儲存區裡的一個小花園，靜態儲存區裡的記憶體，國家說，靜態儲存區對外開放，你們都可以來。

 

 

             函數返回的都是值拷貝，棧上的記憶體，在函數結束的時候，都會被收回。在函數內部，你可以碰棧上的記憶體，那是因為這個時候你是在棧的家裡做客，那他們家的記憶體小花園當然允許你訪問，可是函數結束了，就相當於你離開了棧的家，棧把記憶體小花園的門關上了，你怎麼可以進去，你進去了，就會被bug聯邦法院起訴！

 

             但是呢，總有一些奇怪的現象讓你以為你可以在函數結束後仍然可以訪問棧上的記憶體。

            我們定義一個結構體

 

[cpp] view plain copy 

1. struct person  
2. {  
3.     int age;  
4. }  

            寫一個函數

 

 

[cpp] view plain copy 

1. person*  getperson2()  
2. {  
3.     person p;  
4.     p.age = 99;  
5.     return &p;  
6. }  

          在得到函數的傳回值以後，你可以輸出對象的年齡

 

 

[cpp] view plain copy 

1. person *p2 = getperson2();  
2. cout<<p2->age<<endl;  

           你會發現，這段代碼居然可以正確執行！在函數getperson2內部，p這個變數是局部變數，必然是在棧上申請的，返回的是&p，這不就是棧上的記憶體位址麼，那為啥在函數外部，卻仍然可以輸出age呢？

 

           雖然，函數結束後，對象被銷毀，但是銷毀的不夠徹底，似乎電腦在管理記憶體時也不需要那麼徹底的銷毀一個對象，你之所以能輸出age，那是因為那個地區，沒有被徹底銷毀，這一小塊的記憶體（儲存age的4個byte）沒有發生變化。你可以暫時的碰這塊記憶體，但遲早是要出問題的，如果某一刻，電腦打算用這塊記憶體，發現你在非法使用，那麼必然會警示，然後bug聯邦檢察院會起訴你。

           為了讓問題更透明一些，我們修改一下結構體

 

[cpp] view plain copy 

1. struct person  
2. {  
3.     int age;  
4.     char* name;  
5.     person()  
6.     {  
7.         name = new char(10);  
8.         strcpy(name,"sheng");  
9.     }  
10.     ~person()  
11.     {  
12.         name = NULL;  
13.     }  
14. };  

            

[cpp] view plain copy 

1. person*  getperson2()  
2. {  
3.     person p;  
4.     p.age = 99;  
5.     return &p;  
6. }  

[cpp] view plain copy 

1. person *p2 = getperson2();  
2. cout<<p2->age<<endl;  
3. cout<<p2->name<<endl;  

          這一次，函數結束後，對象的銷毀要比上一次徹底的多，雖然，age的地區還是沒有被徹底銷毀，但是name地區被徹底銷毀了，如果你訪問name的地區，就必然出錯，這就好比啊，私家花園關門了，可是花園好大的，所以不是每一處都安裝了網路攝影機和通報器，比如age這片地區，所以，你偷偷的從age這個地區溜進去時，花園的主人沒發現，直到花園的巡防大隊到age地區巡防時，發現你竟然在這裡偷偷菜花，結果就是把你打的崩潰了。而name這邊地區，在~person這個解構函式中安裝了網路攝影機和通報器，你只要來，就立刻警示，然後把你打的崩潰。

 

 

          千言萬語，匯成一句話，函數不要返回指向棧的記憶體位址，切記，是地址，別被嚇的所有的函數內的變數都不敢返回，只要不是棧的記憶體位址，你儘管放心的返回。

轉 C++函數傳回值，你必須注意的問題