转自：http://blog.sina.com.cn/s/blog_6c04852d0101oznf.html
这个问题一直纠结啊，不明白其中的原理，总是记不住，那些临时变量是不能作为返回值的？
上网查了一下，结合经验陈述如下。
原理：
首先需要明白一件事情，临时变量，在函数调用过程中是被压到程序进程的栈中的，当函数退出时，临时变量出栈，即临时变量已经被销毁，临时变量占用的内存空间没有被清空，但是已经可以被分配给其他变量了，所以有可能在函数退出时，该内存已经被修改了，对于临时变量来说已经是没有意义的值了。
C语言里规定：16bit程序中，返回值保存在ax寄存器中，32bit程序中，返回值保持在eax寄存器中，如果是64bit返回值，edx寄存器保存高32bit，eax寄存器保存低32bit。
由此可见，函数调用结束后，返回值被临时存储到寄存器中，并没有放到堆或栈中，也就是说与内存没有关系了。当退出函数的时候，临时变量可能被销毁，但是返回值却被放到寄存器中与临时变量的生命周期没有关系。
如果我们需要返回值，一般使用赋值语句就可以了
A a = func();
综上，函数是可以将临时变量的值作为返回值的。
但是将一个指向局部变量的指针作为函数的返回值是有问题的。
由于指针指向局部变量，因此在函数返回时，临时变量被销毁，指针指向一块无意义的地址空间，所以一般不会有返回值。
如果得到正常的值，只能是幸运的，因为退出函数的时候，系统只是修改了栈顶的指针，并没有清内存；所以，是有可能正常访问到局部变量的内存的。但因为栈是系统自动管理的，所以该内存可能会可以被分配给其他函数，这样，该内存的内容就会被覆盖，不再是原来的值了。
常规程序中，函数返回的指针（函数指针，数组指针，结构体指针，联合体指针等）通常应该是：
(1)指向静态（static）变量；
(2)指向专门申请分配的（如用malloc）空间；
(3)指向常量区（如指向字符串"hello"）；
(4)指向全局变量；
(5)指向程序代码区（如指向函数的指针）。
除这5项以外，其它怪技巧不提倡。
函数内的变量，没有关键字static修饰的变量的生命周期只在本函数内，函数结束后变量自动销毁。当返回为指针的时候需要特别注意，因为函数结束后指针所指向的地址依然存在，但是该地址可以被其他程序修改，里面的内容就不确定了，有可能后面的操作会继续用到这块地址，有可能不会用到，所以会出现时对时错的情况，如果需要返回一个指针而又不出错的话只能调用内存申请函数
对于结构体和联合体来说，在作为函数的参数和返回值时，表现与C语言的内置类型（int,float, char等）是一样的，当为临时变量的时候，作为返回值时有效的。这个也是与指针不同的地方，所以一定要区分好，总是为当返回结构体或者联合体的时候，该怎么处理，原来直接返回就可以了。（不要与结构体指针或者联合体指针弄混了，他们是指针，不是自定义数据类型^_^）
没有评论:
发表评论