指針參數是如何傳遞記憶體的? （C++ 高品質）

如果函數的參數是一個指針，不要指望用該指針去申請動态記憶體。

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，它傳回的始終是同一個“隻讀”的記憶體塊。