如果函數的參數是一個指針,不要指望用該指針去申請動態內存。示例中,
Test 函數的語句GetMemory(str, 200)並沒有使str 獲得期望的內存,str 依舊是NULL,爲
什麼?
- void GetMemory(char *p, int num)
- {
- p = (char *)malloc(sizeof(char) * num);
- }
- void Test(void)
- {
- char *str = NULL;
- GetMemory(str, 100); // str 仍然爲 NULL
- strcpy(str, "hello"); // 運行錯誤
- }
毛病出在函數GetMemory 中。編譯器總是要爲函數的每個參數製作臨時副本,指針
參數p 的副本是 _p,編譯器使 _p = p。如果函數體內的程序修改了_p 的內容,就導致
參數p 的內容作相應的修改。這就是指針可以用作輸出參數的原因。在本例中,_p 申請
了新的內存,只是把_p 所指的內存地址改變了,但是p 絲毫未變。所以函數GetMemory
並不能輸出任何東西。事實上,每執行一次GetMemory 就會泄露一塊內存,因爲沒有用
free 釋放內存。
如果非得要用指針參數去申請內存,那麼應該改用“指向指針的指針”,見下面示例。
- void GetMemory2(char **p, int num)
- {
- *p = (char *)malloc(sizeof(char) * num);
- }
- void Test2(void)
- {
- char *str = NULL;
- GetMemory2(&str, 100); // 注意參數是 &str,而不是str
- strcpy(str, "hello");
- cout<< str << endl;
- free(str);
- }
由於“指向指針的指針”這個概念不容易理解,我們可以用函數返回值來傳遞動態
內存。這種方法更加簡單,見下面示例。
- char *GetMemory3(int num)
- {
- char *p = (char *)malloc(sizeof(char) * num);
- return p;
- }
- void Test3(void)
- {
- char *str = NULL;
- str = GetMemory3(100);
- strcpy(str, "hello");
- cout<< str << endl;
- free(str);
- }
用函數返回值來傳遞動態內存這種方法雖然好用,但是常常有人把return 語句用錯
了。這裏強調不要用return 語句返回指向“棧內存”的指針,因爲該內存在函數結束時
自動消亡,見下面示例。
- char *GetString(void)
- {
- char p[] = "hello world";
- return p; // 編譯器將提出警告
- }
- void Test4(void)
- {
- char *str = NULL;
- str = GetString(); // str 的內容是垃圾
- cout<< str << endl;
- }
用調試器逐步跟蹤Test4,發現執行str = GetString 語句後str 不再是NULL 指針,但
是str 的內容不是“hello world”而是垃圾。
如果把上面示例改寫成如下,會怎麼樣?
- char *GetString2(void)
- {
- char *p = "hello world";
- return p;
- }
- void Test5(void)
- {
- char *str = NULL;
- str = GetString2();
- cout<< str << endl;
- }
函數Test5 運行雖然不會出錯,但是函數GetString2 的設計概念卻是錯誤的。因爲
GetString2 內的“hello world”是常量字符串,位於靜態存儲區,它在程序生命期內恆定
不變。無論什麼時候調用GetString2,它返回的始終是同一個“只讀”的內存塊