今天在看看C++prime时里面有句话:
p201页:不要返回局部对象的指针和引用。(更具体的说不能返回栈中超过栈顶的对象的指针),如果该对象是通过new分配的(处于堆中),或者是static(处于数据段data),或者在函数的调用之前创建的局部对象,则可以返回这种对象的地址。
然后写了一个返回局部变量的指针的例子,发现居然能够编译通过,而且输出值的时候也正确。百思不得其解,最后网上搜了一下,搜到一篇文章 http://soft.chinabyte.com/os/51/12324551.shtml 发现和进程的地址空间管理有关,局部变量是存储在栈中的函数的调用会进行栈操作,所谓的释放局部地址空间也就是该地址空间其他对象可用,并不会将数据擦除。所以对该地址的访问可能会得到正确的结果,但是由于对进程来说该地址是空闲地址,所以可能会被其他对象占用进而里面的数据被更改。由于cout也是一个函数,所以调用它会引起栈的变化,所以可能会更改数据。从而产生错误。下面的程序说明了这个问题。
#include<iostream> using std::cout; using std::cin; using std::endl; //返回局部变量的指针 //func1是一个函数,该函数返回一个指向含有三个元素的数组的指针 int (*func1())[3]{ int a[3][3]={{1,2,3},{4,5,6},{7,8,9}}; int (*p)[3]=a; return p; } //返回局部变量的指针 int *func2(){ int a=10; int *p=&a; return p; } int main(){ int (*p)[3]=func1(); int *pi=(int*)p; cout<<pi[0]<<‘,‘<<pi[1]<<‘,‘<<pi[2]<<‘,‘<<pi[3]<<‘,‘<<pi[5]<<‘,‘<<pi[6]<<‘,‘<<pi[7]<<‘,‘<<pi[8]<<endl; //再次调用发现结果不一致 cout<<pi[0]<<‘,‘<<pi[1]<<‘,‘<<pi[2]<<endl; int *p2=func2(); cout<<*p2<<endl; //再次调用发现结果不一致 cout<<*p2<<endl; return 0; }
原文:http://my.oschina.net/flylxl/blog/530122