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

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 第七章。

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

 
    char* GetMemory(char *p, int num)
 {
     p = (char *)malloc(sizeof(char) * num);
     return p;
 }
 
  

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

 
    void GetMemory(char **p, int num)
 {
     *p = (char *)malloc(sizeof(char) * num);
 }

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

猜你喜欢