C++指针参数是如何传递内存的？（持续更新...）

通过几个例子说明C++指针参数传递内存的问题

例子一：

void GetMemory（char* p, int num）

{

    p = （char*）malloc( sizeof(char) * num );

    return;

}

int main(void)

{

    char* str = NULL;

    GetMemory(str, 30);

    std::cout << str << std::endl;    // str 仍为NULL

}

分析： 如果函数参数是一个指针，不要指望用该指针去申请动态内存。例子一中，main函数调用 GetMemoty（str，30） ， 并没有使str获得期望的内存，str依旧为NULL。毛病出在GetMemory函数中， 编译器总是要为函数的每个参数制作临时副本，指针参数p的副本是 _p，编译器使_p = p。如果函数内的程序修改了_p的内容，就导致参数p的内容作了相应的修改。这就是指针可以用作输出参数的原因。在例一中，_p申请了新的内存，只是把_p所指内存地址改变了，但是p丝毫未变。所以函数GetMemory并不能输出任何东西。事实上，每执行一次GetMemory就会泄漏一块内存，因为没有free释放内存。如果非要用指针参数去申请内存，那么应该改用“指向指针的指针”，具体见例子二。

例子二：

void GetMemory_2(char** p, int num)

{

    *p = (char*)malloc( sizeof(char) * num );

    return;

}

int main(void)

{

    char* str = NULL;

    GetMemory_2(&str, 30);

    strcpy(str, "hello world");

    std::cout << str << std::endl;   

    free(str);

}

分析： GetMemory_2 函数参数 *p的临时副本是 _*p, 在函数中，申请了一块新的内存，相当于改变了指针_*p的内容，从而指针*p的内容也改变了，所以内存申请成功了。由于“指向指针的指针”这个概念不容易理解，我们可以用函数返回值来传递动态内存。这种方法更简单，见例子三。

例子三：

char* GetMemory_3（int num）

{

    char *p = （char*）malloc（size（char）* num）;

    return p；

}

int main(void)

{

    char* str = NULL;

    str = GetMemory_3(30);

    strcpy(str, "hello world");

    std::cout << str << std::endl;   

    free(str);

}

分析：用函数返回值来传递动态内存这种方法虽然好用，但是常常有人把return语句用错了。这里强调不要用renturn语句返回指向“栈内存”的指针。因为该内存在函数结束时自动消亡。见例子四。

例子四：

char* GetMemory_4(void)

{

    char p[ ] = "hello world";

    return p;

}

int main(void)

{

    char* str = NULL;

    str = GetMemory_4();            // str的内容是垃圾

    std::cout << str << std::endl;   

}

分析：用调试器逐步跟踪GetMemory_4，发现执行str = GetMemory_4()； 语句后 str不再是NULL指针，但是str的内容不“hello world”，而是垃圾。可以试试，把例子四改为例子五，会发生什么。

例子五：

char* GetMemory_5(void)

{

    char* p= "hello world";

    return p;

}

int main(void)

{

    char* str = NULL;

    str = GetMemory_4();            

    std::cout << str << std::endl;   

}

分析：函数GetMemory_5运行虽然不会出错。但是函数GetMemory_5的设计概念是错误的。因为GetMemory_5内的“hello world”是常量字符串，位于静态存储区，它在程序生命周期内恒定不变。无论什么时候调用GetMemory_5，它返回的始终是同一个“只读”的内存块。