Re: 若在 function 動態配置又要傳回去 那該在哪還?

看板C_and_CPP (C/C++)作者 (cppOrz)時間18年前 (2006/03/31 23:46), 編輯推噓1(104)
留言5則, 2人參與, 最新討論串2/3 (看更多)
※ 引述《asleepme ( 機車蔡老頭)》之銘言: : 還是不太清楚 : 假設 : char *fun(){ : char *b; : b = (char *)malloc(sizeof(char)*4); : return b; : } : 在fun裡面宣告跟allocate的東西應該會放在heap : 不清楚的是離開fun的時候哪些會被清掉 : 1. b : 2. b所指 : 3. 配置給b的記憶體區段 只有 1 b 是 fun 裏的區域變量(型別是 pointer to char),所以離開函式時會被清掉。 指標變量只是一個 4 bytes 的整數(在 32-bit 機器上),它所參照的內容可以是 配置在 stack 或 global/static 或 heap 上的物件(內存),但其參照物的生存 scope 與指標變量無關。 至於第 3 點的「配置給b的記憶體區段」似乎容易誤會,呼叫 malloc 或 new 出來的東西並不屬於誰「擁有」,一般的說法是「b 所參照的內存」。 : 不太懂為什麼要 pointer to pointer 簡單說一下(將指標變量同時作為輸入和輸出的)正確寫法: void fun(char **src) { ... // 此後若 *src 改參照到其他位址,會影響外部模組。 } 至於為何要這樣寫,舉兩個例子: 《反例1》 交換兩個整數 void swap(int a, int b) { int t = a; a = b; b = a; } 如果不知道這個 swap 是沒用的人,大概需要重頭學起。 正確寫法是: void swap(int *a, int *b) { int t = *a; *a = *b; *b = t; } 或是: void swap(int &a, int &b) { int t = a; a = b; b = t; } 《反例2》 交換兩個 C 字串 void swap(char const *a, char const *b) { char const *t = a; a = b; b = t; } 和反例1一樣,這個 swap 也是沒用的,因為在 swap 函式中, a 及 b 都是區域變數。 正確的寫法是: void swap(char const **a, char const **b) // pointer to pointer { char const *t = *a; *a = *b; *b = t; } int main() { char const *s1 = "hihi"; char const *s2 = "hello"; swap(&s1, &s2); ... // 輸出懶得寫 } C 的初學者大概很難第一次就寫出正確的程式碼,所以把 main 也一起寫了。 C++ 的話可以用 reference to pointer void swap(char const *&a, char const *&b) // reference to pointer { char const *t = a; a = b; b = t; } main 函式部份省略(呼叫時可以不用加取址操作 &) 如果對《反例2》中的指標是「區域變數」有疑問者,多看幾次《反例1》中 的錯誤範例,兩者基本原理是相同的。 我把 C 及 C++(reference 版本)都寫出來,比較一下兩者的差異,相信大部 份的人會同意,用 C 寫,語法實在很複雜,難以理解又容易寫錯。 回到原本的問題,fun 函式中的 b 指標是區域變量,但它所參照的內存是動態 配置出來的,所以 return b; 的寫法沒有問題。離開 fun 函式後,被銷毀的 是 b 變量本身,它所參照的內存沒有影響。 這種寫法(函式內 malloc,外部負責 free),在 C 中語法比較簡單,所以常常 可見到。 : : void foo(T *&); // reference to pointer : 這個也不太懂 reference to pointer, reference不是C++才開始有的? : 我這邊的意思其實是想問 : 以上面的fun來說 : 如果我在裡面多了 free(b); : 再return b; : 是不是就會有問題? 當然有問題,free(b); 之後那一段內存就還給系統了,再企圖去操作屬於 未定義的行為(通常的症狀是跑一跑會出錯或當機)。 你再仔細想一下流程,原本是: malloc p ... output with p free p 而你把它改成: malloc p ... free p output with p 這樣會可以嗎?(如果這樣子的流程都可以,free 是在混飯吃的嗎?) : : C++ 通常還有兩種比較安全(?)的方法: : : std::auto_ptr<T> foo(); : : boost::shared_ptr<T> foo(); : : 雖然說是比較「安全」,但如果沒有清楚了解它的用法,是很容 : : 易不小心誤用的(尤其是 auto_ptr)。 : 這是什麼,沒看過 XD : 可以在解釋深入點嗎? 等你學會基本方法再說吧。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.120.214.120

04/01 09:45, , 1F
謝謝清楚的講解...指摽真有趣
04/01 09:45, 1F
※ 編輯: cppOrz 來自: 59.120.214.120 (04/01 12:02)

04/01 12:03, , 2F
sorry,內容有誤,我把它更正了
04/01 12:03, 2F

04/01 12:03, , 3F
對原po者說抱歉,原來的問題不需要用 pointer to pointer
04/01 12:03, 3F

04/01 12:04, , 4F
原本 return 的寫法就可以了 @_@,沒考慮清楚
04/01 12:04, 4F

04/01 12:05, , 5F
結果這篇變成 swap 實作的介紹... :>
04/01 12:05, 5F
文章代碼(AID): #14BKxpVE (C_and_CPP)
文章代碼(AID): #14BKxpVE (C_and_CPP)