指针作为函数参数(备忘)

http://blog.chinaunix.net/uid-28765492-id-3643013.html

c++基础还是不够，这个问题还是值得记下来。。。

之前一直对指针作为函数参数时，怎样才能得到预期结果并不遗留错误的问题很含糊，趁节后综合征，就结合一些资料好好理解下了这个知识点。

    下面借用林锐老师的《高质量C++/C编程指南》将问题描述一下：
    7.4指针参数是如何传递内存的？

   如果函数的参数是一个指针，不要指望用该指针去申请动态内存。示例7-4-1中，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");   // 运行错误 }

示例7-4-1 试图用指针参数申请动态内存

    毛病出在函数GetMemory 中。编译器总是要为函数的每个参数制作临时副本，指针参数p的副本是 _p，编译器使 _p = p。如果函数体内的程序修改了_p的内容，就导致参数p的内容作相应的修改。这就是指针可以用作输出参数的原因。在本例中，_p申请了新的内存，只是把 _p所指的内存地址改变了，但是p丝毫未变。所以函数GetMemory并不能输出任何东西。事实上，每执行一次GetMemory就会泄露一块内存，因 为没有用free释放内存。
    (以上问题描述完全摘自《高质量C++/C编程指南》)
       
       老师对这个问题的分析已经够深刻了，但由于都是文字描述，并没有编译器调试的相关示意图，理解起来不免抽象了点。下面我将利用vs2010的反汇编功能对这个问题做进一步分析。
        1、当执行到GetMemory(str,100)语句时，主函数先将参数2入栈，接着将参数1"str"赋给累加器eax，然后再将eax入栈。这应该就是 《高质量C++/C编程指南》 说的 为函数的每个参数制作临时副本 ，因此实际上传递给 GetMemory(char *p, int num) 的起始是参数的副本，即形参p承接的实为eax，而非实参str，尽管eax与str值相同。
    
    
        2、由1知，在 GetMemory(char *p, int num) 中，p代表的是主函数的str的副本，因此，当对p动态分配内存时，知识改变了指针p的指向而已，对主函数的str本体并无任何影响，即在 GetMemory 对str的副本p作何种操作均不会影响到str本体。

        
     《高质量C++/C编程指南》 提到有两种办法可以解决上面的问题，一是函数参数定义为2重指针，二是将局部函数里动态创建的p利用函数返回值返回给主函数，详见 http://oss.org.cn/man/develop/c&c++/c/c.htm 第七章。

①利用函数返回值
点击( 此处 )折叠或打开

1. char* GetMemory(char *p, int num)
   
2. {
   
3.     p = (char *)malloc(sizeof(char) * num);
   
4.     return p;
   
5. }

②利用二重指针
点击( 此处 )折叠或打开

1. void GetMemory(char **p, int num)
   
2. {
   
3.     *p = (char *)malloc(sizeof(char) * num);
   
4. }